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 g1 g2 ts core. (KnownNat n, KnownNat (PlonkupPolyExtendedLength n), Foldable l, Ord (ScalarFieldOf g1), Compressible Bool g1, ToTranscript ts Word8, ToTranscript ts (ScalarFieldOf g1), ToTranscript ts (Compressed g1), FromTranscript ts (ScalarFieldOf g1), CoreFunction g1 core) => PlonkupProverSetup p i n l g1 g2 -> (PlonkupWitnessInput p i g1, PlonkupProverSecret g1) -> (PlonkupInput l g1, PlonkupProof g1, PlonkupProverTestInfo n g1)