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

Index - V

Value 
1 (Type/Class)ZkFold.Symbolic.Cardano.Types
2 (Data Constructor)ZkFold.Symbolic.Cardano.Types
valueZkFold.Base.Algebra.Basic.Number
Var 
1 (Data Constructor)ZkFold.Symbolic.Cardano.UPLC.Term
2 (Type/Class)ZkFold.Symbolic.GroebnerBasis.Internal.Types
varZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate
Variable 
1 (Type/Class)ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate
2 (Type/Class)ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis
variableZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis
variablesZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate
variableTypesZkFold.Symbolic.GroebnerBasis
varIsMissingZkFold.Symbolic.GroebnerBasis.Internal
varNumberZkFold.Symbolic.GroebnerBasis.Internal
VarTypeZkFold.Symbolic.GroebnerBasis.Internal.Types
VarTypeBooleanZkFold.Symbolic.GroebnerBasis.Internal.Types
VarTypeBoundZkFold.Symbolic.GroebnerBasis.Internal.Types
VarTypeFreeZkFold.Symbolic.GroebnerBasis.Internal.Types
vec2polyZkFold.Base.Algebra.Polynomials.Univariate
Vector 
1 (Type/Class)ZkFold.Base.Data.Vector
2 (Data Constructor)ZkFold.Base.Data.Vector
vectorDotProductZkFold.Base.Data.Vector
VectorSpaceZkFold.Base.Algebra.Basic.VectorSpace
verifierZkFold.Base.Protocol.ARK.Protostar.SpecialSound
verifier'ZkFold.Base.Protocol.ARK.Protostar.SpecialSound
VerifierMessageZkFold.Base.Protocol.ARK.Protostar.SpecialSound
verify 
1 (Function)ZkFold.Base.Protocol.NonInteractiveProof
2 (Function)ZkFold.Symbolic.GroebnerBasis
verifySignatureZkFold.Symbolic.Cardano.Contracts.BatchTransfer