| ! | ZkFold.Prelude |
| !! | |
| 1 (Function) | ZkFold.Prelude |
| 2 (Function) | ZkFold.Base.Data.Vector |
| && | 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 |
| .- | 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 |
| Accumulator | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Protostar.Accumulator |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Protostar.Accumulator |
| AccumulatorInstance | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Protostar.Accumulator |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Protostar.Accumulator |
| AccumulatorScheme | ZkFold.Base.Protocol.Protostar.AccumulatorScheme |
| 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.Protostar.AlgebraicMap |
| algebraicMap | ZkFold.Base.Protocol.Protostar.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 |
| aParameter | ZkFold.Base.Algebra.EllipticCurve.Class |
| 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 |
| 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.Base.Algebra.EllipticCurve.Class |
| 2 (Type/Class) | ZkFold.Symbolic.Class |
| BasicSpecialSoundProtocol | ZkFold.Base.Protocol.Protostar.SpecialSound |
| 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 |
| BoolType | ZkFold.Symbolic.Data.Bool |
| bParameter | ZkFold.Base.Algebra.EllipticCurve.Class |
| 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.Protostar.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 |
| CircuitFun | ZkFold.Symbolic.Class |
| ClosedPoly | ZkFold.Symbolic.MonadCircuit |
| cmA | ZkFold.Base.Protocol.Plonkup.Proof |
| cmB | ZkFold.Base.Protocol.Plonkup.Proof |
| cmC | ZkFold.Base.Protocol.Plonkup.Proof |
| cmF | ZkFold.Base.Protocol.Plonkup.Proof |
| cmH1 | ZkFold.Base.Protocol.Plonkup.Proof |
| cmH2 | ZkFold.Base.Protocol.Plonkup.Proof |
| cmQc | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmQhigh | ZkFold.Base.Protocol.Plonkup.Proof |
| cmQk | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmQl | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmQlow | ZkFold.Base.Protocol.Plonkup.Proof |
| cmQm | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmQmid | ZkFold.Base.Protocol.Plonkup.Proof |
| cmQo | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmQr | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmS1 | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmS2 | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmS3 | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmT1 | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| cmZ1 | ZkFold.Base.Protocol.Plonkup.Proof |
| cmZ2 | ZkFold.Base.Protocol.Plonkup.Proof |
| Commit | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Protostar.Commit |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Protostar.CommitOpen |
| commit | ZkFold.Base.Protocol.Protostar.Commit |
| commitments | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
| CommitOpen | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Protostar.CommitOpen |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Protostar.CommitOpen |
| CommitOpenProverMessage | ZkFold.Base.Protocol.Protostar.CommitOpen |
| CompatibleNonInteractiveProofs | ZkFold.Base.Protocol.NonInteractiveProof.Testing, ZkFold.Base.Protocol.NonInteractiveProof |
| compile | ZkFold.Symbolic.Compiler |
| compileForceOne | ZkFold.Symbolic.Compiler |
| compileIO | ZkFold.Symbolic.Compiler |
| composeFunctions | ZkFold.Base.Algebra.Basic.VectorSpace |
| compress | ZkFold.Base.Algebra.EllipticCurve.Class |
| concat | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.ByteString |
| Conditional | ZkFold.Symbolic.Data.Conditional |
| ConsExtra | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| ConsLookup | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| ConsPlonk | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| Const | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Class |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| constant | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
| Constraint | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| constraint | ZkFold.Symbolic.MonadCircuit |
| ConstVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| Context | ZkFold.Symbolic.Data.Class |
| coprimes | ZkFold.Symbolic.Data.FFA |
| coprimesDownFrom | ZkFold.Symbolic.Data.FFA |
| CoreFunction | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| createRangeConstraint | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance |
| curryV | ZkFold.Base.Algebra.Basic.VectorSpace |
| cX | ZkFold.Base.Protocol.Plonkup.Testing |
| c_xi | ZkFold.Base.Protocol.Plonkup.Proof |
| decider | ZkFold.Base.Protocol.Protostar.AccumulatorScheme |
| decompress | ZkFold.Base.Algebra.EllipticCurve.Class |
| deg | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
| 2 (Function) | ZkFold.Base.Protocol.Protostar.AlgebraicMap |
| Degree | ZkFold.Base.Protocol.Protostar.AlgebraicMap |
| degreeDecomposition | ZkFold.Base.Protocol.Protostar.AlgebraicMap |
| 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.Protostar.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 |
| emptyByteString | ZkFold.Symbolic.Data.ByteString |
| 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 | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Protostar.FiatShamir |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Protostar.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 |
| Fp | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Pasta |
| 2 (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 |
| fX | ZkFold.Base.Protocol.Plonkup.Testing |
| f_xi | ZkFold.Base.Protocol.Plonkup.Proof |
| gamma | ZkFold.Base.Protocol.Plonkup.Testing |
| gcdM | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| gen | ZkFold.Base.Algebra.EllipticCurve.Class |
| genericDft | ZkFold.Base.Algebra.Basic.DFT |
| genSubset | ZkFold.Prelude |
| 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 |
| gif | ZkFold.Symbolic.Data.Conditional |
| grandProduct1 | ZkFold.Base.Protocol.Plonkup.Testing |
| 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.Protostar.Commit |
| gs | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
| 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 | ZkFold.Symbolic.Algorithms.Hash.MiMC |
| HaskellCore | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| hcommit | ZkFold.Base.Protocol.Protostar.Commit |
| head | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.List |
| HFunctor | ZkFold.Base.Data.HFunctor |
| 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.Protostar.Commit |
| horner | ZkFold.Symbolic.Data.Combinators |
| hornerW | ZkFold.Symbolic.Data.Combinators |
| hpair | ZkFold.Base.Control.HApplicative |
| hpure | ZkFold.Base.Control.HApplicative |
| hunit | ZkFold.Base.Control.HApplicative |
| idCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| IndexPartition | ZkFold.Base.Algebra.Basic.Permutations |
| IndexSet | ZkFold.Base.Algebra.Basic.Permutations |
| indexV | ZkFold.Base.Algebra.Basic.VectorSpace |
| indexW | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| Inf | ZkFold.Base.Algebra.EllipticCurve.Class |
| inf | ZkFold.Base.Algebra.EllipticCurve.Class |
| InfCompressed | ZkFold.Base.Algebra.EllipticCurve.Class |
| initialHashes | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| Input | |
| 1 (Type/Class) | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof, ZkFold.Base.Protocol.NonInteractiveProof |
| 2 (Type/Class) | ZkFold.Base.Protocol.Protostar.SpecialSound |
| InputSpace | ZkFold.Base.Algebra.Basic.VectorSpace |
| instanceProof | ZkFold.Base.Protocol.Protostar.NARK |
| InstanceProofPair | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Protostar.NARK |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Protostar.NARK |
| 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.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 |
| 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 |
| ivcAcc | ZkFold.Base.Protocol.Protostar.IVC |
| ivcAcc' | ZkFold.Base.Protocol.Protostar.IVC |
| ivcAccProof | ZkFold.Base.Protocol.Protostar.IVC |
| ivcCommits | ZkFold.Base.Protocol.Protostar.IVC |
| ivcInitialize | ZkFold.Base.Protocol.Protostar.IVC |
| ivcInstance | ZkFold.Base.Protocol.Protostar.IVC |
| IVCInstanceProof | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Protostar.IVC |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Protostar.IVC |
| ivcIterate | ZkFold.Base.Protocol.Protostar.IVC |
| ivcVerify | ZkFold.Base.Protocol.Protostar.IVC |
| ivcVerify' | ZkFold.Base.Protocol.Protostar.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 |
| 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 |
| Lexicographical | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.Ord |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.Ord |
| lHash | ZkFold.Symbolic.Data.List |
| List | |
| 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 |
| 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 |
| msm | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| mu | ZkFold.Base.Protocol.Protostar.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.Conditional |
| narkCommits | ZkFold.Base.Protocol.Protostar.NARK |
| NARKProof | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Protostar.NARK |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Protostar.NARK |
| narkWitness | ZkFold.Base.Protocol.Protostar.NARK |
| natPow | ZkFold.Base.Algebra.Basic.Class |
| natScale | ZkFold.Base.Algebra.Basic.Class |
| Natural | ZkFold.Base.Algebra.Basic.Number |
| 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.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 |
| 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 |
| Open | ZkFold.Base.Protocol.Protostar.CommitOpen |
| optimize | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| or | ZkFold.Symbolic.Data.Bool |
| oracle | ZkFold.Base.Protocol.Protostar.Oracle |
| oracle' | ZkFold.Base.Protocol.Protostar.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 |
| outputLength | ZkFold.Base.Protocol.Protostar.SpecialSound |
| 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 |
| padDecomposition | ZkFold.Base.Protocol.Protostar.AlgebraicMap |
| PaddedLength | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| Pairing | ZkFold.Base.Algebra.EllipticCurve.Class |
| pairing | ZkFold.Base.Algebra.EllipticCurve.Class |
| Pallas | ZkFold.Base.Algebra.EllipticCurve.Pasta |
| payloadInput | ZkFold.Base.Protocol.Plonkup.Witness |
| PedersonSetup | ZkFold.Base.Protocol.Protostar.Commit |
| Permutation | ZkFold.Base.Algebra.Basic.Permutations |
| pi | ZkFold.Base.Protocol.Protostar.Accumulator |
| pieces | ZkFold.Symbolic.Data.Class |
| piX | ZkFold.Base.Protocol.Plonkup.Testing |
| 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 | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
| 2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointDouble | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointMul | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointNegate | 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 |
| 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 |
| Proof | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof, ZkFold.Base.Protocol.NonInteractiveProof |
| 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 |
| protostar | ZkFold.Base.Protocol.Protostar.RecursiveCircuit, ZkFold.Base.Protocol.Protostar |
| ProtostarLookup | ZkFold.Base.Protocol.Protostar.Lookup |
| ProtostarLookupParams | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Protostar.Lookup |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Protostar.Lookup |
| 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.Protostar.SpecialSound |
| 2 (Function) | ZkFold.Base.Protocol.Protostar.AccumulatorScheme |
| ProverMessage | ZkFold.Base.Protocol.Protostar.SpecialSound |
| 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.Protostar.Accumulator |
| RandomOracle | ZkFold.Base.Protocol.Protostar.Oracle |
| RandomOracle' | ZkFold.Base.Protocol.Protostar.Oracle |
| rangeConstraint | ZkFold.Symbolic.MonadCircuit |
| readFileJSON | ZkFold.Prelude |
| 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 |
| rounds | ZkFold.Base.Protocol.Protostar.SpecialSound |
| RSA | ZkFold.Symbolic.Algorithms.RSA |
| runHash | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| runInterpreter | ZkFold.Symbolic.Interpreter |
| runInvert | ZkFold.Symbolic.Data.Combinators |
| 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 |
| 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 | ZkFold.Base.Data.Vector |
| 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 |
| solder | ZkFold.Symbolic.Compiler |
| sortByList | ZkFold.Base.Protocol.Plonkup.Utils |
| SpecialSoundProtocol | ZkFold.Base.Protocol.Protostar.SpecialSound |
| splitAt | |
| 1 (Function) | ZkFold.Prelude |
| 2 (Function) | ZkFold.Base.Data.Vector |
| splitExpansion | ZkFold.Symbolic.Data.Combinators |
| StandardEllipticCurve | ZkFold.Base.Algebra.EllipticCurve.Class |
| 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 |
| Structural | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.Eq.Structural |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.Eq.Structural |
| 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 |
| symbolicVF | ZkFold.Symbolic.Class |
| systemReduce | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| SysVar | |
| 1 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| 2 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| t | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Relation |
| 2 (Function) | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| tabulateV | ZkFold.Base.Algebra.Basic.VectorSpace |
| tail | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | 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 |
| 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 | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| 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 |
| value | ZkFold.Base.Algebra.Basic.Number |
| 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 |
| 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.Protostar.SpecialSound |
| 2 (Function) | ZkFold.Base.Protocol.Protostar.AccumulatorScheme |
| VerifierMessage | ZkFold.Base.Protocol.Protostar.SpecialSound |
| VerifierOutput | ZkFold.Base.Protocol.Protostar.SpecialSound |
| 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 |
| Vesta | ZkFold.Base.Algebra.EllipticCurve.Pasta |
| vtoVector | ZkFold.Base.Data.Vector |
| w | ZkFold.Base.Protocol.Protostar.Accumulator |
| w1 | ZkFold.Base.Protocol.Plonkup.Testing |
| w2 | ZkFold.Base.Protocol.Plonkup.Testing |
| w3 | ZkFold.Base.Protocol.Plonkup.Testing |
| 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.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof, ZkFold.Base.Protocol.NonInteractiveProof |
| 2 (Type/Class) | ZkFold.Symbolic.MonadCircuit |
| 3 (Type/Class) | ZkFold.Base.Protocol.Protostar.SpecialSound |
| 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 |
| 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.Protostar.Accumulator |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| 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 |
| 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 |
| _c | ZkFold.Base.Protocol.Protostar.Accumulator |
| _e | ZkFold.Base.Protocol.Protostar.Accumulator |
| _mu | ZkFold.Base.Protocol.Protostar.Accumulator |
| _pi | ZkFold.Base.Protocol.Protostar.Accumulator |
| _r | ZkFold.Base.Protocol.Protostar.Accumulator |
| _w | ZkFold.Base.Protocol.Protostar.Accumulator |
| _x | |
| 1 (Function) | ZkFold.Base.Protocol.Protostar.Accumulator |
| 2 (Function) | ZkFold.Base.Algebra.EllipticCurve.Class |
| _y | ZkFold.Base.Algebra.EllipticCurve.Class |
| || | ZkFold.Symbolic.Data.Bool |