s1X | |
1 (Function) | ZkFold.Base.Protocol.Plonkup.Testing |
2 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Polynomials, ZkFold.Base.Protocol.Plonkup.Prover |
s1_xi | ZkFold.Base.Protocol.Plonkup.Proof |
s2X | |
1 (Function) | ZkFold.Base.Protocol.Plonkup.Testing |
2 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Polynomials, ZkFold.Base.Protocol.Plonkup.Prover |
s2_xi | ZkFold.Base.Protocol.Plonkup.Proof |
s3X | |
1 (Function) | ZkFold.Base.Protocol.Plonkup.Testing |
2 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Polynomials, ZkFold.Base.Protocol.Plonkup.Prover |
ScalarField | ZkFold.Base.Algebra.EllipticCurve.Class |
Scale | ZkFold.Base.Algebra.Basic.Class |
scale | ZkFold.Base.Algebra.Basic.Class |
scaleM | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
scaleP | ZkFold.Base.Algebra.Polynomials.Univariate |
scalePV | ZkFold.Base.Algebra.Polynomials.Univariate |
scaleV | ZkFold.Base.Algebra.Basic.VectorSpace |
SemiEuclidean | ZkFold.Base.Algebra.Basic.Class |
Semiring | ZkFold.Base.Algebra.Basic.Class |
SetupProve | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof, ZkFold.Base.Protocol.NonInteractiveProof |
setupProve | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
SetupVerify | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof, ZkFold.Base.Protocol.NonInteractiveProof |
setupVerify | ZkFold.Base.Protocol.NonInteractiveProof.Internal, 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 |
shift | ZkFold.Base.Data.Vector |
ShiftBits | ZkFold.Symbolic.Data.ByteString |
shiftBits | ZkFold.Symbolic.Data.ByteString |
shiftBitsL | ZkFold.Symbolic.Data.ByteString |
shiftBitsR | ZkFold.Symbolic.Data.ByteString |
shiftUIntL | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
shiftUIntR | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
Shrink | ZkFold.Symbolic.Data.Combinators |
shrink | ZkFold.Symbolic.Data.Combinators |
sigma | |
1 (Function) | ZkFold.Symbolic.Algorithms.Hash.Blake2b.Constants |
2 (Function) | ZkFold.Base.Protocol.Plonkup.Relation |
sigma1s | |
1 (Function) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
2 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
3 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
sigma2s | |
1 (Function) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
2 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
3 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
sigma3s | |
1 (Function) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
2 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
3 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
sigmaShifts | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
singleton | ZkFold.Base.Data.Vector |
Size | ZkFold.Symbolic.Data.FFA |
skip | ZkFold.Base.Data.ByteString |
SMatrix | |
1 (Type/Class) | ZkFold.Base.Data.Sparse.Matrix |
2 (Data Constructor) | ZkFold.Base.Data.Sparse.Matrix |
sndP | ZkFold.Base.Data.Product |
solder | ZkFold.Symbolic.Compiler |
SomeData | |
1 (Type/Class) | ZkFold.Symbolic.Data.Class |
2 (Data Constructor) | ZkFold.Symbolic.Data.Class |
sortByList | ZkFold.Base.Protocol.Plonkup.Utils |
SpecialSoundProtocol | ZkFold.Base.Protocol.Protostar.SpecialSound |
SpecialSoundTranscript | ZkFold.Base.Protocol.Protostar.SpecialSound |
splitAt | |
1 (Function) | ZkFold.Prelude |
2 (Function) | ZkFold.Base.Data.Vector |
splitExpansion | ZkFold.Symbolic.Data.Combinators |
StandardEllipticCurve | ZkFold.Base.Algebra.EllipticCurve.Class |
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 |
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 |
Support | ZkFold.Symbolic.Data.Class |
SVector | |
1 (Type/Class) | ZkFold.Base.Data.Sparse.Vector |
2 (Data Constructor) | ZkFold.Base.Data.Sparse.Vector |
Symbolic | ZkFold.Symbolic.Class |
symbolic2F | ZkFold.Symbolic.Class |
symbolic3F | ZkFold.Symbolic.Class |
SymbolicData | ZkFold.Symbolic.Data.Class |
symbolicF | ZkFold.Symbolic.Class |
SymbolicInput | ZkFold.Symbolic.Data.Input |
symbolicVF | ZkFold.Symbolic.Class |
systemReduce | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
SysVar | |
1 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
2 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |