A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
!
&
*
+
.
/
<
=
>
?
^
|
-
_
All

Index - S

s1	ZkFold.Base.Protocol.ARK.Plonk
s2	ZkFold.Base.Protocol.ARK.Plonk
s3	ZkFold.Base.Protocol.ARK.Plonk
ScalarField	ZkFold.Base.Algebra.EllipticCurve.Class
Scale	ZkFold.Base.Algebra.Basic.Class
scale	ZkFold.Base.Algebra.Basic.Class
scaleP	ZkFold.Base.Algebra.Polynomials.Univariate
scalePV	ZkFold.Base.Algebra.Polynomials.Univariate
scaleV	ZkFold.Base.Algebra.Basic.VectorSpace
ScriptHash
1 (Type/Class)	ZkFold.Symbolic.Cardano.Types
2 (Data Constructor)	ZkFold.Symbolic.Cardano.Types
Semiring	ZkFold.Base.Algebra.Basic.Class
setPower	ZkFold.Symbolic.GroebnerBasis.Internal.Types
SetupProve	ZkFold.Base.Protocol.NonInteractiveProof
setupProve	ZkFold.Base.Protocol.NonInteractiveProof
SetupVerify	ZkFold.Base.Protocol.NonInteractiveProof
setupVerify	ZkFold.Base.Protocol.NonInteractiveProof
SHA2	ZkFold.Symbolic.Algorithms.Hash.SHA2
sha2	ZkFold.Symbolic.Algorithms.Hash.SHA2
sha224InitialHashes	ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants
sha256InitialHashes	ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants
SHA2N	ZkFold.Symbolic.Algorithms.Hash.SHA2
sha2Natural	ZkFold.Symbolic.Algorithms.Hash.SHA2
sha384InitialHashes	ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants
sha512InitialHashes	ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants
sha512_224InitialHashes	ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants
sha512_256InitialHashes	ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants
ShiftBits	ZkFold.Symbolic.Data.ByteString
shiftBits	ZkFold.Symbolic.Data.ByteString
shiftBitsL	ZkFold.Symbolic.Data.ByteString
shiftBitsR	ZkFold.Symbolic.Data.ByteString
Shrink	ZkFold.Symbolic.Data.Combinators
shrink	ZkFold.Symbolic.Data.Combinators
Sig	ZkFold.Symbolic.Cardano.Contracts.BatchTransfer
sigma1	ZkFold.Base.Protocol.ARK.Plonk
sigma2	ZkFold.Base.Protocol.ARK.Plonk
sigma3	ZkFold.Base.Protocol.ARK.Plonk
sigmaShifts	ZkFold.Symbolic.Algorithms.Hash.SHA2
similarM	ZkFold.Symbolic.GroebnerBasis.Internal.Types, ZkFold.Symbolic.GroebnerBasis
SMatrix
1 (Type/Class)	ZkFold.Base.Data.Sparse.Matrix
2 (Data Constructor)	ZkFold.Base.Data.Sparse.Matrix
SomeArith	ZkFold.Symbolic.Cardano.UPLC.Type
SomeArithmetizable
1 (Type/Class)	ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler
2 (Data Constructor)	ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler
SomeData
1 (Type/Class)	ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler
2 (Data Constructor)	ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler
3 (Data Constructor)	ZkFold.Symbolic.Cardano.UPLC.Type
SomeFunction	ZkFold.Symbolic.Cardano.UPLC.Type
SomeSym	ZkFold.Symbolic.Cardano.UPLC.Type
SomeSymbolic	ZkFold.Symbolic.Cardano.UPLC.Type
SomeType	ZkFold.Symbolic.Cardano.UPLC.Type
Sources
1 (Type/Class)	ZkFold.Base.Algebra.Basic.Sources
2 (Data Constructor)	ZkFold.Base.Algebra.Basic.Sources
SpecialSoundProtocol	ZkFold.Base.Protocol.ARK.Protostar.SpecialSound
SpecialSoundTranscript	ZkFold.Base.Protocol.ARK.Protostar.SpecialSound
splitAt	ZkFold.Prelude
splitExpansion	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators
strictAdd	ZkFold.Symbolic.Data.UInt
StrictConv	ZkFold.Symbolic.Data.UInt
strictConv	ZkFold.Symbolic.Data.UInt
strictMul	ZkFold.Symbolic.Data.UInt
StrictNum	ZkFold.Symbolic.Data.UInt
strictSub	ZkFold.Symbolic.Data.UInt
Structural
1 (Type/Class)	ZkFold.Symbolic.Data.Eq.Structural
2 (Data Constructor)	ZkFold.Symbolic.Data.Eq.Structural
subPower	ZkFold.Symbolic.GroebnerBasis.Internal.Types
subs	ZkFold.Base.Algebra.Polynomials.Multivariate.Substitution, ZkFold.Base.Algebra.Polynomials.Multivariate
Substitution	ZkFold.Base.Algebra.Polynomials.Multivariate.Substitution, ZkFold.Base.Algebra.Polynomials.Multivariate
subtractV	ZkFold.Base.Algebra.Basic.VectorSpace
sum	ZkFold.Base.Algebra.Basic.Class
sum1	ZkFold.Base.Data.Matrix
sum2	ZkFold.Base.Data.Matrix
sumShifts	ZkFold.Symbolic.Algorithms.Hash.SHA2
SVector
1 (Type/Class)	ZkFold.Base.Data.Sparse.Vector
2 (Data Constructor)	ZkFold.Base.Data.Sparse.Vector
Symbolic	ZkFold.Symbolic.Types
SymbolicData	ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler
symToSym	ZkFold.Symbolic.Cardano.UPLC.Type
systemReduce	ZkFold.Symbolic.GroebnerBasis.Internal.Reduction