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