symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols

Index - C

CZkFold.Base.Protocol.Protostar.Fold, ZkFold.Base.Protocol.Protostar
cZkFold.Base.Protocol.Protostar.Accumulator
castBitsZkFold.Base.Algebra.Basic.Class
castPolyVecZkFold.Base.Algebra.Polynomials.Univariate
challengeZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof
challengesZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof
checkCircuitZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler
checkClosedCircuitZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler
chooseNaturalZkFold.Prelude
chunksZkFold.Base.Data.Vector
ChunkSizeZkFold.Symbolic.Algorithms.Hash.SHA2
CircuitFunZkFold.Symbolic.Class
ClosedPolyZkFold.Symbolic.MonadCircuit
cmAZkFold.Base.Protocol.Plonkup.Proof
cmBZkFold.Base.Protocol.Plonkup.Proof
cmCZkFold.Base.Protocol.Plonkup.Proof
cmFZkFold.Base.Protocol.Plonkup.Proof
cmH1ZkFold.Base.Protocol.Plonkup.Proof
cmH2ZkFold.Base.Protocol.Plonkup.Proof
cmQcZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier
cmQhighZkFold.Base.Protocol.Plonkup.Proof
cmQkZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier
cmQlZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier
cmQlowZkFold.Base.Protocol.Plonkup.Proof
cmQmZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier
cmQmidZkFold.Base.Protocol.Plonkup.Proof
cmQoZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier
cmQrZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier
cmS1ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier
cmS2ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier
cmS3ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier
cmT1ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier
cmZ1ZkFold.Base.Protocol.Plonkup.Proof
cmZ2ZkFold.Base.Protocol.Plonkup.Proof
Commit 
1 (Data Constructor)ZkFold.Base.Protocol.Protostar.CommitOpen
2 (Type/Class)ZkFold.Base.Protocol.Protostar.Commit
commitZkFold.Base.Protocol.Protostar.Commit
commitments 
1 (Function)ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier
2 (Function)ZkFold.Base.Protocol.Plonkup.Setup
CommitOpen 
1 (Type/Class)ZkFold.Base.Protocol.Protostar.CommitOpen
2 (Data Constructor)ZkFold.Base.Protocol.Protostar.CommitOpen
CommitOpenProverMessageZkFold.Base.Protocol.Protostar.CommitOpen
commitsZkFold.Base.Protocol.Protostar.CommitOpen
CompatibleNonInteractiveProofsZkFold.Base.Protocol.NonInteractiveProof.Testing, ZkFold.Base.Protocol.NonInteractiveProof
compileZkFold.Symbolic.Compiler
compileForceOneZkFold.Symbolic.Compiler
compileIOZkFold.Symbolic.Compiler
composeFunctionsZkFold.Base.Algebra.Basic.VectorSpace
compressZkFold.Base.Algebra.EllipticCurve.Class
concat 
1 (Function)ZkFold.Base.Data.Vector
2 (Function)ZkFold.Symbolic.Data.ByteString
ConditionalZkFold.Symbolic.Data.Conditional
ConsExtraZkFold.Base.Protocol.Plonkup.PlonkupConstraint
ConsLookupZkFold.Base.Protocol.Plonkup.PlonkupConstraint
ConsPlonkZkFold.Base.Protocol.Plonkup.PlonkupConstraint
Const 
1 (Type/Class)ZkFold.Base.Algebra.Basic.Class
2 (Data Constructor)ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash
constant 
1 (Function)ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate
2 (Function)ZkFold.Base.Algebra.Polynomials.Univariate
ConstraintZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler
constraintZkFold.Symbolic.MonadCircuit
ConstVarZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal
ContextZkFold.Symbolic.Data.Class
coprimesZkFold.Symbolic.Data.FFA
coprimesDownFromZkFold.Symbolic.Data.FFA
CoreFunctionZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof
createRangeConstraintZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance
curryVZkFold.Base.Algebra.Basic.VectorSpace
cXZkFold.Base.Protocol.Plonkup.Testing
c_xiZkFold.Base.Protocol.Plonkup.Proof