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

Index - C

castBitsZkFold.Base.Algebra.Basic.Class
castPolyVecZkFold.Base.Algebra.Polynomials.Univariate
challengeZkFold.Base.Protocol.NonInteractiveProof
challengesZkFold.Base.Protocol.NonInteractiveProof
checkCircuitZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler
checkClosedCircuitZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler
checkLTSimpleZkFold.Symbolic.GroebnerBasis.Internal
checkVarUniqueZkFold.Symbolic.GroebnerBasis.Internal
chooseNaturalZkFold.Prelude
ChunkSizeZkFold.Symbolic.Algorithms.Hash.SHA2
circuitZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint
circuitGEZkFold.Symbolic.Data.Ord
circuitGTZkFold.Symbolic.Data.Ord
circuitsZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint
ClosedPolyZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint
cmQcZkFold.Base.Protocol.ARK.Plonk
cmQlZkFold.Base.Protocol.ARK.Plonk
cmQmZkFold.Base.Protocol.ARK.Plonk
cmQoZkFold.Base.Protocol.ARK.Plonk
cmQrZkFold.Base.Protocol.ARK.Plonk
cmS1ZkFold.Base.Protocol.ARK.Plonk
cmS2ZkFold.Base.Protocol.ARK.Plonk
cmS3ZkFold.Base.Protocol.ARK.Plonk
comZkFold.Base.Protocol.Commitment.KZG
CommitZkFold.Base.Protocol.ARK.Protostar.CommitOpen
CommitOpen 
1 (Type/Class)ZkFold.Base.Protocol.ARK.Protostar.CommitOpen
2 (Data Constructor)ZkFold.Base.Protocol.ARK.Protostar.CommitOpen
CommitOpenProverMessageZkFold.Base.Protocol.ARK.Protostar.CommitOpen
commitsZkFold.Base.Protocol.ARK.Protostar.CommitOpen
compileZkFold.Symbolic.Compiler
compileIOZkFold.Symbolic.Compiler
composeFunctionsZkFold.Base.Algebra.Basic.VectorSpace
ConcatZkFold.Symbolic.Data.ByteString
concat 
1 (Function)ZkFold.Base.Data.Vector
2 (Function)ZkFold.Symbolic.Data.ByteString
ConditionalZkFold.Symbolic.Data.Conditional
ConstantZkFold.Symbolic.Cardano.UPLC.Term
ConstraintZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler
constraint 
1 (Function)ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal
2 (Function)ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint
ConstraintMonomialZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal
curryVZkFold.Base.Algebra.Basic.VectorSpace