| ! | ZkFold.Prelude |
| !! | |
| 1 (Function) | ZkFold.Prelude |
| 2 (Function) | ZkFold.Base.Data.Vector |
| 3 (Function) | ZkFold.Symbolic.Data.List |
| $sel:_bigY:CompressedPoint | ZkFold.Base.Algebra.EllipticCurve.Class |
| $sel:_isInf:CompressedPoint | ZkFold.Base.Algebra.EllipticCurve.Class |
| $sel:_isInf:Point | ZkFold.Base.Algebra.EllipticCurve.Class |
| $sel:_x:CompressedPoint | ZkFold.Base.Algebra.EllipticCurve.Class |
| $sel:_x:Point | ZkFold.Base.Algebra.EllipticCurve.Class |
| $sel:_y: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 |
| 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 |
| AcEd25519 | ZkFold.Symbolic.Data.Ed25519 |
| acFold | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| acInput | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acOutput | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acPrint | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acRange | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| 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 |
| add | ZkFold.Base.Algebra.EllipticCurve.Class |
| AdditiveGroup | ZkFold.Base.Algebra.Basic.Class |
| AdditiveMonoid | ZkFold.Base.Algebra.Basic.Class |
| AdditiveSemigroup | ZkFold.Base.Algebra.Basic.Class |
| addPoints | ZkFold.Base.Algebra.EllipticCurve.Class |
| addV | ZkFold.Base.Algebra.Basic.VectorSpace |
| Algebra | ZkFold.Base.Algebra.Basic.Class |
| algebraicMap | ZkFold.Base.Protocol.IVC.AlgebraicMap |
| AlgorithmSetup | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| 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 |
| 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 |
| b2b_g | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| BaseField | |
| 1 (Type/Class) | ZkFold.Symbolic.Class |
| 2 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
| Basis | ZkFold.Base.Algebra.Basic.VectorSpace |
| basisV | ZkFold.Base.Algebra.Basic.VectorSpace |
| beta | ZkFold.Base.Protocol.Plonkup.Testing |
| BigEndian | |
| 1 (Type/Class) | ZkFold.Base.Data.ByteString |
| 2 (Data Constructor) | ZkFold.Base.Data.ByteString |
| Binary | 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 |
| bitwiseGE | ZkFold.Symbolic.Data.Ord |
| bitwiseGT | ZkFold.Symbolic.Data.Ord |
| blake2b | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| blake2b' | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| Blake2bCtx | |
| 1 (Type/Class) | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| 2 (Data Constructor) | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| blake2bDivConstraint | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| blake2b_224 | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| blake2b_256 | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| blake2b_512 | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| blake2b_compress | 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 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| BLS12_381_G2 | 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.Ord |
| BN254_Base | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| BN254_G1 | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| BN254_G2 | 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.Base.Algebra.EllipticCurve.Class |
| BoolType | ZkFold.Symbolic.Data.Bool |
| 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 |
| 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 |
| 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 |
| 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 |
| CompressedPoint | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
| 2 (Data Constructor) | 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 |
| 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 |
| crown | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| curryV | ZkFold.Base.Algebra.Basic.VectorSpace |
| cX | ZkFold.Base.Protocol.Plonkup.Testing |
| c_xi | ZkFold.Base.Protocol.Plonkup.Proof |
| decider | ZkFold.Base.Protocol.IVC.AccumulatorScheme |
| 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 |
| 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 | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
| ed25519Add | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
| ed25519Double | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
| Ed25519_Base | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
| Ed25519_Scalar | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
| eea | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
| 2 (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, ZkFold.Symbolic.Compiler |
| emptyList | ZkFold.Symbolic.Data.List |
| epsilon | ZkFold.Base.Protocol.Plonkup.Testing |
| Eq | ZkFold.Symbolic.Data.Eq |
| equal | 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 |
| ExtendedInputByteString | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| ExtensionBits | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| false | ZkFold.Symbolic.Data.Bool |
| FFA | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.FFA |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.FFA |
| 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 |
| floorN | ZkFold.Base.Algebra.Basic.Class |
| Fn | ZkFold.Base.Algebra.EllipticCurve.Secp256k1 |
| foldCount | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| foldResult | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| foldSeed | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| foldStep | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| foldStream | 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.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 | ZkFold.Base.Data.ByteString |
| 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 |
| fromJust | ZkFold.Symbolic.Data.Maybe |
| fromListV | ZkFold.Base.Algebra.Basic.VectorSpace |
| fromMatrix | ZkFold.Base.Data.Matrix |
| fromMaybe | ZkFold.Symbolic.Data.Maybe |
| fromPermutation | ZkFold.Base.Algebra.Basic.Permutations |
| fromPlonkConstraint | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| fromPoly | ZkFold.Base.Algebra.Polynomials.Univariate |
| fromPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
| 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 |
| 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 |
| FunctionSpace | ZkFold.Base.Algebra.Basic.VectorSpace |
| FunctorAssumptions | ZkFold.Base.Protocol.IVC.StepFunction |
| 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 |
| gcdM | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| GConditional | ZkFold.Symbolic.Data.Conditional |
| GContext | ZkFold.Symbolic.Data.Class |
| 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 |
| getBitsBE | ZkFold.Symbolic.Data.Ord |
| 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 |
| getWord8 | ZkFold.Base.Data.ByteString |
| GLayout | ZkFold.Symbolic.Data.Class |
| gneq | ZkFold.Symbolic.Data.Eq |
| 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 |
| GSupport | ZkFold.Symbolic.Data.Class |
| GSymbolicData | ZkFold.Symbolic.Data.Class |
| guessOutput | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| h | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| h0 | ZkFold.Base.Protocol.Plonkup.Setup |
| h1 | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
| 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 |
| hcommit | ZkFold.Base.Protocol.IVC.Commit |
| 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, ZkFold.Symbolic.Compiler |
| ifThenElse | ZkFold.Symbolic.Data.Conditional |
| 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 | ZkFold.Base.Data.Vector |
| 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 |
| 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 |
| IsPrime | ZkFold.Base.Algebra.Basic.Number |
| isSet | ZkFold.Symbolic.Data.ByteString |
| isUnset | ZkFold.Symbolic.Data.ByteString |
| isValid | ZkFold.Symbolic.Data.Input |
| 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 |
| KeyLength | ZkFold.Symbolic.Algorithms.RSA |
| 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 |
| lcmM | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| leBytesOf | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| length | ZkFold.Prelude |
| 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 |
| 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 |
| 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 |
| m | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| 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 |
| 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 |
| 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 |
| msm | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| mu | ZkFold.Base.Protocol.IVC.Accumulator |
| Mul | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| mul | ZkFold.Base.Algebra.EllipticCurve.Class |
| 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 |
| natPow | ZkFold.Base.Algebra.Basic.Class |
| natScale | ZkFold.Base.Algebra.Basic.Class |
| Natural | ZkFold.Base.Algebra.Basic.Number |
| naturalCircuit | 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 | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| 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 |
| 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 |
| OrdWord | ZkFold.Symbolic.Data.UInt |
| 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 |
| Pairing | ZkFold.Base.Algebra.EllipticCurve.Class |
| pairing | ZkFold.Base.Algebra.EllipticCurve.Class |
| Pallas | 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 |
| 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 |
| 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 |
| Point | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
| 2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointAdd | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointCompressed | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointDouble | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointGen | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointInf | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointMul | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointNegate | 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 |
| pow2 | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| 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.Base.Algebra.Basic.Class |
| product1 | ZkFold.Base.Algebra.Basic.Class |
| ProjectivePlanar | ZkFold.Base.Algebra.EllipticCurve.Class |
| 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 |
| prvN | ZkFold.Symbolic.Algorithms.RSA |
| pubE | ZkFold.Symbolic.Algorithms.RSA |
| pubInput | ZkFold.Base.Protocol.Plonkup.Relation |
| 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 |
| 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 |
| 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 |
| 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 |
| reverse | ZkFold.Base.Data.Vector |
| 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 |
| rotr64 | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| 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 |
| ScalarField | ZkFold.Base.Algebra.EllipticCurve.Class |
| 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 |
| Secp256k1 | ZkFold.Base.Algebra.EllipticCurve.Secp256k1 |
| Secp256k1_Base | ZkFold.Base.Algebra.EllipticCurve.Secp256k1 |
| Secp256k1_Scalar | ZkFold.Base.Algebra.EllipticCurve.Secp256k1 |
| SemiEuclidean | ZkFold.Base.Algebra.Basic.Class |
| Semiring | ZkFold.Base.Algebra.Basic.Class |
| 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 |
| 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 |
| 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 |
| shiftUIntL | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| shiftUIntR | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| 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 |
| singleton | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.List |
| Size | ZkFold.Symbolic.Data.FFA |
| skip | ZkFold.Base.Data.ByteString |
| 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 |
| 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 |
| Symbolic | ZkFold.Symbolic.Class |
| symbolic2F | ZkFold.Symbolic.Class |
| symbolic3F | ZkFold.Symbolic.Class |
| SymbolicData | ZkFold.Symbolic.Data.Class |
| symbolicF | ZkFold.Symbolic.Class |
| 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 | |
| 1 (Function) | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| 2 (Function) | 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 |
| TargetGroup | ZkFold.Base.Algebra.EllipticCurve.Class |
| testVector | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| 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 |
| toLookupConstraint | ZkFold.Base.Protocol.Plonkup.LookupConstraint |
| toMatrix | ZkFold.Base.Data.Matrix |
| 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 |
| true | ZkFold.Symbolic.Data.Bool |
| truncate | ZkFold.Symbolic.Data.ByteString |
| truncateResult | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| 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 |
| 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 |
| 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 |
| 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.Symbolic.Algorithms.RSA |
| 2 (Function) | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| verifyGroebner | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| Vesta | 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 |
| weierstrassA | ZkFold.Base.Algebra.EllipticCurve.Class |
| weierstrassB | ZkFold.Base.Algebra.EllipticCurve.Class |
| WeierstrassCurve | ZkFold.Base.Algebra.EllipticCurve.Class |
| WExVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| with4n6 | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| with8n | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| with8nLessExt | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| withBlake2bDivConstraint | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| withConstraints | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| withExtendedInputByteString | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| withExtensionBits | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| 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 | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| 2 (Function) | ZkFold.Base.Protocol.IVC.Accumulator |
| 3 (Function) | ZkFold.Base.Protocol.Plonk |
| 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 |
| xorUInt | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| 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 |
| \\ | ZkFold.Symbolic.Data.List |
| ^ | |
| 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 |