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 - E
Ed25519
ZkFold.Base.Algebra.EllipticCurve.Ed25519
ed25519Add
ZkFold.Base.Algebra.EllipticCurve.Ed25519
ed25519Double
ZkFold.Base.Algebra.EllipticCurve.Ed25519
Ed25519_Base
ZkFold.Base.Algebra.EllipticCurve.Ed25519
Ed25519_Scalar
ZkFold.Base.Algebra.EllipticCurve.Ed25519
edToZp
ZkFold.Symbolic.Data.Ed25519
eea
1 (Function)
ZkFold.Base.Algebra.Polynomials.Univariate
2 (Function)
ZkFold.Symbolic.Data.UInt
elem
ZkFold.Symbolic.Data.Eq
elemIndex
ZkFold.Prelude
EllipticCurve
ZkFold.Base.Algebra.EllipticCurve.Class
embed
ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators
Eq
ZkFold.Symbolic.Data.Eq
equal
ZkFold.Base.Algebra.Basic.Class
Error
ZkFold.Symbolic.Cardano.UPLC.Term
EuclideanDomain
ZkFold.Base.Algebra.Basic.Class
eval
ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal
,
ZkFold.Symbolic.Compiler.ArithmeticCircuit
, ZkFold.Symbolic.Compiler
evalMapM
ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial
, ZkFold.Base.Algebra.Polynomials.Multivariate
evalPolynomial
ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial
, ZkFold.Base.Algebra.Polynomials.Multivariate
evalPolyVec
ZkFold.Base.Algebra.Polynomials.Univariate
evalVectorM
ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial
, ZkFold.Base.Algebra.Polynomials.Multivariate
expansion
ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators
Exponent
ZkFold.Base.Algebra.Basic.Class
Ext2
1 (Type/Class)
ZkFold.Base.Algebra.Basic.Field
2 (Data Constructor)
ZkFold.Base.Algebra.Basic.Field
Ext3
1 (Type/Class)
ZkFold.Base.Algebra.Basic.Field
2 (Data Constructor)
ZkFold.Base.Algebra.Basic.Field
Extend
ZkFold.Symbolic.Data.Combinators
extend
ZkFold.Symbolic.Data.Combinators