zkfold-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Quick Jump
Contents
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
!
&
*
+
.
/
<
=
>
?
^
|
-
_
All
Index - V
Value
1 (Type/Class)
ZkFold.Symbolic.Cardano.Types
2 (Data Constructor)
ZkFold.Symbolic.Cardano.Types
value
ZkFold.Base.Algebra.Basic.Number
Var
1 (Data Constructor)
ZkFold.Symbolic.Cardano.UPLC.Term
2 (Type/Class)
ZkFold.Symbolic.GroebnerBasis.Internal.Types
var
ZkFold.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
variable
ZkFold.Symbolic.GroebnerBasis.Types
, ZkFold.Symbolic.GroebnerBasis
variables
ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial
, ZkFold.Base.Algebra.Polynomials.Multivariate
variableTypes
ZkFold.Symbolic.GroebnerBasis
varIsMissing
ZkFold.Symbolic.GroebnerBasis.Internal
varNumber
ZkFold.Symbolic.GroebnerBasis.Internal
VarType
ZkFold.Symbolic.GroebnerBasis.Internal.Types
VarTypeBoolean
ZkFold.Symbolic.GroebnerBasis.Internal.Types
VarTypeBound
ZkFold.Symbolic.GroebnerBasis.Internal.Types
VarTypeFree
ZkFold.Symbolic.GroebnerBasis.Internal.Types
vec2poly
ZkFold.Base.Algebra.Polynomials.Univariate
Vector
1 (Type/Class)
ZkFold.Base.Data.Vector
2 (Data Constructor)
ZkFold.Base.Data.Vector
vectorDotProduct
ZkFold.Base.Data.Vector
VectorSpace
ZkFold.Base.Algebra.Basic.VectorSpace
verifier
ZkFold.Base.Protocol.ARK.Protostar.SpecialSound
verifier'
ZkFold.Base.Protocol.ARK.Protostar.SpecialSound
VerifierMessage
ZkFold.Base.Protocol.ARK.Protostar.SpecialSound
verify
1 (Function)
ZkFold.Base.Protocol.NonInteractiveProof
2 (Function)
ZkFold.Symbolic.GroebnerBasis
verifySignature
ZkFold.Symbolic.Cardano.Contracts.BatchTransfer