P | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
padBits | ZkFold.Base.Algebra.Basic.Class |
Pairing | ZkFold.Base.Algebra.EllipticCurve.Class |
pairing | ZkFold.Base.Algebra.EllipticCurve.Class |
pairingBLS | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
paymentCredential | ZkFold.Symbolic.Cardano.Types |
Permutation | ZkFold.Base.Algebra.Basic.Permutations |
pieces | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
Plonk | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkCircuitCommitments | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkCircuitPolynomials | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkInput | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkMaxPolyDegree | ZkFold.Base.Protocol.ARK.Plonk |
PlonkPermutation | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkPermutationSize | ZkFold.Base.Protocol.ARK.Plonk |
PlonkPolyExtended | ZkFold.Base.Protocol.ARK.Plonk |
PlonkProof | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkProverSecret | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkSetupParams | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkWitnessInput | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkWitnessMap | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlutusBuiltinFunction | ZkFold.Symbolic.Cardano.UPLC.Builtins |
Point | |
1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.Class |
pointAdd | ZkFold.Base.Algebra.EllipticCurve.Class |
pointDouble | ZkFold.Base.Algebra.EllipticCurve.Class |
pointMul | ZkFold.Base.Algebra.EllipticCurve.Class |
pointNegate | ZkFold.Base.Algebra.EllipticCurve.Class |
Poly | ZkFold.Base.Algebra.Polynomials.Univariate |
Polynom | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
Polynomial | |
1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
2 (Type/Class) | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
polynomial | |
1 (Function) | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
2 (Function) | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
Polynomial' | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
PolynomialAny | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
PolynomialBoundedDegree | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
PolynomialProtostar | ZkFold.Base.Protocol.ARK.Protostar.Internal |
PolynomialRepAny | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
PolynomialRepBoundedDegree | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
PolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
polyVecDiv | ZkFold.Base.Algebra.Polynomials.Univariate |
polyVecGrandProduct | ZkFold.Base.Algebra.Polynomials.Univariate |
polyVecInLagrangeBasis | ZkFold.Base.Algebra.Polynomials.Univariate |
polyVecLagrange | ZkFold.Base.Algebra.Polynomials.Univariate |
polyVecLinear | ZkFold.Base.Algebra.Polynomials.Univariate |
polyVecQuadratic | ZkFold.Base.Algebra.Polynomials.Univariate |
polyVecZero | ZkFold.Base.Algebra.Polynomials.Univariate |
pow' | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
Prime | ZkFold.Base.Algebra.Basic.Number |
PrimeField | ZkFold.Base.Algebra.Basic.Class |
product | ZkFold.Base.Algebra.Basic.Class |
product1 | ZkFold.Base.Algebra.Basic.Class |
Proof | ZkFold.Base.Protocol.NonInteractiveProof |
ProtostarGate | ZkFold.Base.Protocol.ARK.Protostar.Gate |
ProtostarLookup | ZkFold.Base.Protocol.ARK.Protostar.Lookup |
ProtostarLookupParams | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Lookup |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Lookup |
ProtostarPermutation | ZkFold.Base.Protocol.ARK.Protostar.Permutation |
prove | ZkFold.Base.Protocol.NonInteractiveProof |
proveAPI | ZkFold.Base.Protocol.NonInteractiveProof |
ProveAPIErrorSetup | ZkFold.Base.Protocol.NonInteractiveProof |
ProveAPIErrorWitness | ZkFold.Base.Protocol.NonInteractiveProof |
ProveAPIResult | ZkFold.Base.Protocol.NonInteractiveProof |
ProveAPISuccess | ZkFold.Base.Protocol.NonInteractiveProof |
provePolyVecEval | ZkFold.Base.Protocol.Commitment.KZG |
prover | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
ProverMessage | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
pureV | ZkFold.Base.Algebra.Basic.VectorSpace |
put | ZkFold.Base.Data.ByteString |
putList | ZkFold.Base.Data.ByteString |
putWord8 | ZkFold.Base.Data.ByteString |