| 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 |
| sanityF | ZkFold.Symbolic.Class |
| 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 |
| scanl | ZkFold.Base.Data.Vector |
| Secp256k1 | ZkFold.Base.Algebra.EllipticCurve.Secp256k1 |
| Secp256k1_Base | ZkFold.Base.Algebra.EllipticCurve.Secp256k1 |
| Secp256k1_Scalar | ZkFold.Base.Algebra.EllipticCurve.Secp256k1 |
| 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 |
| 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 |
| sign | ZkFold.Symbolic.Algorithms.RSA |
| Signature | ZkFold.Symbolic.Algorithms.RSA |
| singleton | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.List |
| 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 |
| sortByList | ZkFold.Base.Protocol.Plonkup.Utils |
| SpecialSoundProtocol | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.SpecialSound |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.SpecialSound |
| specialSoundProtocol | ZkFold.Base.Protocol.IVC.SpecialSound |
| specialSoundProtocol' | ZkFold.Base.Protocol.IVC.SpecialSound |
| splitAt | |
| 1 (Function) | ZkFold.Prelude |
| 2 (Function) | ZkFold.Base.Data.Vector |
| splitExpansion | ZkFold.Symbolic.Data.Combinators |
| StepFunction | ZkFold.Base.Protocol.IVC.StepFunction |
| StepFunctionAssumptions | ZkFold.Base.Protocol.IVC.StepFunction |
| 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 |
| 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 |
| SymbolicOutput | ZkFold.Symbolic.Data.Class |
| symbolicVF | ZkFold.Symbolic.Class |
| systemReduce | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| SysVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |