| BaseField | ZkFold.Symbolic.Class |
| BaseFieldOf | ZkFold.Base.Algebra.EllipticCurve.Class |
| Basis | ZkFold.Base.Algebra.Basic.VectorSpace |
| basisV | ZkFold.Base.Algebra.Basic.VectorSpace |
| berlekamp | ZkFold.Base.Algorithm.ReedSolomon |
| beta | ZkFold.Base.Protocol.Plonkup.Testing |
| BezoutL | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| bezoutL | ZkFold.Base.Algebra.Basic.Class |
| BezoutR | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| bezoutR | ZkFold.Base.Algebra.Basic.Class |
| BigEndian | |
| 1 (Type/Class) | ZkFold.Base.Data.ByteString |
| 2 (Data Constructor) | ZkFold.Base.Data.ByteString |
| Binary | ZkFold.Base.Data.ByteString |
| Binary1 | 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 |
| blake2b_224 | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| blake2b_256 | ZkFold.Symbolic.Algorithms.Hash.Blake2b |
| blake2b_512 | 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_CompressedPoint | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| BLS12_381_G1_Point | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| 2 (Type/Class) | ZkFold.Symbolic.Data.BLS12_381 |
| BLS12_381_G2_CompressedPoint | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| BLS12_381_G2_Point | 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.UInt |
| BN254_Base | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| BN254_G1_Point | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| BN254_G2_Point | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| BN254_GT | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| BN254_Scalar | ZkFold.Base.Algebra.EllipticCurve.BN254 |
| Bool | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.Bool |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.Bool |
| bool | ZkFold.Symbolic.Data.Conditional |
| BooleanOf | ZkFold.Symbolic.Data.Eq |
| BoolType | ZkFold.Symbolic.Data.Bool |
| bsBuffer | ZkFold.Symbolic.Data.VarByteString |
| bsLength | ZkFold.Symbolic.Data.VarByteString |
| 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 |