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
fft	ZkFold.Symbolic.Algorithms.FFT
FiatShamir	ZkFold.Base.Protocol.IVC.FiatShamir
fiatShamir	ZkFold.Base.Protocol.IVC.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
Fl	ZkFold.Base.Algebra.EllipticCurve.Ed25519
floorN	ZkFold.Base.Algebra.Basic.Class
Fn	ZkFold.Base.Algebra.EllipticCurve.Secp256k1
foldCount	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal
foldl	ZkFold.Symbolic.Data.List
foldr	ZkFold.Symbolic.Data.List
foldSeed	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal
foldSeedP	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal
foldStep	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal
foldStepP	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal
foldStream	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal
FoldVar	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal
Fp
1 (Type/Class)	ZkFold.Base.Algebra.EllipticCurve.Secp256k1
2 (Type/Class)	ZkFold.Base.Algebra.EllipticCurve.Pasta
3 (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.Ed25519
3 (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
1 (Function)	ZkFold.Base.Data.ByteString
2 (Function)	ZkFold.Symbolic.Data.VarByteString
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
fromIntegral	ZkFold.Symbolic.MonadCircuit
fromJust	ZkFold.Symbolic.Data.Maybe
fromListV	ZkFold.Base.Algebra.Basic.VectorSpace
fromMatrix	ZkFold.Base.Data.Matrix
FromMaybe	ZkFold.Symbolic.Data.Combinators
fromMaybe	ZkFold.Symbolic.Data.Maybe
fromNatural	ZkFold.Symbolic.Data.VarByteString
fromPermutation	ZkFold.Base.Algebra.Basic.Permutations
fromPlonkConstraint	ZkFold.Base.Protocol.Plonkup.PlonkConstraint
fromPoly	ZkFold.Base.Algebra.Polynomials.Univariate
fromPolyVec	ZkFold.Base.Algebra.Polynomials.Univariate
fromRange	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup
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
fromType	ZkFold.Symbolic.Data.Combinators
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
funcHash	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup
FunctionId
1 (Type/Class)	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup
2 (Data Constructor)	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup
FunctionSpace	ZkFold.Base.Algebra.Basic.VectorSpace
fX	ZkFold.Base.Protocol.Plonkup.Testing
f_xi	ZkFold.Base.Protocol.Plonkup.Proof