| ! | ZkFold.Prelude |
| !! | ZkFold.Prelude |
| && | ZkFold.Symbolic.Data.Bool |
| * | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
| 2 (Function) | ZkFold.Base.Algebra.Basic.Class |
| + | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
| 2 (Function) | ZkFold.Base.Algebra.Basic.Class |
| - | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
| 2 (Function) | ZkFold.Base.Algebra.Basic.Class |
| -! | ZkFold.Base.Algebra.Basic.Class |
| .* | |
| 1 (Function) | ZkFold.Base.Data.Matrix |
| 2 (Function) | ZkFold.Base.Data.Sparse.Vector |
| .*. | ZkFold.Base.Data.Matrix |
| .+ | ZkFold.Base.Data.Sparse.Vector |
| .- | ZkFold.Base.Data.Sparse.Vector |
| ./ | ZkFold.Base.Data.Sparse.Vector |
| / | 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 |
| acAdd25519 | ZkFold.Symbolic.Data.Ed25519 |
| accChallenges | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| accCommits | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| accError | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| accMessages | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| accMu | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| accPublicInput | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| Accumulator | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| AccumulatorInstance | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| AccumulatorWitness | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| acDouble25519 | ZkFold.Symbolic.Data.Ed25519 |
| acInput | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| acOutput | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acPrint | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acRNG | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| acSizeM | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acSizeN | 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 |
| acVarOrder | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acWitness | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| add | ZkFold.Base.Algebra.EllipticCurve.Class |
| addEval | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| addEval' | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| AddField | ZkFold.Symbolic.Cardano.UPLC.Builtins |
| AdditiveGroup | ZkFold.Base.Algebra.Basic.Class |
| AdditiveMonoid | ZkFold.Base.Algebra.Basic.Class |
| AdditiveSemigroup | ZkFold.Base.Algebra.Basic.Class |
| addPoints | ZkFold.Base.Algebra.EllipticCurve.Class |
| addPoly | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| addPower | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| addPublicInput | ZkFold.Base.Protocol.ARK.Plonk.Internal |
| Address | |
| 1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
| 2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
| addSimilar | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| addSPolyStep | ZkFold.Symbolic.GroebnerBasis.Internal |
| addV | ZkFold.Base.Algebra.Basic.VectorSpace |
| addVariable | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| Algebra | ZkFold.Base.Algebra.Basic.Class |
| AlgorithmSetup | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| all | ZkFold.Symbolic.Data.Bool |
| all1 | ZkFold.Symbolic.Data.Bool |
| any | ZkFold.Symbolic.Data.Bool |
| AnyBuiltinType | ZkFold.Symbolic.Cardano.UPLC.Type |
| AnyType | ZkFold.Symbolic.Cardano.UPLC.Type |
| Apply | ZkFold.Symbolic.Cardano.UPLC.Term |
| apply | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| applyArgs | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| applyPermutation | ZkFold.Base.Algebra.Basic.Permutations |
| ArgList | ZkFold.Symbolic.Cardano.UPLC |
| ArgListCons | ZkFold.Symbolic.Cardano.UPLC |
| ArgListEmpty | ZkFold.Symbolic.Cardano.UPLC |
| Arithmetic | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
| ArithmeticCircuit | |
| 1 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| Arithmetizable | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
| arithmetize | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
| assert | ZkFold.Prelude |
| assignment | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| BaseField | ZkFold.Base.Algebra.EllipticCurve.Class |
| Basis | ZkFold.Base.Algebra.Basic.VectorSpace |
| basisV | ZkFold.Base.Algebra.Basic.VectorSpace |
| batchTransfer | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
| Binary | ZkFold.Base.Data.ByteString |
| BinaryExpansion | ZkFold.Base.Algebra.Basic.Class |
| binaryExpansion | ZkFold.Base.Algebra.Basic.Class |
| 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 |
| Bool | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.Bool |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.Bool |
| bool | ZkFold.Symbolic.Data.Conditional |
| boolCheckC | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators |
| Boolean | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| BoolType | ZkFold.Symbolic.Data.Bool |
| Bound | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| boundVariables | ZkFold.Symbolic.GroebnerBasis |
| Builtin | ZkFold.Symbolic.Cardano.UPLC.Term |
| builtinFunctionRep | ZkFold.Symbolic.Cardano.UPLC.Builtins |
| BuiltinFunctions | ZkFold.Symbolic.Cardano.UPLC.Builtins |
| builtinFunctionType | ZkFold.Symbolic.Cardano.UPLC.Builtins |
| ByteString | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.ByteString |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.ByteString |
| castBits | ZkFold.Base.Algebra.Basic.Class |
| castPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
| challenge | ZkFold.Base.Protocol.NonInteractiveProof |
| challenges | ZkFold.Base.Protocol.NonInteractiveProof |
| checkCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| checkClosedCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| checkLTSimple | ZkFold.Symbolic.GroebnerBasis.Internal |
| checkVarUnique | ZkFold.Symbolic.GroebnerBasis.Internal |
| chooseNatural | ZkFold.Prelude |
| ChunkSize | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| circuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
| circuitGE | ZkFold.Symbolic.Data.Ord |
| circuitGT | ZkFold.Symbolic.Data.Ord |
| circuits | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
| ClosedPoly | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
| cmQc | ZkFold.Base.Protocol.ARK.Plonk |
| cmQl | ZkFold.Base.Protocol.ARK.Plonk |
| cmQm | ZkFold.Base.Protocol.ARK.Plonk |
| cmQo | ZkFold.Base.Protocol.ARK.Plonk |
| cmQr | ZkFold.Base.Protocol.ARK.Plonk |
| cmS1 | ZkFold.Base.Protocol.ARK.Plonk |
| cmS2 | ZkFold.Base.Protocol.ARK.Plonk |
| cmS3 | ZkFold.Base.Protocol.ARK.Plonk |
| com | ZkFold.Base.Protocol.Commitment.KZG |
| Commit | ZkFold.Base.Protocol.ARK.Protostar.CommitOpen |
| CommitOpen | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.CommitOpen |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.CommitOpen |
| CommitOpenProverMessage | ZkFold.Base.Protocol.ARK.Protostar.CommitOpen |
| commits | ZkFold.Base.Protocol.ARK.Protostar.CommitOpen |
| compile | ZkFold.Symbolic.Compiler |
| compileIO | ZkFold.Symbolic.Compiler |
| composeFunctions | ZkFold.Base.Algebra.Basic.VectorSpace |
| Concat | ZkFold.Symbolic.Data.ByteString |
| concat | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.ByteString |
| Conditional | ZkFold.Symbolic.Data.Conditional |
| Constant | ZkFold.Symbolic.Cardano.UPLC.Term |
| Constraint | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| constraint | |
| 1 (Function) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| 2 (Function) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
| ConstraintMonomial | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| curryV | ZkFold.Base.Algebra.Basic.VectorSpace |
| DatumHash | |
| 1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
| 2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
| deg | ZkFold.Base.Algebra.Polynomials.Univariate |
| Degree | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
| Delay | ZkFold.Symbolic.Cardano.UPLC.Term |
| Dimension | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
| DiscreteField | ZkFold.Symbolic.Data.DiscreteField |
| DiscreteField' | ZkFold.Base.Algebra.Basic.Class |
| div | ZkFold.Base.Algebra.Basic.Class |
| dividable | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| divideM | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| divMod | ZkFold.Base.Algebra.Basic.Class |
| dotV | ZkFold.Base.Algebra.Basic.VectorSpace |
| doubleEval | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| drop | ZkFold.Prelude |
| 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 |
| edToZp | ZkFold.Symbolic.Data.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.Compiler.ArithmeticCircuit.Combinators |
| Eq | ZkFold.Symbolic.Data.Eq |
| equal | ZkFold.Base.Algebra.Basic.Class |
| Error | ZkFold.Symbolic.Cardano.UPLC.Term |
| EuclideanDomain | ZkFold.Base.Algebra.Basic.Class |
| eval | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| evalMapM | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| evalPolynomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| evalPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
| evalVectorM | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| expansion | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators |
| 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 |
| Extend | ZkFold.Symbolic.Data.Combinators |
| extend | ZkFold.Symbolic.Data.Combinators |
| F | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk.Internal |
| 2 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
| false | ZkFold.Symbolic.Data.Bool |
| Field | ZkFold.Base.Algebra.Basic.Class |
| Find | ZkFold.Base.Data.Type |
| findLambda | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
| findTermType | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
| 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 |
| Force | ZkFold.Symbolic.Cardano.UPLC.Term |
| forceZero | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| Fq | 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 |
| Fr | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| Free | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| from | ZkFold.Symbolic.Data.Combinators |
| fromBinary | ZkFold.Base.Algebra.Basic.Class |
| fromBits | ZkFold.Symbolic.Data.Combinators |
| fromByteString | ZkFold.Base.Data.ByteString |
| FromConstant | ZkFold.Base.Algebra.Basic.Class |
| fromConstant | ZkFold.Base.Algebra.Basic.Class |
| fromCycles | ZkFold.Base.Algebra.Basic.Permutations |
| fromMatrix | ZkFold.Base.Data.Matrix |
| fromPermutation | ZkFold.Base.Algebra.Basic.Permutations |
| fromPlonkConstraint | ZkFold.Base.Protocol.ARK.Plonk.Internal |
| 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 |
| fromTranscript | ZkFold.Base.Protocol.NonInteractiveProof |
| FromUPLC | ZkFold.Symbolic.Cardano.UPLC |
| fromUPLC | ZkFold.Symbolic.Cardano.UPLC |
| fromVector | ZkFold.Base.Data.Vector |
| fromZp | ZkFold.Base.Algebra.Basic.Field |
| fullReduceMany | ZkFold.Symbolic.GroebnerBasis.Internal.Reduction, ZkFold.Symbolic.GroebnerBasis |
| FunctionSpace | ZkFold.Base.Algebra.Basic.VectorSpace |
| functionToData | ZkFold.Symbolic.Cardano.UPLC.Type |
| G1 | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk.Internal |
| 2 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
| G2 | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk.Internal |
| 2 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
| gcdM | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| gen | ZkFold.Base.Algebra.EllipticCurve.Class |
| genericDft | ZkFold.Base.Algebra.Basic.DFT |
| get | ZkFold.Base.Data.ByteString |
| getBitsBE | ZkFold.Symbolic.Data.Ord |
| getNatural | ZkFold.Symbolic.Data.Combinators |
| getParams | ZkFold.Base.Protocol.ARK.Plonk.Internal |
| getPoly | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| getPower | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| getType | ZkFold.Symbolic.Cardano.UPLC.Type |
| getVarType | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| getWord8 | ZkFold.Base.Data.ByteString |
| gif | ZkFold.Symbolic.Data.Conditional |
| groebner | ZkFold.Symbolic.GroebnerBasis |
| groebnerStep | ZkFold.Symbolic.GroebnerBasis.Internal, ZkFold.Symbolic.GroebnerBasis |
| groebnerStepMax | ZkFold.Symbolic.GroebnerBasis |
| gs | ZkFold.Base.Protocol.ARK.Plonk |
| h0 | ZkFold.Base.Protocol.ARK.Plonk |
| h1 | ZkFold.Base.Protocol.ARK.Plonk |
| Hash | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
| hash | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
| highRegisterBits | ZkFold.Symbolic.Data.Combinators |
| highRegisterSize | ZkFold.Symbolic.Data.Combinators |
| horner | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators |
| I | ZkFold.Symbolic.Types |
| IndexPartition | ZkFold.Base.Algebra.Basic.Permutations |
| IndexSet | ZkFold.Base.Algebra.Basic.Permutations |
| indexV | ZkFold.Base.Algebra.Basic.VectorSpace |
| Inf | ZkFold.Base.Algebra.EllipticCurve.Class |
| inf | ZkFold.Base.Algebra.EllipticCurve.Class |
| inferSuccess | ZkFold.Symbolic.Cardano.UPLC.Inference |
| inferType | ZkFold.Symbolic.Cardano.UPLC.Inference |
| inferTypes | ZkFold.Symbolic.Cardano.UPLC.Inference |
| initialHashes | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| Input | |
| 1 (Type/Class) | ZkFold.Base.Protocol.NonInteractiveProof |
| 2 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
| 3 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
| 4 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
| input | |
| 1 (Function) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| 2 (Function) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
| inputSize | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
| InputSpace | ZkFold.Base.Algebra.Basic.VectorSpace |
| intPow | ZkFold.Base.Algebra.Basic.Class |
| intPowF | ZkFold.Base.Algebra.Basic.Class |
| intScale | ZkFold.Base.Algebra.Basic.Class |
| invert | ZkFold.Base.Algebra.Basic.Class |
| invertC | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators |
| 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 |
| Iso | ZkFold.Symbolic.Data.Combinators |
| IsPrime | ZkFold.Base.Algebra.Basic.Number |
| isZero | ZkFold.Symbolic.Data.DiscreteField |
| isZeroC | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators |
| k1 | ZkFold.Base.Protocol.ARK.Plonk |
| k2 | ZkFold.Base.Protocol.ARK.Plonk |
| KnownNat | ZkFold.Base.Algebra.Basic.Number |
| KnownPrime | ZkFold.Base.Algebra.Basic.Number |
| KZG | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Commitment.KZG |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Commitment.KZG |
| LamAbs | ZkFold.Symbolic.Cardano.UPLC.Term |
| lcmM | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| length | ZkFold.Prelude |
| Lexicographical | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.Ord |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.Ord |
| LittleEndian | |
| 1 (Type/Class) | ZkFold.Base.Data.ByteString |
| 2 (Data Constructor) | ZkFold.Base.Data.ByteString |
| Log2 | ZkFold.Base.Algebra.Basic.Number |
| log2 | ZkFold.Symbolic.Data.Combinators |
| lt | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
| 2 (Function) | ZkFold.Symbolic.GroebnerBasis.Internal.Types, ZkFold.Symbolic.GroebnerBasis |
| lv | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| M | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Data Constructor) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 3 (Data Constructor) | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| makeSPoly | ZkFold.Symbolic.GroebnerBasis.Internal, ZkFold.Symbolic.GroebnerBasis |
| makeTermList | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
| makeTheorem | ZkFold.Symbolic.GroebnerBasis |
| makeTypeList | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
| mapCoeffs | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 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 |
| mapVarWitness | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Map, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| 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 |
| maxBitsPerFieldElement | ZkFold.Symbolic.Data.Combinators |
| maxBitsPerRegister | ZkFold.Symbolic.Data.Combinators |
| maxOverflow | ZkFold.Symbolic.Data.Combinators |
| miller | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| miller' | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| mimcConstants | ZkFold.Symbolic.Algorithms.Hash.MiMC.Constants |
| mimcHash | ZkFold.Symbolic.Algorithms.Hash.MiMC |
| min | ZkFold.Symbolic.Data.Ord |
| minNumberOfRegisters | ZkFold.Symbolic.Data.Combinators |
| mkIndexPartition | ZkFold.Base.Algebra.Basic.Permutations |
| mod | ZkFold.Base.Algebra.Basic.Class |
| MonadBlueprint | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
| Monom | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| Monomial | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Type/Class) | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
| monomial | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Function) | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
| Monomial' | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| MonomialAny | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| MonomialBoundedDegree | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| MonomialPorotostar | ZkFold.Base.Protocol.ARK.Protostar.Internal |
| MonomialRepAny | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| MonomialRepBoundedDegree | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mul | ZkFold.Base.Algebra.EllipticCurve.Class |
| mulDft | ZkFold.Base.Algebra.Polynomials.Univariate |
| MulField | ZkFold.Symbolic.Cardano.UPLC.Builtins |
| mulKaratsuba | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulM | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| mulMono | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| mulPM | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| 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 |
| narkCommits | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| NARKInstance | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| narkMessages | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| NARKPair | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| narkPublicInput | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| NARKWitness | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| natPow | ZkFold.Base.Algebra.Basic.Class |
| natScale | ZkFold.Base.Algebra.Basic.Class |
| negate | ZkFold.Base.Algebra.Basic.Class |
| negateV | ZkFold.Base.Algebra.Basic.VectorSpace |
| newAssigned | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
| newConstrained | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
| NewConstraint | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
| newTranscript | ZkFold.Base.Protocol.NonInteractiveProof |
| newVariableWithSource | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| NonInteractiveProof | 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 |
| NoType | ZkFold.Symbolic.Cardano.UPLC.Type |
| NumberOfBits | ZkFold.Base.Algebra.Basic.Class |
| numberOfBits | ZkFold.Base.Algebra.Basic.Class |
| numberOfRegisters | ZkFold.Symbolic.Data.Combinators |
| omega | ZkFold.Base.Protocol.ARK.Plonk |
| one | ZkFold.Base.Algebra.Basic.Class |
| oneV | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| Open | ZkFold.Base.Protocol.ARK.Protostar.CommitOpen |
| opening | ZkFold.Base.Protocol.ARK.Protostar.CommitOpen |
| optimize | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| Ord | ZkFold.Symbolic.Data.Ord |
| Order | ZkFold.Base.Algebra.Basic.Class |
| order | ZkFold.Base.Algebra.Basic.Class |
| outer | ZkFold.Base.Data.Matrix |
| Output | |
| 1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
| 2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
| output | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
| OutputRef | |
| 1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
| 2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
| outputSize | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
| OutputSpace | ZkFold.Base.Algebra.Basic.VectorSpace |
| P | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| padBits | ZkFold.Base.Algebra.Basic.Class |
| Pairing | ZkFold.Base.Algebra.EllipticCurve.Class |
| pairing | ZkFold.Base.Algebra.EllipticCurve.Class |
| pairingBLS | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| paymentCredential | ZkFold.Symbolic.Cardano.Types |
| Permutation | ZkFold.Base.Algebra.Basic.Permutations |
| pieces | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
| Plonk | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
| PlonkCircuitCommitments | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
| PlonkCircuitPolynomials | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
| PlonkInput | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
| PlonkMaxPolyDegree | ZkFold.Base.Protocol.ARK.Plonk |
| PlonkPermutation | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
| PlonkPermutationSize | ZkFold.Base.Protocol.ARK.Plonk |
| PlonkPolyExtended | ZkFold.Base.Protocol.ARK.Plonk |
| PlonkProof | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
| PlonkProverSecret | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
| PlonkSetupParams | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
| PlonkWitnessInput | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
| PlonkWitnessMap | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
| PlutusBuiltinFunction | ZkFold.Symbolic.Cardano.UPLC.Builtins |
| Point | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
| 2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointAdd | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointDouble | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointMul | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointNegate | ZkFold.Base.Algebra.EllipticCurve.Class |
| Poly | ZkFold.Base.Algebra.Polynomials.Univariate |
| Polynom | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| Polynomial | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Type/Class) | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
| polynomial | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Function) | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
| Polynomial' | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| PolynomialAny | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| PolynomialBoundedDegree | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| PolynomialProtostar | ZkFold.Base.Protocol.ARK.Protostar.Internal |
| PolynomialRepAny | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| PolynomialRepBoundedDegree | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| PolyVec | 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 |
| pow' | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| Prime | ZkFold.Base.Algebra.Basic.Number |
| PrimeField | ZkFold.Base.Algebra.Basic.Class |
| product | ZkFold.Base.Algebra.Basic.Class |
| product1 | ZkFold.Base.Algebra.Basic.Class |
| Proof | ZkFold.Base.Protocol.NonInteractiveProof |
| ProtostarGate | ZkFold.Base.Protocol.ARK.Protostar.Gate |
| ProtostarLookup | ZkFold.Base.Protocol.ARK.Protostar.Lookup |
| ProtostarLookupParams | |
| 1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Lookup |
| 2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Lookup |
| ProtostarPermutation | ZkFold.Base.Protocol.ARK.Protostar.Permutation |
| prove | ZkFold.Base.Protocol.NonInteractiveProof |
| proveAPI | ZkFold.Base.Protocol.NonInteractiveProof |
| ProveAPIErrorSetup | ZkFold.Base.Protocol.NonInteractiveProof |
| ProveAPIErrorWitness | ZkFold.Base.Protocol.NonInteractiveProof |
| ProveAPIResult | ZkFold.Base.Protocol.NonInteractiveProof |
| ProveAPISuccess | ZkFold.Base.Protocol.NonInteractiveProof |
| provePolyVecEval | ZkFold.Base.Protocol.Commitment.KZG |
| prover | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
| ProverMessage | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
| 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.ARK.Plonk |
| ql | ZkFold.Base.Protocol.ARK.Plonk |
| qm | ZkFold.Base.Protocol.ARK.Plonk |
| qo | ZkFold.Base.Protocol.ARK.Plonk |
| qr | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
| 2 (Function) | ZkFold.Base.Protocol.ARK.Plonk |
| readFileJSON | ZkFold.Prelude |
| reducable | ZkFold.Symbolic.GroebnerBasis.Internal.Reduction |
| reduce | ZkFold.Symbolic.GroebnerBasis.Internal.Reduction |
| reduceMany | ZkFold.Symbolic.GroebnerBasis.Internal.Reduction |
| registerSize | ZkFold.Symbolic.Data.Combinators |
| removeConstantVariable | ZkFold.Base.Protocol.ARK.Plonk.Internal |
| 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 |
| restore | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
| ResultSize | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| rewrapPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
| Ring | ZkFold.Base.Algebra.Basic.Class |
| rootOfUnity | ZkFold.Base.Algebra.Basic.Class |
| rotateBits | ZkFold.Symbolic.Data.ByteString |
| rotateBitsL | ZkFold.Symbolic.Data.ByteString |
| rotateBitsR | ZkFold.Symbolic.Data.ByteString |
| roundConstants | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| rounds | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
| runCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
| runRepresentably | ZkFold.Base.Algebra.Basic.VectorSpace |
| runSources | ZkFold.Base.Algebra.Basic.Sources |
| runWitness | ZkFold.Base.Protocol.Commitment.KZG |
| s1 | ZkFold.Base.Protocol.ARK.Plonk |
| s2 | ZkFold.Base.Protocol.ARK.Plonk |
| s3 | ZkFold.Base.Protocol.ARK.Plonk |
| ScalarField | ZkFold.Base.Algebra.EllipticCurve.Class |
| Scale | ZkFold.Base.Algebra.Basic.Class |
| scale | ZkFold.Base.Algebra.Basic.Class |
| scaleP | ZkFold.Base.Algebra.Polynomials.Univariate |
| scalePV | ZkFold.Base.Algebra.Polynomials.Univariate |
| scaleV | ZkFold.Base.Algebra.Basic.VectorSpace |
| ScriptHash | |
| 1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
| 2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
| Semiring | ZkFold.Base.Algebra.Basic.Class |
| setPower | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| Setup | ZkFold.Base.Protocol.NonInteractiveProof |
| setup | 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 |
| ShiftBits | ZkFold.Symbolic.Data.ByteString |
| shiftBits | ZkFold.Symbolic.Data.ByteString |
| shiftBitsL | ZkFold.Symbolic.Data.ByteString |
| shiftBitsR | ZkFold.Symbolic.Data.ByteString |
| Shrink | ZkFold.Symbolic.Data.Combinators |
| shrink | ZkFold.Symbolic.Data.Combinators |
| Sig | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
| sigma1 | ZkFold.Base.Protocol.ARK.Plonk |
| sigma2 | ZkFold.Base.Protocol.ARK.Plonk |
| sigma3 | ZkFold.Base.Protocol.ARK.Plonk |
| sigmaShifts | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| similarM | ZkFold.Symbolic.GroebnerBasis.Internal.Types, ZkFold.Symbolic.GroebnerBasis |
| SMatrix | |
| 1 (Type/Class) | ZkFold.Base.Data.Sparse.Matrix |
| 2 (Data Constructor) | ZkFold.Base.Data.Sparse.Matrix |
| SomeArith | ZkFold.Symbolic.Cardano.UPLC.Type |
| SomeArithmetizable | |
| 1 (Type/Class) | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
| SomeData | |
| 1 (Type/Class) | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
| 3 (Data Constructor) | ZkFold.Symbolic.Cardano.UPLC.Type |
| SomeFunction | ZkFold.Symbolic.Cardano.UPLC.Type |
| SomeSym | ZkFold.Symbolic.Cardano.UPLC.Type |
| SomeSymbolic | ZkFold.Symbolic.Cardano.UPLC.Type |
| SomeType | ZkFold.Symbolic.Cardano.UPLC.Type |
| Sources | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Sources |
| 2 (Data Constructor) | ZkFold.Base.Algebra.Basic.Sources |
| SpecialSoundProtocol | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
| SpecialSoundTranscript | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
| splitAt | ZkFold.Prelude |
| splitExpansion | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators |
| 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 |
| subPower | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| 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 |
| SVector | |
| 1 (Type/Class) | ZkFold.Base.Data.Sparse.Vector |
| 2 (Data Constructor) | ZkFold.Base.Data.Sparse.Vector |
| Symbolic | ZkFold.Symbolic.Types |
| SymbolicData | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
| symToSym | ZkFold.Symbolic.Cardano.UPLC.Type |
| systemReduce | ZkFold.Symbolic.GroebnerBasis.Internal.Reduction |
| tabulateV | ZkFold.Base.Algebra.Basic.VectorSpace |
| take | ZkFold.Prelude |
| Term | ZkFold.Symbolic.Cardano.UPLC.Term |
| testVector | ZkFold.Base.Protocol.NonInteractiveProof |
| toAccumulator | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| toAccumulatorInstance | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| toAccumulatorWitness | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
| toBits | ZkFold.Symbolic.Data.Combinators |
| toByteString | ZkFold.Base.Data.ByteString |
| ToConstant | ZkFold.Base.Algebra.Basic.Class |
| toConstant | ZkFold.Base.Algebra.Basic.Class, ZkFold.Symbolic.Data.UInt |
| toMatrix | ZkFold.Base.Data.Matrix |
| toPlonkArithmetization | ZkFold.Base.Protocol.ARK.Plonk.Internal |
| toPlonkConstraint | ZkFold.Base.Protocol.ARK.Plonk.Internal |
| toPoly | ZkFold.Base.Algebra.Polynomials.Univariate |
| toPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
| ToTranscript | ZkFold.Base.Protocol.NonInteractiveProof |
| toTranscript | ZkFold.Base.Protocol.NonInteractiveProof |
| toVector | ZkFold.Base.Data.Vector |
| ToWords | ZkFold.Symbolic.Data.ByteString |
| toWords | ZkFold.Symbolic.Data.ByteString |
| toZp | ZkFold.Base.Algebra.Basic.Field |
| Transaction | |
| 1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
| 2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
| Transcript | ZkFold.Base.Protocol.NonInteractiveProof |
| transcript | ZkFold.Base.Protocol.NonInteractiveProof |
| transpose | ZkFold.Base.Data.Matrix |
| trichotomy | ZkFold.Base.Algebra.Basic.Class |
| TrichotomyField | ZkFold.Base.Algebra.Basic.Class |
| trimSystem | ZkFold.Symbolic.GroebnerBasis.Internal |
| true | ZkFold.Symbolic.Data.Bool |
| Truncate | ZkFold.Symbolic.Data.ByteString |
| truncate | ZkFold.Symbolic.Data.ByteString |
| truncateResult | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| Tx | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
| TxId | |
| 1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
| 2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
| txiDatumHash | ZkFold.Symbolic.Cardano.Types |
| TxIn | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
| txInputs | ZkFold.Symbolic.Cardano.Types |
| txiOutput | ZkFold.Symbolic.Cardano.Types |
| txoAddress | ZkFold.Symbolic.Cardano.Types |
| txoDatumHash | ZkFold.Symbolic.Cardano.Types |
| TxOut | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
| txOutputs | ZkFold.Symbolic.Cardano.Types |
| TypeList | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
| typeSize | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
| UInt | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.UInt |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.UInt |
| uncurryV | ZkFold.Base.Algebra.Basic.VectorSpace |
| unLittleEndian | ZkFold.Base.Data.ByteString |
| untwist | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| updateTermType | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
| updateTypeList | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
| UTCTime | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.UTCTime |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.UTCTime |
| Value | |
| 1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
| 2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
| value | ZkFold.Base.Algebra.Basic.Number |
| Var | |
| 1 (Data Constructor) | ZkFold.Symbolic.Cardano.UPLC.Term |
| 2 (Type/Class) | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| var | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| Variable | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Type/Class) | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
| variable | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
| variables | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| variableTypes | ZkFold.Symbolic.GroebnerBasis |
| varIsMissing | ZkFold.Symbolic.GroebnerBasis.Internal |
| varNumber | ZkFold.Symbolic.GroebnerBasis.Internal |
| VarType | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| VarTypeBoolean | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| VarTypeBound | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| VarTypeFree | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| 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 | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
| verifier' | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
| VerifierMessage | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
| verify | |
| 1 (Function) | ZkFold.Base.Protocol.NonInteractiveProof |
| 2 (Function) | ZkFold.Symbolic.GroebnerBasis |
| verifySignature | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
| Witness | |
| 1 (Type/Class) | ZkFold.Base.Protocol.NonInteractiveProof |
| 2 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
| 3 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
| WitnessField | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
| WitnessKZG | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Commitment.KZG |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Commitment.KZG |
| word32RoundConstants | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
| word64RoundConstants | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
| WordSize | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| writeFileJSON | ZkFold.Prelude |
| xor | ZkFold.Symbolic.Data.Bool |
| zero | ZkFold.Base.Algebra.Basic.Class |
| zeroM | ZkFold.Symbolic.GroebnerBasis.Internal.Types, ZkFold.Symbolic.GroebnerBasis |
| zeroP | ZkFold.Symbolic.GroebnerBasis.Internal.Types, ZkFold.Symbolic.GroebnerBasis |
| zeroV | ZkFold.Base.Algebra.Basic.VectorSpace |
| zipWithDefault | ZkFold.Prelude |
| zipWithV | ZkFold.Base.Algebra.Basic.VectorSpace |
| Zp | ZkFold.Base.Algebra.Basic.Field |
| zpToEd | ZkFold.Symbolic.Data.Ed25519 |
| ^ | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
| 2 (Function) | ZkFold.Base.Algebra.Basic.Class |
| _x | ZkFold.Base.Algebra.EllipticCurve.Class |
| _y | ZkFold.Base.Algebra.EllipticCurve.Class |
| || | ZkFold.Symbolic.Data.Bool |