| P | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| pack | ZkFold.Base.Data.Package |
| Package | ZkFold.Base.Data.Package |
| packed | ZkFold.Base.Data.Package |
| packWith | ZkFold.Base.Data.Package |
| padBits | ZkFold.Base.Algebra.Basic.Class |
| PaddedLength | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| padNextPow2 | ZkFold.Symbolic.Data.Combinators |
| padSecondNextPow2 | ZkFold.Symbolic.Data.Combinators |
| Pairing | ZkFold.Base.Algebra.EllipticCurve.Class |
| pairing | ZkFold.Base.Algebra.EllipticCurve.Class |
| Pallas_Point | ZkFold.Base.Algebra.EllipticCurve.Pasta |
| Pasta_Point | ZkFold.Base.Algebra.EllipticCurve.Pasta |
| Payload | ZkFold.Symbolic.Data.Class |
| payload | ZkFold.Symbolic.Data.Class |
| Payloaded | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.Payloaded |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.Payloaded |
| PayloadFunctor | ZkFold.Symbolic.Data.Class |
| payloadInput | ZkFold.Base.Protocol.Plonkup.Witness |
| PedersonSetup | ZkFold.Base.Protocol.IVC.Commit |
| Permutation | ZkFold.Base.Algebra.Basic.Permutations |
| pi | ZkFold.Base.Protocol.IVC.Accumulator |
| piX | ZkFold.Base.Protocol.Plonkup.Testing |
| Planar | ZkFold.Base.Algebra.EllipticCurve.Class |
| plAtHash | ZkFold.Symbolic.Data.JWT |
| plAud | ZkFold.Symbolic.Data.JWT |
| plAzp | ZkFold.Symbolic.Data.JWT |
| plEmail | ZkFold.Symbolic.Data.JWT |
| plEmailVerified | ZkFold.Symbolic.Data.JWT |
| plExp | ZkFold.Symbolic.Data.JWT |
| plFamilyName | ZkFold.Symbolic.Data.JWT |
| plGivenName | ZkFold.Symbolic.Data.JWT |
| plHd | ZkFold.Symbolic.Data.JWT |
| plIat | ZkFold.Symbolic.Data.JWT |
| plIss | ZkFold.Symbolic.Data.JWT |
| plName | ZkFold.Symbolic.Data.JWT |
| Plonk | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonk |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonk |
| PlonkConstraint | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.PlonkConstraint |
| plonkProve | ZkFold.Base.Protocol.Plonk.Prover |
| Plonkup | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| PlonkupCircuitCommitments | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Verifier.Commitments, ZkFold.Base.Protocol.Plonkup.Verifier |
| PlonkupCircuitPolynomials | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Prover.Polynomials, ZkFold.Base.Protocol.Plonkup.Prover |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Prover.Polynomials, ZkFold.Base.Protocol.Plonkup.Prover |
| PlonkupConstraint | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| PlonkupInput | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Input |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Input |
| PlonkupPermutationSize | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| PlonkupPolyExtended | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| PlonkupPolyExtendedLength | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| PlonkupProof | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Proof |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Proof |
| plonkupProve | ZkFold.Base.Protocol.Plonkup.Prover |
| PlonkupProverSecret | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Prover.Secret, ZkFold.Base.Protocol.Plonkup.Prover |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Prover.Secret, ZkFold.Base.Protocol.Plonkup.Prover |
| PlonkupProverSetup | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
| PlonkupProverTestInfo | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Testing |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Testing |
| PlonkupRelation | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Relation |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Relation |
| PlonkupSetup | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Setup |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Setup |
| plonkupSetup | ZkFold.Base.Protocol.Plonkup.Setup |
| plonkupVerifierInput | ZkFold.Base.Protocol.Plonkup.Input |
| PlonkupVerifierSetup | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
| plonkupVerify | ZkFold.Base.Protocol.Plonkup.Verifier |
| PlonkupWitnessInput | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.Witness |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.Witness |
| plonkVerify | ZkFold.Base.Protocol.Plonk.Verifier |
| Plot | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| plPicture | ZkFold.Symbolic.Data.JWT |
| plSub | ZkFold.Symbolic.Data.JWT |
| PlutoEris_p | ZkFold.Base.Algebra.EllipticCurve.PlutoEris |
| PlutoEris_q | ZkFold.Base.Algebra.EllipticCurve.PlutoEris |
| Pluto_Point | ZkFold.Base.Algebra.EllipticCurve.PlutoEris |
| Point | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
| 2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointCompressed | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointGen | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointInf | ZkFold.Base.Algebra.EllipticCurve.Class |
| pointXY | ZkFold.Base.Algebra.EllipticCurve.Class |
| Poly | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Univariate |
| poly2vec | ZkFold.Base.Algebra.Polynomials.Univariate |
| polyMul | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| Polynomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| polynomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| polynomials | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
| PolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
| polyVecConstant | 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 |
| Prec | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| Predicate | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.Predicate |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.Predicate |
| predicate | ZkFold.Base.Protocol.IVC.Predicate |
| PredicateAssumptions | ZkFold.Base.Protocol.IVC.Predicate |
| PredicateCircuit | ZkFold.Base.Protocol.IVC.Predicate |
| predicateCircuit | ZkFold.Base.Protocol.IVC.Predicate |
| predicateEval | ZkFold.Base.Protocol.IVC.Predicate |
| preimage | ZkFold.Symbolic.Data.Hash |
| Prime | ZkFold.Base.Algebra.Basic.Number |
| PrimeField | ZkFold.Base.Algebra.Basic.Class |
| PrivateKey | |
| 1 (Type/Class) | ZkFold.Symbolic.Algorithms.RSA |
| 2 (Data Constructor) | ZkFold.Symbolic.Algorithms.RSA |
| Product | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| product | ZkFold.Base.Algebra.Basic.Class |
| product1 | ZkFold.Base.Algebra.Basic.Class |
| productMod | ZkFold.Symbolic.Data.UInt |
| Proof | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof, ZkFold.Base.Protocol.NonInteractiveProof |
| proof | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| proof1 | ZkFold.Base.Protocol.Plonkup.Proof |
| proof2 | ZkFold.Base.Protocol.Plonkup.Proof |
| ProofBytes | |
| 1 (Type/Class) | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| 2 (Data Constructor) | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| proofW | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| proofX | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| prove | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| proveAPI | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| ProveAPIErrorSetup | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| ProveAPIErrorWitness | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| ProveAPIResult | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| ProveAPISuccess | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| provePolyVecEval | ZkFold.Base.Protocol.KZG |
| prover | |
| 1 (Function) | ZkFold.Base.Protocol.IVC.SpecialSound |
| 2 (Function) | ZkFold.Base.Protocol.IVC.AccumulatorScheme |
| prvD | ZkFold.Symbolic.Algorithms.RSA |
| prvKey | ZkFold.Symbolic.Data.JWT |
| prvKid | ZkFold.Symbolic.Data.JWT |
| prvN | ZkFold.Symbolic.Algorithms.RSA |
| pubE | ZkFold.Symbolic.Algorithms.RSA |
| pubInput | ZkFold.Base.Protocol.Plonkup.Relation |
| pubKey | ZkFold.Symbolic.Data.JWT |
| pubKid | ZkFold.Symbolic.Data.JWT |
| PublicKey | |
| 1 (Type/Class) | ZkFold.Symbolic.Algorithms.RSA |
| 2 (Data Constructor) | ZkFold.Symbolic.Algorithms.RSA |
| pubN | ZkFold.Symbolic.Algorithms.RSA |
| pureV | ZkFold.Base.Algebra.Basic.VectorSpace |
| put | ZkFold.Base.Data.ByteString |
| putList | ZkFold.Base.Data.ByteString |
| putWord8 | ZkFold.Base.Data.ByteString |