symbolic-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 - F
false
ZkFold.Symbolic.Data.Bool
FFA
1 (Type/Class)
ZkFold.Symbolic.Data.FFA
2 (Data Constructor)
ZkFold.Symbolic.Data.FFA
FiatShamir
1 (Type/Class)
ZkFold.Base.Protocol.Protostar.FiatShamir
2 (Data Constructor)
ZkFold.Base.Protocol.Protostar.FiatShamir
Field
ZkFold.Base.Algebra.Basic.Class
FieldElement
1 (Type/Class)
ZkFold.Symbolic.Data.FieldElement
2 (Data Constructor)
ZkFold.Symbolic.Data.FieldElement
filter
ZkFold.Symbolic.Data.List
finalExponentiation
ZkFold.Base.Algebra.EllipticCurve.Pairing
Find
ZkFold.Base.Data.Type
find
ZkFold.Symbolic.Data.Maybe
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
Fixed
ZkFold.Symbolic.Data.Combinators
floorN
ZkFold.Base.Algebra.Basic.Class
Fp
1 (Type/Class)
ZkFold.Base.Algebra.EllipticCurve.Pasta
2 (Type/Class)
ZkFold.Base.Algebra.EllipticCurve.BN254
Fp12
ZkFold.Base.Algebra.EllipticCurve.BN254
Fp2
ZkFold.Base.Algebra.EllipticCurve.BN254
Fp6
ZkFold.Base.Algebra.EllipticCurve.BN254
FpModulus
ZkFold.Base.Algebra.EllipticCurve.Pasta
Fq
1 (Type/Class)
ZkFold.Base.Algebra.EllipticCurve.Pasta
2 (Type/Class)
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
FqModulus
ZkFold.Base.Algebra.EllipticCurve.Pasta
Fr
1 (Type/Class)
ZkFold.Base.Algebra.EllipticCurve.BN254
2 (Type/Class)
ZkFold.Base.Algebra.EllipticCurve.BLS12_381
from
ZkFold.Symbolic.Data.Combinators
fromBinary
ZkFold.Base.Algebra.Basic.Class
fromBits
ZkFold.Symbolic.Data.Combinators
fromByteString
ZkFold.Base.Data.ByteString
fromCircuit2F
ZkFold.Symbolic.Class
fromCircuit3F
ZkFold.Symbolic.Class
fromCircuitF
ZkFold.Symbolic.Class
fromCircuitVF
ZkFold.Symbolic.Class
FromConstant
ZkFold.Base.Algebra.Basic.Class
fromConstant
ZkFold.Base.Algebra.Basic.Class
fromCycles
ZkFold.Base.Algebra.Basic.Permutations
fromFieldElement
ZkFold.Symbolic.Data.FieldElement
fromJust
ZkFold.Symbolic.Data.Maybe
fromListV
ZkFold.Base.Algebra.Basic.VectorSpace
fromMatrix
ZkFold.Base.Data.Matrix
fromMaybe
ZkFold.Symbolic.Data.Maybe
fromPermutation
ZkFold.Base.Algebra.Basic.Permutations
fromPlonkConstraint
ZkFold.Base.Protocol.Plonkup.PlonkConstraint
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.Internal
, ZkFold.Base.Protocol.NonInteractiveProof
fromTranscript
ZkFold.Base.Protocol.NonInteractiveProof.Internal
, ZkFold.Base.Protocol.NonInteractiveProof
fromVector
ZkFold.Base.Data.Vector
fromWitnessBytes
ZkFold.Base.Protocol.NonInteractiveProof.Prover
fromZp
ZkFold.Base.Algebra.Basic.Field
fstP
ZkFold.Base.Data.Product
fullReduceMany
ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner
, ZkFold.Base.Algebra.Polynomials.Multivariate
FunBody
ZkFold.Symbolic.Class
FunctionSpace
ZkFold.Base.Algebra.Basic.VectorSpace
fX
ZkFold.Base.Protocol.Plonkup.Testing
f_xi
ZkFold.Base.Protocol.Plonkup.Proof