Documentation

plonkProve :: forall i n l c1 c2 ts core. (KnownNat n, 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 i n l c1 c2 -> (PlonkupWitnessInput i c1, PlonkupProverSecret c1) -> (PlonkupInput l c1, PlonkupProof c1, PlonkupProverTestInfo n c1) Source #