| 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 |