symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols

Index - F

falseZkFold.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
FieldZkFold.Base.Algebra.Basic.Class
FieldElement 
1 (Type/Class)ZkFold.Symbolic.Data.FieldElement
2 (Data Constructor)ZkFold.Symbolic.Data.FieldElement
filterZkFold.Symbolic.Data.List
finalExponentiationZkFold.Base.Algebra.EllipticCurve.Pairing
FindZkFold.Base.Data.Type
findZkFold.Symbolic.Data.Maybe
FiniteZkFold.Base.Algebra.Basic.Class
FiniteAdditiveGroupZkFold.Base.Algebra.Basic.Class
FiniteFieldZkFold.Base.Algebra.Basic.Class
FiniteMultiplicativeGroupZkFold.Base.Algebra.Basic.Class
finvZkFold.Base.Algebra.Basic.Class
FixedZkFold.Symbolic.Data.Combinators
floorNZkFold.Base.Algebra.Basic.Class
Fp 
1 (Type/Class)ZkFold.Base.Algebra.EllipticCurve.Pasta
2 (Type/Class)ZkFold.Base.Algebra.EllipticCurve.BN254
Fp12ZkFold.Base.Algebra.EllipticCurve.BN254
Fp2ZkFold.Base.Algebra.EllipticCurve.BN254
Fp6ZkFold.Base.Algebra.EllipticCurve.BN254
FpModulusZkFold.Base.Algebra.EllipticCurve.Pasta
Fq 
1 (Type/Class)ZkFold.Base.Algebra.EllipticCurve.Pasta
2 (Type/Class)ZkFold.Base.Algebra.EllipticCurve.BLS12_381
Fq12ZkFold.Base.Algebra.EllipticCurve.BLS12_381
Fq2ZkFold.Base.Algebra.EllipticCurve.BLS12_381
Fq6ZkFold.Base.Algebra.EllipticCurve.BLS12_381
FqModulusZkFold.Base.Algebra.EllipticCurve.Pasta
Fr 
1 (Type/Class)ZkFold.Base.Algebra.EllipticCurve.BN254
2 (Type/Class)ZkFold.Base.Algebra.EllipticCurve.BLS12_381
fromZkFold.Symbolic.Data.Combinators
fromBinaryZkFold.Base.Algebra.Basic.Class
fromBitsZkFold.Symbolic.Data.Combinators
fromByteStringZkFold.Base.Data.ByteString
fromCircuit2FZkFold.Symbolic.Class
fromCircuit3FZkFold.Symbolic.Class
fromCircuitFZkFold.Symbolic.Class
fromCircuitVFZkFold.Symbolic.Class
FromConstantZkFold.Base.Algebra.Basic.Class
fromConstantZkFold.Base.Algebra.Basic.Class
fromCyclesZkFold.Base.Algebra.Basic.Permutations
fromFieldElementZkFold.Symbolic.Data.FieldElement
fromJustZkFold.Symbolic.Data.Maybe
fromListVZkFold.Base.Algebra.Basic.VectorSpace
fromMatrixZkFold.Base.Data.Matrix
fromMaybeZkFold.Symbolic.Data.Maybe
fromPermutationZkFold.Base.Algebra.Basic.Permutations
fromPlonkConstraintZkFold.Base.Protocol.Plonkup.PlonkConstraint
fromPolyZkFold.Base.Algebra.Polynomials.Univariate
fromPolyVecZkFold.Base.Algebra.Polynomials.Univariate
fromSMatrixZkFold.Base.Data.Sparse.Matrix
fromSVectorZkFold.Base.Data.Sparse.Vector
FromTranscriptZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof
fromTranscriptZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof
fromVectorZkFold.Base.Data.Vector
fromWitnessBytesZkFold.Base.Protocol.NonInteractiveProof.Prover
fromZpZkFold.Base.Algebra.Basic.Field
fstPZkFold.Base.Data.Product
fullReduceManyZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate
FunBodyZkFold.Symbolic.Class
FunctionSpaceZkFold.Base.Algebra.Basic.VectorSpace
fXZkFold.Base.Protocol.Plonkup.Testing
f_xiZkFold.Base.Protocol.Plonkup.Proof