| ! | ZkFold.Prelude |
| !! | |
| 1 (Function) | ZkFold.Prelude |
| 2 (Function) | ZkFold.Base.Data.Vector |
| 3 (Function) | ZkFold.Symbolic.Data.List |
| $sel:pointTwistedEdwards:TwistedEdwards | ZkFold.Base.Algebra.EllipticCurve.Class |
| $sel:pointWeierstrass:Weierstrass | ZkFold.Base.Algebra.EllipticCurve.Class |
| $sel:_x:AffinePoint | ZkFold.Base.Algebra.EllipticCurve.Class |
| $sel:_x:CompressedPoint | ZkFold.Base.Algebra.EllipticCurve.Class |
| $sel:_x:Point | ZkFold.Base.Algebra.EllipticCurve.Class |
| $sel:_y:AffinePoint | ZkFold.Base.Algebra.EllipticCurve.Class |
| $sel:_y:Point | ZkFold.Base.Algebra.EllipticCurve.Class |
| $sel:_yBit:CompressedPoint | ZkFold.Base.Algebra.EllipticCurve.Class |
| $sel:_zBit:CompressedPoint | ZkFold.Base.Algebra.EllipticCurve.Class |
| $sel:_zBit:Point | ZkFold.Base.Algebra.EllipticCurve.Class |
| && | ZkFold.Symbolic.Data.Bool |
| * | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
| 2 (Function) | ZkFold.Base.Algebra.Basic.Class |
| *. | ZkFold.Base.Algebra.Polynomials.Univariate |
| + | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
| 2 (Function) | ZkFold.Base.Algebra.Basic.Class |
| ++ | ZkFold.Symbolic.Data.List |
| +. | ZkFold.Base.Algebra.Polynomials.Univariate |
| - | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
| 2 (Function) | ZkFold.Base.Algebra.Basic.Class |
| -! | ZkFold.Base.Algebra.Basic.Class |
| .* | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
| 2 (Function) | ZkFold.Base.Data.Matrix |
| 3 (Function) | ZkFold.Base.Data.Sparse.Vector |
| .*. | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
| 2 (Function) | ZkFold.Base.Data.Matrix |
| .+ | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
| 2 (Function) | ZkFold.Base.Data.Sparse.Vector |
| 3 (Function) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation |
| .- | ZkFold.Base.Data.Sparse.Vector |
| ./ | ZkFold.Base.Data.Sparse.Vector |
| ./. | ZkFold.Base.Algebra.Polynomials.Univariate |
| .: | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.List |
| / | ZkFold.Base.Algebra.Basic.Class |
| // | ZkFold.Base.Algebra.Basic.Class |
| /= | ZkFold.Symbolic.Data.Eq |
| :++ | ZkFold.Base.Data.Type |
| < | ZkFold.Symbolic.Data.Ord |
| <= | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
| 2 (Function) | ZkFold.Symbolic.Data.Ord |
| == | ZkFold.Symbolic.Data.Eq |
| > | ZkFold.Symbolic.Data.Ord |
| >= | ZkFold.Symbolic.Data.Ord |
| ? | ZkFold.Symbolic.Data.Conditional |
| @ | ZkFold.Symbolic.Data.Morph |
| @+ | ZkFold.Symbolic.Data.VarByteString |
| ac | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| 2 (Function) | ZkFold.Base.Protocol.Plonk |
| acc | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| Accumulator | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.Accumulator |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.Accumulator |
| AccumulatorInstance | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.Accumulator |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.Accumulator |
| AccumulatorScheme | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.AccumulatorScheme |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.AccumulatorScheme |
| accumulatorScheme | ZkFold.Base.Protocol.IVC.AccumulatorScheme |
| acFold | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| acInput | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acLookup | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| acLookupFunction | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| acOutput | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acPrint | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acSizeM | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acSizeN | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acSizeR | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acSystem | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acValue | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acWitness | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| Add | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| AdditiveGroup | ZkFold.Base.Algebra.Basic.Class |
| AdditiveMonoid | ZkFold.Base.Algebra.Basic.Class |
| AdditiveSemigroup | ZkFold.Base.Algebra.Basic.Class |
| addV | ZkFold.Base.Algebra.Basic.VectorSpace |
| AffinePoint | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
| 2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.Class |
| Algebra | ZkFold.Base.Algebra.Basic.Class |
| algebraicMap | ZkFold.Base.Protocol.IVC.AlgebraicMap |
| AlgorithmSetup | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| alignLeft | ZkFold.Base.Data.Vector |
| alignRight | ZkFold.Base.Data.Vector |
| all | ZkFold.Symbolic.Data.Bool |
| all1 | ZkFold.Symbolic.Data.Bool |
| alpha | ZkFold.Base.Protocol.Plonkup.Testing |
| and | ZkFold.Symbolic.Data.Bool |
| any | ZkFold.Symbolic.Data.Bool |
| append | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.ByteString |
| 3 (Function) | ZkFold.Symbolic.Data.VarByteString |
| apply | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| applyPermutation | ZkFold.Base.Algebra.Basic.Permutations |
| arbitrary' | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance |
| Arithmetic | ZkFold.Symbolic.Class, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| ArithmeticCircuit | |
| 1 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| arithmetize | ZkFold.Symbolic.Data.Class |
| assert | ZkFold.Prelude |
| asWords | ZkFold.Symbolic.Data.UInt |
| at | ZkFold.Symbolic.MonadCircuit |
| Auto | ZkFold.Symbolic.Data.Combinators |
| aX | ZkFold.Base.Protocol.Plonkup.Testing |
| a_xi | ZkFold.Base.Protocol.Plonkup.Proof |
| BaseField | ZkFold.Symbolic.Class |
| BaseFieldOf | ZkFold.Base.Algebra.EllipticCurve.Class |
| Basis | ZkFold.Base.Algebra.Basic.VectorSpace |
| basisV | ZkFold.Base.Algebra.Basic.VectorSpace |
| berlekamp | ZkFold.Base.Algorithm.ReedSolomon |
| beta | ZkFold.Base.Protocol.Plonkup.Testing |
| BezoutL | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| bezoutL | ZkFold.Base.Algebra.Basic.Class |
| BezoutR | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| bezoutR | ZkFold.Base.Algebra.Basic.Class |
| BigEndian | |
| 1 (Type/Class) | ZkFold.Base.Data.ByteString |
| 2 (Data Constructor) | ZkFold.Base.Data.ByteString |
| Binary | ZkFold.Base.Data.ByteString |
| Binary1 | ZkFold.Base.Data.ByteString |
| BinaryExpansion | ZkFold.Base.Algebra.Basic.Class |
| binaryExpansion | ZkFold.Base.Algebra.Basic.Class |
| BitLimit | ZkFold.Symbolic.Data.Combinators |
| Bits | ZkFold.Base.Algebra.Basic.Class |
| bitsOf | ZkFold.Symbolic.Data.Combinators |
| blake2b_224 | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| blake2b_256 | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| blake2b_512 | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| blake2b_iv | ZkFold.Symbolic.Algorithms.Hash.Blake2b.Constants |
| BLS12_381_Base | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| BLS12_381_G1_CompressedPoint | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| BLS12_381_G1_Point | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| 2 (Type/Class) | ZkFold.Symbolic.Data.BLS12_381 |
| BLS12_381_G2_CompressedPoint | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| BLS12_381_G2_Point | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| BLS12_381_GT | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| 2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| BLS12_381_Scalar | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| blueprintGE | ZkFold.Symbolic.Data.UInt |
| BN254_Base | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| BN254_G1_Point | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| BN254_G2_Point | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| BN254_GT | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| BN254_Scalar | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| Bool | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.Bool |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.Bool |
| bool | ZkFold.Symbolic.Data.Conditional |
| BooleanOf | ZkFold.Symbolic.Data.Eq |
| BoolType | ZkFold.Symbolic.Data.Bool |
| bsBuffer | ZkFold.Symbolic.Data.VarByteString |
| bsLength | ZkFold.Symbolic.Data.VarByteString |
| bX | ZkFold.Base.Protocol.Plonkup.Testing |
| bytesOf | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| ByteString | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.ByteString |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.ByteString |
| b_xi | ZkFold.Base.Protocol.Plonkup.Proof |
| 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 |
| decider | ZkFold.Base.Protocol.IVC.AccumulatorScheme |
| decode | ZkFold.Base.Algorithm.ReedSolomon |
| decompress | ZkFold.Base.Algebra.EllipticCurve.Class |
| deg | ZkFold.Base.Algebra.Polynomials.Univariate |
| delete | ZkFold.Symbolic.Data.List |
| delta | ZkFold.Base.Protocol.Plonkup.Testing |
| desugarRanges | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| diff | ZkFold.Base.Algorithm.ReedSolomon |
| dimV | ZkFold.Base.Algebra.Basic.VectorSpace |
| DiscreteField | ZkFold.Symbolic.Data.DiscreteField |
| DiscreteField' | ZkFold.Base.Algebra.Basic.Class |
| Div | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| div | ZkFold.Base.Algebra.Basic.Class |
| dividable | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| divMod | ZkFold.Base.Algebra.Basic.Class |
| dotV | ZkFold.Base.Algebra.Basic.VectorSpace |
| drop | |
| 1 (Function) | ZkFold.Prelude |
| 2 (Function) | ZkFold.Base.Data.Vector |
| e | ZkFold.Base.Protocol.IVC.Accumulator |
| ecdsaVerify | ZkFold.Symbolic.Algorithms.ECDSA.ECDSA |
| Ed25519_Base | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
| Ed25519_Point | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
| 2 (Type/Class) | ZkFold.Symbolic.Data.Ed25519 |
| Ed25519_PointOf | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
| Ed25519_Scalar | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
| eea | |
| 1 (Function) | ZkFold.Base.Algebra.Basic.Class |
| 2 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
| 3 (Function) | ZkFold.Symbolic.Data.UInt |
| elem | ZkFold.Symbolic.Data.Eq |
| elemIndex | ZkFold.Prelude |
| EllipticCurve | ZkFold.Base.Algebra.EllipticCurve.Class |
| embed | ZkFold.Symbolic.Class |
| empty | ZkFold.Base.Data.Vector |
| emptyAccumulator | ZkFold.Base.Protocol.IVC.Accumulator |
| emptyAccumulatorInstance | ZkFold.Base.Protocol.IVC.Accumulator |
| emptyByteString | ZkFold.Symbolic.Data.ByteString |
| emptyCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| emptyList | ZkFold.Symbolic.Data.List |
| encode | ZkFold.Base.Algorithm.ReedSolomon |
| enumerate | ZkFold.Base.Data.Vector |
| epsilon | ZkFold.Base.Protocol.Plonkup.Testing |
| Eq | ZkFold.Symbolic.Data.Eq |
| eq | ZkFold.Symbolic.Data.Ord |
| equal | ZkFold.Base.Algebra.Basic.Class |
| EqVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| Eris_Point | ZkFold.Base.Algebra.EllipticCurve.PlutoEris |
| Euclidean | ZkFold.Base.Algebra.Basic.Class |
| EuclideanF | |
| 1 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness |
| euclideanF | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness |
| eval | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| eval1 | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| evalMonomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| evalPoly | ZkFold.Base.Algebra.Polynomials.Univariate |
| evalPolynomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| evalPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
| exec | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| exec1 | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| Exp | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| expansion | ZkFold.Symbolic.Data.Combinators |
| expansionW | ZkFold.Symbolic.Data.Combinators |
| expMod | ZkFold.Symbolic.Data.UInt |
| Exponent | ZkFold.Base.Algebra.Basic.Class |
| Ext2 | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Field |
| 2 (Data Constructor) | ZkFold.Base.Algebra.Basic.Field |
| Ext3 | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Field |
| 2 (Data Constructor) | ZkFold.Base.Algebra.Basic.Field |
| false | ZkFold.Symbolic.Data.Bool |
| FFA | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.FFA |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.FFA |
| fft | ZkFold.Symbolic.Algorithms.FFT |
| FiatShamir | ZkFold.Base.Protocol.IVC.FiatShamir |
| fiatShamir | ZkFold.Base.Protocol.IVC.FiatShamir |
| Field | ZkFold.Base.Algebra.Basic.Class |
| FieldElement | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.FieldElement |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.FieldElement |
| filter | ZkFold.Symbolic.Data.List |
| finalExponentiation | ZkFold.Base.Algebra.EllipticCurve.Pairing |
| Find | ZkFold.Base.Data.Type |
| find | ZkFold.Symbolic.Data.Maybe |
| Finite | ZkFold.Base.Algebra.Basic.Class |
| FiniteAdditiveGroup | ZkFold.Base.Algebra.Basic.Class |
| FiniteField | ZkFold.Base.Algebra.Basic.Class |
| FiniteMultiplicativeGroup | ZkFold.Base.Algebra.Basic.Class |
| finv | ZkFold.Base.Algebra.Basic.Class |
| Fixed | ZkFold.Symbolic.Data.Combinators |
| Fl | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
| floorN | ZkFold.Base.Algebra.Basic.Class |
| Fn | ZkFold.Base.Algebra.EllipticCurve.Secp256k1 |
| foldCount | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| foldl | ZkFold.Symbolic.Data.List |
| foldr | ZkFold.Symbolic.Data.List |
| foldSeed | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| foldSeedP | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| foldStep | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| foldStepP | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| foldStream | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| FoldVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| Fp | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Secp256k1 |
| 2 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Pasta |
| 3 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| Fp12 | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| Fp2 | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| Fp6 | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| FpModulus | ZkFold.Base.Algebra.EllipticCurve.Pasta |
| Fq | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Pasta |
| 2 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
| 3 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| Fq12 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| Fq2 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| Fq6 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| FqModulus | ZkFold.Base.Algebra.EllipticCurve.Pasta |
| Fr | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| 2 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| from | ZkFold.Symbolic.Data.Combinators |
| fromBinary | ZkFold.Base.Algebra.Basic.Class |
| fromBits | ZkFold.Symbolic.Data.Combinators |
| fromByteString | |
| 1 (Function) | ZkFold.Base.Data.ByteString |
| 2 (Function) | ZkFold.Symbolic.Data.VarByteString |
| fromCircuit2F | ZkFold.Symbolic.Class |
| fromCircuit3F | ZkFold.Symbolic.Class |
| fromCircuitF | ZkFold.Symbolic.Class |
| fromCircuitVF | ZkFold.Symbolic.Class |
| FromConstant | ZkFold.Base.Algebra.Basic.Class |
| fromConstant | ZkFold.Base.Algebra.Basic.Class |
| fromCycles | ZkFold.Base.Algebra.Basic.Permutations |
| fromFieldElement | ZkFold.Symbolic.Data.FieldElement |
| fromIntegral | ZkFold.Symbolic.MonadCircuit |
| fromJust | ZkFold.Symbolic.Data.Maybe |
| fromListV | ZkFold.Base.Algebra.Basic.VectorSpace |
| fromMatrix | ZkFold.Base.Data.Matrix |
| FromMaybe | ZkFold.Symbolic.Data.Combinators |
| fromMaybe | ZkFold.Symbolic.Data.Maybe |
| fromNatural | ZkFold.Symbolic.Data.VarByteString |
| fromPermutation | ZkFold.Base.Algebra.Basic.Permutations |
| fromPlonkConstraint | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| fromPoly | ZkFold.Base.Algebra.Polynomials.Univariate |
| fromPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
| fromRange | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| fromSMatrix | ZkFold.Base.Data.Sparse.Matrix |
| fromSVector | ZkFold.Base.Data.Sparse.Vector |
| FromTranscript | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| fromTranscript | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| fromType | ZkFold.Symbolic.Data.Combinators |
| fromVector | ZkFold.Base.Data.Vector |
| fromWitnessBytes | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| fromZp | ZkFold.Base.Algebra.Basic.Field |
| fstP | ZkFold.Base.Data.Product |
| fullReduceMany | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| FunBody | ZkFold.Symbolic.Class |
| funcHash | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| FunctionId | |
| 1 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| FunctionSpace | ZkFold.Base.Algebra.Basic.VectorSpace |
| fX | ZkFold.Base.Protocol.Plonkup.Testing |
| f_xi | ZkFold.Base.Protocol.Plonkup.Proof |
| gamma | ZkFold.Base.Protocol.Plonkup.Testing |
| garithmetize | ZkFold.Symbolic.Data.Class |
| gbool | ZkFold.Symbolic.Data.Conditional |
| GBooleanOf | ZkFold.Symbolic.Data.Eq |
| Gcd | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| gcd | ZkFold.Base.Algebra.Basic.Class |
| gcdM | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| gcompare | ZkFold.Symbolic.Data.Ord |
| GConditional | ZkFold.Symbolic.Data.Conditional |
| GContext | ZkFold.Symbolic.Data.Class |
| generator | ZkFold.Base.Algorithm.ReedSolomon |
| genericDft | ZkFold.Base.Algebra.Basic.DFT |
| genSubset | ZkFold.Prelude |
| GEq | ZkFold.Symbolic.Data.Eq |
| geq | ZkFold.Symbolic.Data.Eq |
| get | ZkFold.Base.Data.ByteString |
| getA | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| getAllVars | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| getB | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| getC | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| getNatural | ZkFold.Symbolic.Data.Combinators |
| getParams | ZkFold.Base.Protocol.Plonkup.Utils |
| getPlonkConstraint | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| GetRegisterSize | ZkFold.Symbolic.Data.Combinators |
| getSecrectParams | ZkFold.Base.Protocol.Plonkup.Utils |
| getWord8 | ZkFold.Base.Data.ByteString |
| GLayout | ZkFold.Symbolic.Data.Class |
| gneq | ZkFold.Symbolic.Data.Eq |
| GOrd | ZkFold.Symbolic.Data.Ord |
| gordering | ZkFold.Symbolic.Data.Ord |
| GOrderingOf | ZkFold.Symbolic.Data.Ord |
| GPayload | ZkFold.Symbolic.Data.Class |
| gpayload | ZkFold.Symbolic.Data.Class |
| grandProduct1 | ZkFold.Base.Protocol.Plonkup.Testing |
| grestore | ZkFold.Symbolic.Data.Class |
| groebner | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| groebnerMaxSteps | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| GroebnerParams | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Data Constructor) | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| groebnerSPolySelector | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| groebnerStep | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| groupElements | ZkFold.Base.Protocol.IVC.Commit |
| gs | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
| gs' | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| 2 (Function) | ZkFold.Base.Protocol.Plonk |
| GSupport | ZkFold.Symbolic.Data.Class |
| GSymbolicData | ZkFold.Symbolic.Data.Class |
| gt | ZkFold.Symbolic.Data.Ord |
| guessOutput | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| h0 | ZkFold.Base.Protocol.Plonkup.Setup |
| h1 | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
| 3 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
| 4 (Function) | ZkFold.Base.Protocol.Plonk |
| h1X | ZkFold.Base.Protocol.Plonkup.Testing |
| h1_xi' | ZkFold.Base.Protocol.Plonkup.Proof |
| h2X | ZkFold.Base.Protocol.Plonkup.Testing |
| h2_xi | ZkFold.Base.Protocol.Plonkup.Proof |
| hap | ZkFold.Base.Control.HApplicative |
| HApplicative | ZkFold.Base.Control.HApplicative |
| Hash | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.Hash |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.Hash |
| hash | |
| 1 (Function) | ZkFold.Symbolic.Data.Hash |
| 2 (Function) | ZkFold.Symbolic.Algorithms.Hash.MiMC |
| 3 (Function) | ZkFold.Base.Protocol.IVC.Oracle |
| Hashable | ZkFold.Symbolic.Data.Hash |
| HashAlgorithm | ZkFold.Base.Protocol.IVC.Oracle |
| hasher | ZkFold.Symbolic.Data.Hash |
| hashFun | ZkFold.Symbolic.Data.List |
| HaskellCore | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| HasPointInf | ZkFold.Base.Algebra.EllipticCurve.Class |
| hcommit | ZkFold.Base.Protocol.IVC.Commit |
| hdAlg | ZkFold.Symbolic.Data.JWT |
| hdKid | ZkFold.Symbolic.Data.JWT |
| hdTyp | ZkFold.Symbolic.Data.JWT |
| head | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.List |
| headLayout | ZkFold.Symbolic.Data.List |
| headPayload | ZkFold.Symbolic.Data.List |
| HFunctor | ZkFold.Base.Data.HFunctor |
| hHash | ZkFold.Symbolic.Data.Hash |
| highRegisterBits | ZkFold.Symbolic.Data.Combinators |
| highRegisterSize | ZkFold.Symbolic.Data.Combinators |
| hliftA1 | ZkFold.Base.Control.HApplicative |
| hliftA2 | ZkFold.Base.Control.HApplicative |
| hliftA3 | ZkFold.Base.Control.HApplicative |
| hlmap | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| hmap | ZkFold.Base.Data.HFunctor |
| hmapA | ZkFold.Base.Control.HApplicative |
| HomomorphicCommit | ZkFold.Base.Protocol.IVC.Commit |
| horner | ZkFold.Symbolic.Data.Combinators |
| hornerW | ZkFold.Symbolic.Data.Combinators |
| hpair | ZkFold.Base.Control.HApplicative |
| hpmap | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| hpure | ZkFold.Base.Control.HApplicative |
| hunit | ZkFold.Base.Control.HApplicative |
| hValue | ZkFold.Symbolic.Data.Hash |
| idCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| ifft | ZkFold.Symbolic.Algorithms.FFT |
| ifThenElse | ZkFold.Symbolic.Data.Conditional |
| ilog2 | ZkFold.Symbolic.Data.Combinators |
| imapSysVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var |
| imapVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var |
| IndexPartition | ZkFold.Base.Algebra.Basic.Permutations |
| IndexSet | ZkFold.Base.Algebra.Basic.Permutations |
| indexV | ZkFold.Base.Algebra.Basic.VectorSpace |
| indexW | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| init | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.List |
| initialHashes | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| Input | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof, ZkFold.Base.Protocol.NonInteractiveProof |
| input | ZkFold.Base.Protocol.IVC.SpecialSound |
| inputPayload | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| InputSpace | ZkFold.Base.Algebra.Basic.VectorSpace |
| IntegralOf | ZkFold.Symbolic.MonadCircuit |
| Interpreter | |
| 1 (Type/Class) | ZkFold.Symbolic.Interpreter |
| 2 (Data Constructor) | ZkFold.Symbolic.Interpreter |
| intPow | ZkFold.Base.Algebra.Basic.Class |
| intPowF | ZkFold.Base.Algebra.Basic.Class |
| intScale | ZkFold.Base.Algebra.Basic.Class |
| inv | ZkFold.Base.Algebra.Basic.Field |
| InVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| invert | ZkFold.Base.Algebra.Basic.Class |
| IP1 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| IP2 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| IP3 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| IrreduciblePoly | ZkFold.Base.Algebra.Basic.Field |
| irreduciblePoly | ZkFold.Base.Algebra.Basic.Field |
| isConstantInput | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| isJust | ZkFold.Symbolic.Data.Maybe |
| isLookupConstraint | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| isNothing | ZkFold.Symbolic.Data.Maybe |
| Iso | ZkFold.Symbolic.Data.Combinators |
| isOnCurve | ZkFold.Base.Algebra.EllipticCurve.Class |
| IsOrdering | ZkFold.Symbolic.Data.Ord |
| IsPrime | ZkFold.Base.Algebra.Basic.Number |
| isRange | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| isSet | ZkFold.Symbolic.Data.ByteString |
| IsSymbolicJSON | ZkFold.Symbolic.Data.JWT |
| IsTypeString | ZkFold.Symbolic.Data.Combinators |
| isUnset | ZkFold.Symbolic.Data.ByteString |
| isValid | ZkFold.Symbolic.Data.Input |
| IsVariable | ZkFold.Symbolic.Data.Class |
| IsWitness | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness |
| isZero | |
| 1 (Function) | ZkFold.Symbolic.Data.Combinators |
| 2 (Function) | ZkFold.Symbolic.Data.DiscreteField |
| item | ZkFold.Base.Data.Vector |
| iterateM | ZkFold.Prelude |
| iterateV | ZkFold.Base.Algebra.Basic.VectorSpace |
| IVCAssumptions | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| IVCProof | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| ivcProve | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| IVCResult | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| ivcSetup | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| ivcVerify | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| just | ZkFold.Symbolic.Data.Maybe |
| k1 | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Testing |
| 3 (Function) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
| 4 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
| 5 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
| 6 (Function) | ZkFold.Base.Protocol.Plonk |
| k2 | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Testing |
| 3 (Function) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
| 4 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
| 5 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
| 6 (Function) | ZkFold.Base.Protocol.Plonk |
| KnownFFA | ZkFold.Symbolic.Data.FFA |
| KnownNat | ZkFold.Base.Algebra.Basic.Number |
| knownNat | ZkFold.Base.Data.Vector |
| KnownPrime | ZkFold.Base.Algebra.Basic.Number |
| KnownRegisters | ZkFold.Symbolic.Data.Combinators |
| KnownRegisterSize | ZkFold.Symbolic.Data.Combinators |
| KZG | |
| 1 (Type/Class) | ZkFold.Base.Protocol.KZG |
| 2 (Data Constructor) | ZkFold.Base.Protocol.KZG |
| l1_xi | ZkFold.Base.Protocol.Plonkup.Proof |
| last | ZkFold.Symbolic.Data.List |
| Layout | ZkFold.Symbolic.Data.Class |
| LayoutFunctor | ZkFold.Symbolic.Data.Class |
| lcmM | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| leBytesOf | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| Length | ZkFold.Symbolic.Data.Combinators |
| length | ZkFold.Prelude |
| Length' | ZkFold.Symbolic.Data.Combinators |
| lHash | ZkFold.Symbolic.Data.List |
| LinUVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation |
| LinVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| List | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.List |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.List |
| ListItem | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.List |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.List |
| ListRange | ZkFold.Symbolic.Data.Combinators |
| LittleEndian | |
| 1 (Type/Class) | ZkFold.Base.Data.ByteString |
| 2 (Data Constructor) | ZkFold.Base.Data.ByteString |
| lkVar | ZkFold.Base.Protocol.Plonkup.LookupConstraint |
| Log2 | ZkFold.Base.Algebra.Basic.Number |
| log2 | ZkFold.Symbolic.Data.Combinators |
| log2ceiling | ZkFold.Prelude |
| LookupConstraint | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.LookupConstraint |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.LookupConstraint |
| LookupTable | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| LookupType | |
| 1 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| lSize | ZkFold.Symbolic.Data.List |
| lt | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
| 3 (Function) | ZkFold.Symbolic.Data.Ord |
| lTable | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| lWitness | ZkFold.Symbolic.Data.List |
| M | |
| 1 (Data Constructor) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| makeSPoly | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapCoeffs | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapMWithIx | ZkFold.Base.Data.Vector |
| mapV | ZkFold.Base.Algebra.Basic.VectorSpace |
| mapVar | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapVarArithmeticCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Map, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| mapVarMonomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapVarPolynomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapVars | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapWithIx | ZkFold.Base.Data.Vector |
| Matrix | |
| 1 (Type/Class) | ZkFold.Base.Data.Matrix |
| 2 (Data Constructor) | ZkFold.Base.Data.Matrix |
| matrixDotProduct | ZkFold.Base.Data.Matrix |
| max | ZkFold.Symbolic.Data.Ord |
| MaxAdded | ZkFold.Symbolic.Data.Combinators |
| maxBitsPerFieldElement | ZkFold.Symbolic.Data.Combinators |
| maxBitsPerRegister | ZkFold.Symbolic.Data.Combinators |
| MaxLength | ZkFold.Symbolic.Data.JWT |
| maxOverflow | ZkFold.Symbolic.Data.Combinators |
| MaxRegisterSize | ZkFold.Symbolic.Data.Combinators |
| Maybe | ZkFold.Symbolic.Data.Maybe |
| maybe | ZkFold.Symbolic.Data.Maybe |
| MerkleHash | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| merkleHash | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| millerAlgorithmBLS12 | ZkFold.Base.Algebra.EllipticCurve.Pairing |
| millerAlgorithmBN | ZkFold.Base.Algebra.EllipticCurve.Pairing |
| mimcConstants | ZkFold.Symbolic.Algorithms.Hash.MiMC.Constants |
| MiMCHash | ZkFold.Base.Protocol.IVC.Oracle |
| mimcHash2 | ZkFold.Symbolic.Algorithms.Hash.MiMC |
| mimcHashN | ZkFold.Symbolic.Algorithms.Hash.MiMC |
| mimcHashN' | ZkFold.Symbolic.Algorithms.Hash.MiMC |
| min | ZkFold.Symbolic.Data.Ord |
| minNumberOfRegisters | ZkFold.Symbolic.Data.Combinators |
| mkIndexPartition | ZkFold.Base.Algebra.Basic.Permutations |
| Mod | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| mod | ZkFold.Base.Algebra.Basic.Class |
| MonadCircuit | ZkFold.Symbolic.MonadCircuit |
| Mono | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| Monomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| monomial | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
| More | ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation |
| Morph | ZkFold.Symbolic.Data.Morph |
| MorphFrom | ZkFold.Symbolic.Data.Morph |
| MorphTo | ZkFold.Symbolic.Data.Morph |
| msm | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| mu | ZkFold.Base.Protocol.IVC.Accumulator |
| Mul | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| mulDft | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulKaratsuba | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulPoly | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulPolyDft | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulPolyKaratsuba | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulPolyNaive | ZkFold.Base.Algebra.Polynomials.Univariate |
| multiExp | ZkFold.Base.Algebra.Basic.Class |
| MultiplicativeGroup | ZkFold.Base.Algebra.Basic.Class |
| MultiplicativeMonoid | ZkFold.Base.Algebra.Basic.Class |
| MultiplicativeSemigroup | ZkFold.Base.Algebra.Basic.Class |
| mulVector | ZkFold.Base.Algebra.Polynomials.Univariate |
| mzipWithMRep | ZkFold.Symbolic.Data.Combinators |
| narkCommits | ZkFold.Base.Protocol.IVC.NARK |
| NARKInstanceProof | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.NARK |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.NARK |
| narkInstanceProof | ZkFold.Base.Protocol.IVC.NARK |
| NARKProof | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.NARK |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.NARK |
| narkProof | ZkFold.Base.Protocol.IVC.NARK |
| narkWitness | ZkFold.Base.Protocol.IVC.NARK |
| nativeResidue | ZkFold.Symbolic.Data.FFA |
| natPow | ZkFold.Base.Algebra.Basic.Class |
| natScale | ZkFold.Base.Algebra.Basic.Class |
| Natural | ZkFold.Base.Algebra.Basic.Number |
| natural | ZkFold.Symbolic.Data.UInt |
| naturalCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| negate | ZkFold.Base.Algebra.Basic.Class |
| negateV | ZkFold.Base.Algebra.Basic.VectorSpace |
| newAssigned | ZkFold.Symbolic.MonadCircuit |
| newConstrained | ZkFold.Symbolic.MonadCircuit |
| NewConstraint | ZkFold.Symbolic.MonadCircuit |
| newRanged | ZkFold.Symbolic.MonadCircuit |
| NewVar | |
| 1 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| 2 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| nextNBits | ZkFold.Symbolic.Data.Combinators |
| NextPow2 | ZkFold.Symbolic.Data.Combinators |
| nextPow2 | ZkFold.Symbolic.Data.Combinators |
| nipCompatibility | ZkFold.Base.Protocol.NonInteractiveProof.Testing, ZkFold.Base.Protocol.NonInteractiveProof |
| nipInputTransform | ZkFold.Base.Protocol.NonInteractiveProof.Testing, ZkFold.Base.Protocol.NonInteractiveProof |
| nipProofTransform | ZkFold.Base.Protocol.NonInteractiveProof.Testing, ZkFold.Base.Protocol.NonInteractiveProof |
| nipSetupTransform | ZkFold.Base.Protocol.NonInteractiveProof.Testing, ZkFold.Base.Protocol.NonInteractiveProof |
| noIVCProof | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| NonInteractiveProof | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| NonZero | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Class |
| 2 (Data Constructor) | ZkFold.Base.Algebra.Basic.Class |
| not | ZkFold.Symbolic.Data.Bool |
| nothing | ZkFold.Symbolic.Data.Maybe |
| null | ZkFold.Symbolic.Data.List |
| NumberOfBits | ZkFold.Base.Algebra.Basic.Class |
| numberOfBits | ZkFold.Base.Algebra.Basic.Class |
| numberOfError | ZkFold.Base.Algorithm.ReedSolomon |
| NumberOfRegisters | ZkFold.Symbolic.Data.Combinators |
| numberOfRegisters | ZkFold.Symbolic.Data.Combinators |
| NumberOfRegisters' | ZkFold.Symbolic.Data.Combinators |
| ofBytes | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| omega | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Testing |
| 3 (Function) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
| 4 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
| 5 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
| 6 (Function) | ZkFold.Base.Protocol.Plonk |
| omegas | ZkFold.Base.Protocol.Plonkup.Testing |
| omegas' | ZkFold.Base.Protocol.Plonkup.Testing |
| one | ZkFold.Base.Algebra.Basic.Class |
| oneM | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| optimize | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Optimization, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| or | ZkFold.Symbolic.Data.Bool |
| oracle | ZkFold.Base.Protocol.IVC.Oracle |
| oracle' | ZkFold.Base.Protocol.IVC.Oracle |
| Ord | ZkFold.Symbolic.Data.Ord |
| Order | ZkFold.Base.Algebra.Basic.Class |
| order | ZkFold.Base.Algebra.Basic.Class |
| Ordering | ZkFold.Symbolic.Data.Ord |
| ordering | ZkFold.Symbolic.Data.Ord |
| OrderingOf | ZkFold.Symbolic.Data.Ord |
| OrdWord | ZkFold.Symbolic.Data.UInt |
| orRight | ZkFold.Symbolic.Data.ByteString |
| outer | ZkFold.Base.Data.Matrix |
| OutputSpace | ZkFold.Base.Algebra.Basic.VectorSpace |
| P | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| pack | ZkFold.Base.Data.Package |
| Package | ZkFold.Base.Data.Package |
| packed | ZkFold.Base.Data.Package |
| packWith | ZkFold.Base.Data.Package |
| padBits | ZkFold.Base.Algebra.Basic.Class |
| PaddedLength | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| padNextPow2 | ZkFold.Symbolic.Data.Combinators |
| padSecondNextPow2 | ZkFold.Symbolic.Data.Combinators |
| Pairing | ZkFold.Base.Algebra.EllipticCurve.Class |
| pairing | ZkFold.Base.Algebra.EllipticCurve.Class |
| Pallas_Point | ZkFold.Base.Algebra.EllipticCurve.Pasta |
| Pasta_Point | ZkFold.Base.Algebra.EllipticCurve.Pasta |
| Payload | ZkFold.Symbolic.Data.Class |
| payload | ZkFold.Symbolic.Data.Class |
| Payloaded | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.Payloaded |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.Payloaded |
| PayloadFunctor | ZkFold.Symbolic.Data.Class |
| payloadInput | ZkFold.Base.Protocol.Plonkup.Witness |
| PedersonSetup | ZkFold.Base.Protocol.IVC.Commit |
| Permutation | ZkFold.Base.Algebra.Basic.Permutations |
| pi | ZkFold.Base.Protocol.IVC.Accumulator |
| piX | ZkFold.Base.Protocol.Plonkup.Testing |
| Planar | ZkFold.Base.Algebra.EllipticCurve.Class |
| plAtHash | ZkFold.Symbolic.Data.JWT |
| plAud | ZkFold.Symbolic.Data.JWT |
| plAzp | ZkFold.Symbolic.Data.JWT |
| plEmail | ZkFold.Symbolic.Data.JWT |
| plEmailVerified | ZkFold.Symbolic.Data.JWT |
| plExp | ZkFold.Symbolic.Data.JWT |
| plFamilyName | ZkFold.Symbolic.Data.JWT |
| plGivenName | ZkFold.Symbolic.Data.JWT |
| plHd | ZkFold.Symbolic.Data.JWT |
| plIat | ZkFold.Symbolic.Data.JWT |
| plIss | ZkFold.Symbolic.Data.JWT |
| plName | ZkFold.Symbolic.Data.JWT |
| Plonk | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonk |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonk |
| PlonkConstraint | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| plonkProve | ZkFold.Base.Protocol.Plonk.Prover |
| Plonkup | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| PlonkupCircuitCommitments | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| PlonkupCircuitPolynomials | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Prover.Polynomials, ZkFold.Base.Protocol.Plonkup.Prover |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Prover.Polynomials, ZkFold.Base.Protocol.Plonkup.Prover |
| PlonkupConstraint | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| PlonkupInput | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Input |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Input |
| PlonkupPermutationSize | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| PlonkupPolyExtended | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| PlonkupPolyExtendedLength | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| PlonkupProof | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Proof |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Proof |
| plonkupProve | ZkFold.Base.Protocol.Plonkup.Prover |
| PlonkupProverSecret | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Prover.Secret, ZkFold.Base.Protocol.Plonkup.Prover |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Prover.Secret, ZkFold.Base.Protocol.Plonkup.Prover |
| PlonkupProverSetup | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
| PlonkupProverTestInfo | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Testing |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Testing |
| PlonkupRelation | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Relation |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Relation |
| PlonkupSetup | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Setup |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Setup |
| plonkupSetup | ZkFold.Base.Protocol.Plonkup.Setup |
| plonkupVerifierInput | ZkFold.Base.Protocol.Plonkup.Input |
| PlonkupVerifierSetup | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
| plonkupVerify | ZkFold.Base.Protocol.Plonkup.Verifier |
| PlonkupWitnessInput | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Witness |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Witness |
| plonkVerify | ZkFold.Base.Protocol.Plonk.Verifier |
| Plot | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| plPicture | ZkFold.Symbolic.Data.JWT |
| plSub | ZkFold.Symbolic.Data.JWT |
| PlutoEris_p | ZkFold.Base.Algebra.EllipticCurve.PlutoEris |
| PlutoEris_q | ZkFold.Base.Algebra.EllipticCurve.PlutoEris |
| Pluto_Point | ZkFold.Base.Algebra.EllipticCurve.PlutoEris |
| Point | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
| 2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointCompressed | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointGen | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointInf | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointXY | ZkFold.Base.Algebra.EllipticCurve.Class |
| Poly | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Univariate |
| poly2vec | ZkFold.Base.Algebra.Polynomials.Univariate |
| polyMul | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| Polynomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| polynomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| polynomials | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
| PolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
| polyVecConstant | ZkFold.Base.Algebra.Polynomials.Univariate |
| polyVecDiv | ZkFold.Base.Algebra.Polynomials.Univariate |
| polyVecGrandProduct | ZkFold.Base.Algebra.Polynomials.Univariate |
| polyVecInLagrangeBasis | ZkFold.Base.Algebra.Polynomials.Univariate |
| polyVecLagrange | ZkFold.Base.Algebra.Polynomials.Univariate |
| polyVecLinear | ZkFold.Base.Algebra.Polynomials.Univariate |
| polyVecQuadratic | ZkFold.Base.Algebra.Polynomials.Univariate |
| polyVecZero | ZkFold.Base.Algebra.Polynomials.Univariate |
| Prec | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| Predicate | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.Predicate |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.Predicate |
| predicate | ZkFold.Base.Protocol.IVC.Predicate |
| PredicateAssumptions | ZkFold.Base.Protocol.IVC.Predicate |
| PredicateCircuit | ZkFold.Base.Protocol.IVC.Predicate |
| predicateCircuit | ZkFold.Base.Protocol.IVC.Predicate |
| predicateEval | ZkFold.Base.Protocol.IVC.Predicate |
| preimage | ZkFold.Symbolic.Data.Hash |
| Prime | ZkFold.Base.Algebra.Basic.Number |
| PrimeField | ZkFold.Base.Algebra.Basic.Class |
| PrivateKey | |
| 1 (Type/Class) | ZkFold.Symbolic.Algorithms.RSA |
| 2 (Data Constructor) | ZkFold.Symbolic.Algorithms.RSA |
| Product | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| product | ZkFold.Base.Algebra.Basic.Class |
| product1 | ZkFold.Base.Algebra.Basic.Class |
| productMod | ZkFold.Symbolic.Data.UInt |
| Proof | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof, ZkFold.Base.Protocol.NonInteractiveProof |
| proof | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| proof1 | ZkFold.Base.Protocol.Plonkup.Proof |
| proof2 | ZkFold.Base.Protocol.Plonkup.Proof |
| ProofBytes | |
| 1 (Type/Class) | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| 2 (Data Constructor) | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| proofW | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| proofX | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| prove | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| proveAPI | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| ProveAPIErrorSetup | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| ProveAPIErrorWitness | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| ProveAPIResult | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| ProveAPISuccess | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| provePolyVecEval | ZkFold.Base.Protocol.KZG |
| prover | |
| 1 (Function) | ZkFold.Base.Protocol.IVC.SpecialSound |
| 2 (Function) | ZkFold.Base.Protocol.IVC.AccumulatorScheme |
| prvD | ZkFold.Symbolic.Algorithms.RSA |
| prvKey | ZkFold.Symbolic.Data.JWT |
| prvKid | ZkFold.Symbolic.Data.JWT |
| prvN | ZkFold.Symbolic.Algorithms.RSA |
| pubE | ZkFold.Symbolic.Algorithms.RSA |
| pubInput | ZkFold.Base.Protocol.Plonkup.Relation |
| pubKey | ZkFold.Symbolic.Data.JWT |
| pubKid | ZkFold.Symbolic.Data.JWT |
| PublicKey | |
| 1 (Type/Class) | ZkFold.Symbolic.Algorithms.RSA |
| 2 (Data Constructor) | ZkFold.Symbolic.Algorithms.RSA |
| pubN | ZkFold.Symbolic.Algorithms.RSA |
| pureV | ZkFold.Base.Algebra.Basic.VectorSpace |
| put | ZkFold.Base.Data.ByteString |
| putList | ZkFold.Base.Data.ByteString |
| putWord8 | ZkFold.Base.Data.ByteString |
| qC | ZkFold.Base.Protocol.Plonkup.Relation |
| qc | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| qcX | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Testing |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Polynomials, ZkFold.Base.Protocol.Plonkup.Prover |
| qhighX | ZkFold.Base.Protocol.Plonkup.Testing |
| qK | ZkFold.Base.Protocol.Plonkup.Relation |
| qkX | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Testing |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Polynomials, ZkFold.Base.Protocol.Plonkup.Prover |
| qL | ZkFold.Base.Protocol.Plonkup.Relation |
| ql | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| qlowX | ZkFold.Base.Protocol.Plonkup.Testing |
| qlX | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Testing |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Polynomials, ZkFold.Base.Protocol.Plonkup.Prover |
| qM | ZkFold.Base.Protocol.Plonkup.Relation |
| qm | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| qmidX | ZkFold.Base.Protocol.Plonkup.Testing |
| qmX | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Testing |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Polynomials, ZkFold.Base.Protocol.Plonkup.Prover |
| qO | ZkFold.Base.Protocol.Plonkup.Relation |
| qo | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| qoX | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Testing |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Polynomials, ZkFold.Base.Protocol.Plonkup.Prover |
| qR | ZkFold.Base.Protocol.Plonkup.Relation |
| qr | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| qrX | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Testing |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Polynomials, ZkFold.Base.Protocol.Plonkup.Prover |
| qX | ZkFold.Base.Protocol.Plonkup.Testing |
| r | ZkFold.Base.Protocol.IVC.Accumulator |
| RandomOracle | ZkFold.Base.Protocol.IVC.Oracle |
| RandomOracle' | ZkFold.Base.Protocol.IVC.Oracle |
| rangeConstraint | ZkFold.Symbolic.MonadCircuit |
| Ranges | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| readFileJSON | ZkFold.Prelude |
| RecursiveFunction | ZkFold.Base.Protocol.IVC.RecursiveFunction |
| recursiveFunction | ZkFold.Base.Protocol.IVC.RecursiveFunction |
| RecursiveFunctionAssumptions | ZkFold.Base.Protocol.IVC.RecursiveFunction |
| RecursiveI | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.RecursiveFunction |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.RecursiveFunction |
| RecursiveP | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.RecursiveFunction |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.RecursiveFunction |
| recursivePredicate | ZkFold.Base.Protocol.IVC.RecursiveFunction |
| RecursivePredicateAssumptions | ZkFold.Base.Protocol.IVC.RecursiveFunction |
| reducable | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| reduce | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| reduceMany | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| register | ZkFold.Symbolic.Data.UInt |
| registerFunction | ZkFold.Symbolic.MonadCircuit |
| RegisterSize | ZkFold.Symbolic.Data.Combinators |
| registerSize | ZkFold.Symbolic.Data.Combinators |
| regSize | ZkFold.Symbolic.Data.Combinators |
| relation | |
| 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 |
| removeZeros | ZkFold.Base.Algebra.Polynomials.Univariate |
| Replica | ZkFold.Symbolic.Data.Morph |
| replicate | ZkFold.Prelude |
| replicateA | ZkFold.Prelude |
| Representably | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.VectorSpace |
| 2 (Data Constructor) | ZkFold.Base.Algebra.Basic.VectorSpace |
| ResidueField | ZkFold.Symbolic.MonadCircuit |
| Resize | ZkFold.Symbolic.Data.Combinators, ZkFold.Symbolic.Data.ByteString |
| resize | ZkFold.Symbolic.Data.Combinators, ZkFold.Symbolic.Data.ByteString |
| restore | ZkFold.Symbolic.Data.Class |
| ResultSize | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| revapp | ZkFold.Symbolic.Data.List |
| reverse | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.List |
| reverseEndianness | ZkFold.Symbolic.Data.ByteString |
| rewrapPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
| Ring | ZkFold.Base.Algebra.Basic.Class |
| rootOfUnity | ZkFold.Base.Algebra.Basic.Class |
| rotate | ZkFold.Base.Data.Vector |
| rotateBits | ZkFold.Symbolic.Data.ByteString |
| rotateBitsL | ZkFold.Symbolic.Data.ByteString |
| rotateBitsR | ZkFold.Symbolic.Data.ByteString |
| roundConstants | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| RSA | ZkFold.Symbolic.Algorithms.RSA |
| runHash | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| runInterpreter | ZkFold.Symbolic.Interpreter |
| runInvert | ZkFold.Symbolic.Data.Combinators |
| runPayloaded | ZkFold.Symbolic.Data.Payloaded |
| runRepresentably | ZkFold.Base.Algebra.Basic.VectorSpace |
| runTransform | ZkFold.Base.Control.HApplicative |
| runWitness | ZkFold.Base.Protocol.KZG |
| runWitnessF | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness |
| rX | ZkFold.Base.Protocol.Plonkup.Testing |
| 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 |
| ScalarFieldOf | ZkFold.Base.Algebra.EllipticCurve.Class |
| scalarN | ZkFold.Base.Algorithm.ReedSolomon |
| 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 |
| secondNextNBits | ZkFold.Symbolic.Data.Combinators |
| SecondNextPow2 | ZkFold.Symbolic.Data.Combinators |
| secondNextPow2 | ZkFold.Symbolic.Data.Combinators |
| Secp256k1_Base | ZkFold.Base.Algebra.EllipticCurve.Secp256k1 |
| Secp256k1_Point | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Secp256k1 |
| 2 (Type/Class) | ZkFold.Symbolic.Data.Secp256k1 |
| Secp256k1_PointOf | ZkFold.Base.Algebra.EllipticCurve.Secp256k1 |
| Secp256k1_Scalar | ZkFold.Base.Algebra.EllipticCurve.Secp256k1 |
| SecretBits | ZkFold.Symbolic.Data.JWT |
| secretBits | ZkFold.Symbolic.Data.JWT |
| SemiEuclidean | ZkFold.Base.Algebra.Basic.Class |
| Semiring | ZkFold.Base.Algebra.Basic.Class |
| set | ZkFold.Symbolic.Data.ByteString |
| setminus | ZkFold.Symbolic.Data.List |
| 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 |
| sfoldl | ZkFold.Symbolic.Fold |
| 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 |
| sha2Var | 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 |
| shiftL | ZkFold.Symbolic.Data.VarByteString |
| shiftR | ZkFold.Symbolic.Data.VarByteString |
| 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, ZkFold.Symbolic.Data.JWT |
| SigningKey | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.JWT |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.JWT |
| signPayload | ZkFold.Symbolic.Data.JWT |
| signVar | ZkFold.Symbolic.Algorithms.RSA |
| singleton | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.List |
| skip | ZkFold.Base.Data.ByteString |
| sLayout | ZkFold.Symbolic.Data.Switch |
| 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 |
| sPayload | ZkFold.Symbolic.Data.Switch |
| 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 |
| Switch | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.Switch |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.Switch |
| Symbolic | ZkFold.Symbolic.Class |
| symbolic2F | ZkFold.Symbolic.Class |
| symbolic3F | ZkFold.Symbolic.Class |
| SymbolicData | ZkFold.Symbolic.Data.Class |
| SymbolicEq | ZkFold.Symbolic.Data.Eq |
| symbolicF | ZkFold.Symbolic.Class |
| SymbolicFold | ZkFold.Symbolic.Fold |
| 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 |
| t | ZkFold.Base.Protocol.Plonkup.Relation |
| tabulateV | ZkFold.Base.Algebra.Basic.VectorSpace |
| tail | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.List |
| tailHash | ZkFold.Symbolic.Data.List |
| take | |
| 1 (Function) | ZkFold.Prelude |
| 2 (Function) | ZkFold.Base.Data.Vector |
| testVector | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| toAsciiBits | ZkFold.Symbolic.Data.JWT |
| toAsciiString | ZkFold.Symbolic.Data.VarByteString |
| toBits | ZkFold.Symbolic.Data.Combinators |
| toBsBits | ZkFold.Symbolic.Data.ByteString |
| toByteString | ZkFold.Base.Data.ByteString |
| ToConstant | ZkFold.Base.Algebra.Basic.Class |
| toConstant | ZkFold.Base.Algebra.Basic.Class, ZkFold.Symbolic.Data.UInt |
| toIntegral | ZkFold.Symbolic.MonadCircuit |
| toJsonBits | ZkFold.Symbolic.Data.JWT |
| TokenHeader | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.JWT |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.JWT |
| TokenPayload | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.JWT |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.JWT |
| toLookupConstraint | ZkFold.Base.Protocol.Plonkup.LookupConstraint |
| toMatrix | ZkFold.Base.Data.Matrix |
| toNative | ZkFold.Symbolic.Data.UInt |
| toPlonkConstraint | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| toPlonkupRelation | ZkFold.Base.Protocol.Plonkup.Relation |
| toPoly | ZkFold.Base.Algebra.Polynomials.Univariate |
| toPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
| ToTranscript | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| toTranscript | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| toV | ZkFold.Base.Data.Vector |
| toVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var |
| toVector | ZkFold.Base.Data.Vector |
| toWords | ZkFold.Symbolic.Data.ByteString |
| toZp | ZkFold.Base.Algebra.Basic.Field |
| Transcript | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof, ZkFold.Base.Protocol.NonInteractiveProof |
| transcript | |
| 1 (Function) | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| 2 (Function) | ZkFold.Base.Protocol.IVC.FiatShamir |
| Transform | |
| 1 (Type/Class) | ZkFold.Base.Control.HApplicative |
| 2 (Data Constructor) | ZkFold.Base.Control.HApplicative |
| transpose | ZkFold.Base.Data.Matrix |
| trichotomy | ZkFold.Base.Algebra.Basic.Class |
| TrichotomyField | ZkFold.Base.Algebra.Basic.Class |
| Triton_Point | ZkFold.Base.Algebra.EllipticCurve.PlutoEris |
| true | ZkFold.Symbolic.Data.Bool |
| truncate | ZkFold.Symbolic.Data.ByteString |
| truncateResult | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| tryCompare | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| tryEq | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| TwistedEdwards | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
| 2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.Class |
| twistedEdwardsA | ZkFold.Base.Algebra.EllipticCurve.Class |
| TwistedEdwardsCurve | ZkFold.Base.Algebra.EllipticCurve.Class |
| twistedEdwardsD | ZkFold.Base.Algebra.EllipticCurve.Class |
| tX | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Testing |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Polynomials, ZkFold.Base.Protocol.Plonkup.Prover |
| t_xi | ZkFold.Base.Protocol.Plonkup.Proof |
| t_xi' | ZkFold.Base.Protocol.Plonkup.Proof |
| UInt | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.UInt |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.UInt |
| uintResidue | ZkFold.Symbolic.Data.FFA |
| unBigEndian | ZkFold.Base.Data.ByteString |
| uncons | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.List |
| unconstrained | ZkFold.Symbolic.MonadCircuit |
| uncurryP | ZkFold.Base.Data.Product |
| uncurryV | ZkFold.Base.Algebra.Basic.VectorSpace |
| unfold | ZkFold.Base.Data.Vector |
| unLittleEndian | ZkFold.Base.Data.ByteString |
| unpack | ZkFold.Base.Data.Package |
| unpacked | ZkFold.Base.Data.Package |
| unpackWith | ZkFold.Base.Data.Package |
| unPlonkupInput | ZkFold.Base.Protocol.Plonkup.Input |
| unsafeConcat | ZkFold.Base.Data.Vector |
| unsafeToVector | ZkFold.Base.Data.Vector |
| unset | ZkFold.Symbolic.Data.ByteString |
| UTCTime | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.UTCTime |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.UTCTime |
| UVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation |
| value | ZkFold.Base.Algebra.Basic.Number |
| Var | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| var | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| VarByteString | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.VarByteString |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.VarByteString |
| VarField | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| Variable | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| variables | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| varsToReplace | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Optimization |
| vec2poly | ZkFold.Base.Algebra.Polynomials.Univariate |
| Vector | |
| 1 (Type/Class) | ZkFold.Base.Data.Vector |
| 2 (Data Constructor) | ZkFold.Base.Data.Vector |
| vectorDotProduct | ZkFold.Base.Data.Vector |
| VectorSpace | ZkFold.Base.Algebra.Basic.VectorSpace |
| verifier | |
| 1 (Function) | ZkFold.Base.Protocol.IVC.SpecialSound |
| 2 (Function) | ZkFold.Base.Protocol.IVC.AccumulatorScheme |
| verify | |
| 1 (Function) | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| 2 (Function) | ZkFold.Symbolic.Algorithms.RSA |
| verifyGroebner | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| verifySignature | ZkFold.Symbolic.Data.JWT |
| verifyVar | ZkFold.Symbolic.Algorithms.RSA |
| Vesta_Point | ZkFold.Base.Algebra.EllipticCurve.Pasta |
| vtoVector | ZkFold.Base.Data.Vector |
| w | ZkFold.Base.Protocol.IVC.Accumulator |
| w1 | ZkFold.Base.Protocol.Plonkup.Testing |
| w2 | ZkFold.Base.Protocol.Plonkup.Testing |
| w3 | ZkFold.Base.Protocol.Plonkup.Testing |
| Weierstrass | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
| 2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.Class |
| weierstrassB | ZkFold.Base.Algebra.EllipticCurve.Class |
| WeierstrassCurve | ZkFold.Base.Algebra.EllipticCurve.Class |
| WExVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| WFoldVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| wipeUnassigned | ZkFold.Symbolic.Data.VarByteString |
| with4n6 | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| withNextNBits | ZkFold.Symbolic.Data.Combinators |
| withNextNBits' | ZkFold.Symbolic.Data.Combinators |
| withNumberOfRegisters | ZkFold.Symbolic.Data.Combinators |
| withNumberOfRegisters' | ZkFold.Symbolic.Data.Combinators |
| withSecondNextNBits | ZkFold.Symbolic.Data.Combinators |
| withSecondNextNBits' | ZkFold.Symbolic.Data.Combinators |
| Witness | |
| 1 (Type/Class) | ZkFold.Symbolic.MonadCircuit |
| 2 (Type/Class) | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof, ZkFold.Base.Protocol.NonInteractiveProof |
| witness | ZkFold.Base.Protocol.Plonkup.Relation |
| WitnessF | |
| 1 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness |
| witnessF | ZkFold.Symbolic.Class |
| WitnessField | ZkFold.Symbolic.Class |
| witnessGenerator | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| witnessInput | ZkFold.Base.Protocol.Plonkup.Witness |
| WitnessKZG | |
| 1 (Type/Class) | ZkFold.Base.Protocol.KZG |
| 2 (Data Constructor) | ZkFold.Base.Protocol.KZG |
| witToVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| WitVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| word32RoundConstants | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
| word64RoundConstants | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
| WordSize | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| wordsOf | ZkFold.Symbolic.Data.Combinators |
| writeFileJSON | ZkFold.Prelude |
| WSysVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| x | ZkFold.Base.Protocol.IVC.Accumulator |
| x1 | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| x2 | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| x3 | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| xi | ZkFold.Base.Protocol.Plonkup.Testing |
| xor | ZkFold.Symbolic.Data.Bool |
| z | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| z1X | ZkFold.Base.Protocol.Plonkup.Testing |
| z1_xi' | ZkFold.Base.Protocol.Plonkup.Proof |
| z2X | ZkFold.Base.Protocol.Plonkup.Testing |
| z2_xi' | ZkFold.Base.Protocol.Plonkup.Proof |
| zero | ZkFold.Base.Algebra.Basic.Class |
| zeroP | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| zeroV | ZkFold.Base.Algebra.Basic.VectorSpace |
| zhX | ZkFold.Base.Protocol.Plonkup.Testing |
| zipWithDefault | ZkFold.Prelude |
| zipWithM | ZkFold.Base.Data.Utils |
| zipWithV | ZkFold.Base.Algebra.Basic.VectorSpace |
| Zp | ZkFold.Base.Algebra.Basic.Field |
| ^ | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
| 2 (Function) | ZkFold.Base.Algebra.Basic.Class |
| _acc | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| _c | ZkFold.Base.Protocol.IVC.Accumulator |
| _e | ZkFold.Base.Protocol.IVC.Accumulator |
| _mu | ZkFold.Base.Protocol.IVC.Accumulator |
| _pi | ZkFold.Base.Protocol.IVC.Accumulator |
| _proof | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| _proofW | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| _proofX | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| _r | ZkFold.Base.Protocol.IVC.Accumulator |
| _w | ZkFold.Base.Protocol.IVC.Accumulator |
| _x | ZkFold.Base.Protocol.IVC.Accumulator |
| _z | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| || | ZkFold.Symbolic.Data.Bool |