| C | ZkFold.Base.Protocol.Protostar.Fold, ZkFold.Base.Protocol.Protostar |
| c | ZkFold.Base.Protocol.Protostar.Accumulator |
| castBits | ZkFold.Base.Algebra.Basic.Class |
| castPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
| 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 |
| CircuitFun | ZkFold.Symbolic.Class |
| 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 | |
| 1 (Data Constructor) | ZkFold.Base.Protocol.Protostar.CommitOpen |
| 2 (Type/Class) | ZkFold.Base.Protocol.Protostar.Commit |
| commit | ZkFold.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 |
| CommitOpenProverMessage | ZkFold.Base.Protocol.Protostar.CommitOpen |
| commits | ZkFold.Base.Protocol.Protostar.CommitOpen |
| CompatibleNonInteractiveProofs | ZkFold.Base.Protocol.NonInteractiveProof.Testing, ZkFold.Base.Protocol.NonInteractiveProof |
| compile | ZkFold.Symbolic.Compiler |
| compileForceOne | ZkFold.Symbolic.Compiler |
| compileIO | ZkFold.Symbolic.Compiler |
| composeFunctions | ZkFold.Base.Algebra.Basic.VectorSpace |
| compress | ZkFold.Base.Algebra.EllipticCurve.Class |
| concat | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.ByteString |
| 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 |
| ConstVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| Context | ZkFold.Symbolic.Data.Class |
| coprimes | ZkFold.Symbolic.Data.FFA |
| coprimesDownFrom | ZkFold.Symbolic.Data.FFA |
| CoreFunction | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| createRangeConstraint | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance |
| curryV | ZkFold.Base.Algebra.Basic.VectorSpace |
| cX | ZkFold.Base.Protocol.Plonkup.Testing |
| c_xi | ZkFold.Base.Protocol.Plonkup.Proof |