symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols (Index - B)

symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols

Index - B

b2b_g	ZkFold.Symbolic.Algorithms.Hash.Blake2b
BaseField
1 (Type/Class)	ZkFold.Base.Algebra.EllipticCurve.Class
2 (Type/Class)	ZkFold.Symbolic.Class, ZkFold.Symbolic.Class
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