| 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 |