ZkFold.Base.Protocol.Plonk.Prover

Documentation

plonkProve :: forall p i n l g1 g2 ts core. (KnownNat 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)