| ac | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| 2 (Function) | ZkFold.Base.Protocol.Plonk |
| acc | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| Accumulator | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.Accumulator |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.Accumulator |
| AccumulatorInstance | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.Accumulator |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.Accumulator |
| AccumulatorScheme | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.AccumulatorScheme |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.AccumulatorScheme |
| accumulatorScheme | ZkFold.Base.Protocol.IVC.AccumulatorScheme |
| AcEd25519 | ZkFold.Symbolic.Data.Ed25519 |
| acFold | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| acInput | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acOutput | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acPrint | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acRange | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| acSizeM | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acSizeN | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acSizeR | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acSystem | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acValue | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| acWitness | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| Add | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| add | ZkFold.Base.Algebra.EllipticCurve.Class |
| AdditiveGroup | ZkFold.Base.Algebra.Basic.Class |
| AdditiveMonoid | ZkFold.Base.Algebra.Basic.Class |
| AdditiveSemigroup | ZkFold.Base.Algebra.Basic.Class |
| addPoints | ZkFold.Base.Algebra.EllipticCurve.Class |
| addV | ZkFold.Base.Algebra.Basic.VectorSpace |
| Algebra | ZkFold.Base.Algebra.Basic.Class |
| algebraicMap | ZkFold.Base.Protocol.IVC.AlgebraicMap |
| AlgorithmSetup | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| all | ZkFold.Symbolic.Data.Bool |
| all1 | ZkFold.Symbolic.Data.Bool |
| alpha | ZkFold.Base.Protocol.Plonkup.Testing |
| and | ZkFold.Symbolic.Data.Bool |
| any | ZkFold.Symbolic.Data.Bool |
| append | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.ByteString |
| apply | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| applyPermutation | ZkFold.Base.Algebra.Basic.Permutations |
| arbitrary' | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance |
| Arithmetic | ZkFold.Symbolic.Class, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| ArithmeticCircuit | |
| 1 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| arithmetize | ZkFold.Symbolic.Data.Class |
| assert | ZkFold.Prelude |
| asWords | ZkFold.Symbolic.Data.UInt |
| at | ZkFold.Symbolic.MonadCircuit |
| Auto | ZkFold.Symbolic.Data.Combinators |
| aX | ZkFold.Base.Protocol.Plonkup.Testing |
| a_xi | ZkFold.Base.Protocol.Plonkup.Proof |