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

Index - B

b2b_gZkFold.Symbolic.Algorithms.Hash.Blake2b
BaseField 
1 (Type/Class)ZkFold.Base.Algebra.EllipticCurve.Class
2 (Type/Class)ZkFold.Symbolic.Class, ZkFold.Symbolic.Class
BasisZkFold.Base.Algebra.Basic.VectorSpace
basisVZkFold.Base.Algebra.Basic.VectorSpace
betaZkFold.Base.Protocol.Plonkup.Testing
BigEndian 
1 (Type/Class)ZkFold.Base.Data.ByteString
2 (Data Constructor)ZkFold.Base.Data.ByteString
BinaryZkFold.Base.Data.ByteString
BinaryExpansionZkFold.Base.Algebra.Basic.Class
binaryExpansionZkFold.Base.Algebra.Basic.Class
BitLimitZkFold.Symbolic.Data.Combinators
BitsZkFold.Base.Algebra.Basic.Class
bitsOfZkFold.Symbolic.Data.Combinators
bitwiseGEZkFold.Symbolic.Data.Ord
bitwiseGTZkFold.Symbolic.Data.Ord
blake2bZkFold.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
blake2bDivConstraintZkFold.Symbolic.Algorithms.Hash.Blake2b
blake2b_224ZkFold.Symbolic.Algorithms.Hash.Blake2b
blake2b_256ZkFold.Symbolic.Algorithms.Hash.Blake2b
blake2b_512ZkFold.Symbolic.Algorithms.Hash.Blake2b
blake2b_compressZkFold.Symbolic.Algorithms.Hash.Blake2b
blake2b_ivZkFold.Symbolic.Algorithms.Hash.Blake2b.Constants
BLS12_381_BaseZkFold.Base.Algebra.EllipticCurve.BLS12_381
BLS12_381_G1ZkFold.Base.Algebra.EllipticCurve.BLS12_381
BLS12_381_G2ZkFold.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_ScalarZkFold.Base.Algebra.EllipticCurve.BLS12_381
blueprintGEZkFold.Symbolic.Data.Ord
BN254_BaseZkFold.Base.Algebra.EllipticCurve.BN254
BN254_G1ZkFold.Base.Algebra.EllipticCurve.BN254
BN254_G2ZkFold.Base.Algebra.EllipticCurve.BN254
BN254_GTZkFold.Base.Algebra.EllipticCurve.BN254
BN254_ScalarZkFold.Base.Algebra.EllipticCurve.BN254
Bool 
1 (Type/Class)ZkFold.Symbolic.Data.Bool
2 (Data Constructor)ZkFold.Symbolic.Data.Bool
boolZkFold.Symbolic.Data.Conditional
BoolTypeZkFold.Symbolic.Data.Bool
bParameterZkFold.Base.Algebra.EllipticCurve.Class
bXZkFold.Base.Protocol.Plonkup.Testing
bytesOfZkFold.Base.Algebra.EllipticCurve.BLS12_381
ByteString 
1 (Type/Class)ZkFold.Symbolic.Data.ByteString
2 (Data Constructor)ZkFold.Symbolic.Data.ByteString
b_xiZkFold.Base.Protocol.Plonkup.Proof