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
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
!
&
*
+
.
/
<
=
>
?
^
|
-
_
All
Index - F
F
1 (Type/Class)
ZkFold.Base.Protocol.ARK.Plonk.Internal
2 (Type/Class)
ZkFold.Base.Protocol.ARK.Plonk
false
ZkFold.Symbolic.Data.Bool
Field
ZkFold.Base.Algebra.Basic.Class
Find
ZkFold.Base.Data.Type
findLambda
ZkFold.Symbolic.Cardano.UPLC.Inference.Internal
findTermType
ZkFold.Symbolic.Cardano.UPLC.Inference.Internal
Finite
ZkFold.Base.Algebra.Basic.Class
FiniteAdditiveGroup
ZkFold.Base.Algebra.Basic.Class
FiniteField
ZkFold.Base.Algebra.Basic.Class
FiniteMultiplicativeGroup
ZkFold.Base.Algebra.Basic.Class
finv
ZkFold.Base.Algebra.Basic.Class
Force
ZkFold.Symbolic.Cardano.UPLC.Term
forceZero
ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal
,
ZkFold.Symbolic.Compiler.ArithmeticCircuit
, ZkFold.Symbolic.Compiler
Fq
ZkFold.Base.Algebra.EllipticCurve.BLS12_381
Fq12
ZkFold.Base.Algebra.EllipticCurve.BLS12_381
Fq2
ZkFold.Base.Algebra.EllipticCurve.BLS12_381
Fq6
ZkFold.Base.Algebra.EllipticCurve.BLS12_381
Fr
ZkFold.Base.Algebra.EllipticCurve.BLS12_381
Free
ZkFold.Symbolic.GroebnerBasis.Internal.Types
from
ZkFold.Symbolic.Data.Combinators
fromBinary
ZkFold.Base.Algebra.Basic.Class
fromBits
ZkFold.Symbolic.Data.Combinators
fromByteString
ZkFold.Base.Data.ByteString
FromConstant
ZkFold.Base.Algebra.Basic.Class
fromConstant
ZkFold.Base.Algebra.Basic.Class
fromCycles
ZkFold.Base.Algebra.Basic.Permutations
fromMatrix
ZkFold.Base.Data.Matrix
fromPermutation
ZkFold.Base.Algebra.Basic.Permutations
fromPlonkConstraint
ZkFold.Base.Protocol.ARK.Plonk.Internal
fromPoly
ZkFold.Base.Algebra.Polynomials.Univariate
fromPolyVec
ZkFold.Base.Algebra.Polynomials.Univariate
fromSMatrix
ZkFold.Base.Data.Sparse.Matrix
fromSVector
ZkFold.Base.Data.Sparse.Vector
FromTranscript
ZkFold.Base.Protocol.NonInteractiveProof
fromTranscript
ZkFold.Base.Protocol.NonInteractiveProof
FromUPLC
ZkFold.Symbolic.Cardano.UPLC
fromUPLC
ZkFold.Symbolic.Cardano.UPLC
fromVector
ZkFold.Base.Data.Vector
fromZp
ZkFold.Base.Algebra.Basic.Field
fullReduceMany
ZkFold.Symbolic.GroebnerBasis.Internal.Reduction
,
ZkFold.Symbolic.GroebnerBasis
FunctionSpace
ZkFold.Base.Algebra.Basic.VectorSpace
functionToData
ZkFold.Symbolic.Cardano.UPLC.Type