ZkFold.Base.Protocol.Plonkup.Prover

Documentation

module ZkFold.Base.Protocol.Plonkup.Prover.Polynomials

module ZkFold.Base.Protocol.Plonkup.Prover.Secret

module ZkFold.Base.Protocol.Plonkup.Prover.Setup

plonkupProve :: forall p i n l c1 c2 ts core. (KnownNat n, KnownNat (PlonkupPolyExtendedLength n), Foldable l, Ord (BaseField c1), AdditiveGroup (BaseField c1), Arithmetic (ScalarField c1), ToTranscript ts Word8, ToTranscript ts (ScalarField c1), ToTranscript ts (PointCompressed c1), FromTranscript ts (ScalarField c1), CoreFunction c1 core) => PlonkupProverSetup p i n l c1 c2 -> (PlonkupWitnessInput p i c1, PlonkupProverSecret c1) -> (PlonkupInput l c1, PlonkupProof c1, PlonkupProverTestInfo n c1)