| c | ZkFold.Base.Protocol.IVC.Accumulator |
| castBits | ZkFold.Base.Algebra.Basic.Class |
| castPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
| Ceil | ZkFold.Symbolic.Data.Combinators |
| Certificate | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.JWT |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.JWT |
| challenge | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| challenges | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| checkCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| checkClosedCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| chooseNatural | ZkFold.Prelude |
| chunks | ZkFold.Base.Data.Vector |
| ChunkSize | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| CircuitFold | |
| 1 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| CircuitFun | ZkFold.Symbolic.Class |
| ClientSecret | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.JWT |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.JWT |
| ClosedPoly | ZkFold.Symbolic.MonadCircuit |
| cmA | ZkFold.Base.Protocol.Plonkup.Proof |
| cmB | ZkFold.Base.Protocol.Plonkup.Proof |
| cmC | ZkFold.Base.Protocol.Plonkup.Proof |
| cmF | ZkFold.Base.Protocol.Plonkup.Proof |
| cmH1 | ZkFold.Base.Protocol.Plonkup.Proof |
| cmH2 | ZkFold.Base.Protocol.Plonkup.Proof |
| cmQc | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmQhigh | ZkFold.Base.Protocol.Plonkup.Proof |
| cmQk | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmQl | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmQlow | ZkFold.Base.Protocol.Plonkup.Proof |
| cmQm | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmQmid | ZkFold.Base.Protocol.Plonkup.Proof |
| cmQo | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmQr | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmS1 | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmS2 | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmS3 | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmT1 | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmZ1 | ZkFold.Base.Protocol.Plonkup.Proof |
| cmZ2 | ZkFold.Base.Protocol.Plonkup.Proof |
| Commit | ZkFold.Base.Protocol.IVC.Commit |
| commit | ZkFold.Base.Protocol.IVC.Commit |
| commitments | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
| CommitOpen | ZkFold.Base.Protocol.IVC.CommitOpen |
| commitOpen | ZkFold.Base.Protocol.IVC.CommitOpen |
| compare | ZkFold.Symbolic.Data.Ord |
| CompatibleNonInteractiveProofs | ZkFold.Base.Protocol.NonInteractiveProof.Testing, ZkFold.Base.Protocol.NonInteractiveProof |
| compile | ZkFold.Symbolic.Compiler |
| compileIO | ZkFold.Symbolic.Compiler |
| compileWith | ZkFold.Symbolic.Compiler |
| composeFunctions | ZkFold.Base.Algebra.Basic.VectorSpace |
| compress | ZkFold.Base.Algebra.EllipticCurve.Class |
| Compressed | ZkFold.Base.Algebra.EllipticCurve.Class |
| CompressedPoint | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
| 2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.Class |
| Compressible | ZkFold.Base.Algebra.EllipticCurve.Class |
| concat | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.ByteString |
| 3 (Function) | ZkFold.Symbolic.Data.List |
| Conditional | ZkFold.Symbolic.Data.Conditional |
| ConsExtra | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| ConsLookup | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| ConsPlonk | ZkFold.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 |
| Constraint | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| constraint | ZkFold.Symbolic.MonadCircuit |
| ConstUVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation |
| ConstVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| Context | ZkFold.Symbolic.Data.Class |
| CoreFunction | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| createRangeConstraint | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance |
| crown | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| csHeader | ZkFold.Symbolic.Data.JWT |
| csPayload | ZkFold.Symbolic.Data.JWT |
| csSignature | ZkFold.Symbolic.Data.JWT |
| curryV | ZkFold.Base.Algebra.Basic.VectorSpace |
| CurveOf | ZkFold.Base.Algebra.EllipticCurve.Class |
| cX | ZkFold.Base.Protocol.Plonkup.Testing |
| CycleOfCurves | ZkFold.Base.Algebra.EllipticCurve.Class |
| CyclicGroup | ZkFold.Base.Algebra.EllipticCurve.Class |
| c_xi | ZkFold.Base.Protocol.Plonkup.Proof |