ZkFold.Base.Protocol.Plonk.Verifier

Documentation

plonkVerify :: forall p i n l c1 c2 ts. (KnownNat n, Pairing c1 c2, Ord (BaseField c1), AdditiveGroup (BaseField c1), Arithmetic (ScalarField c1), ToTranscript ts Word8, ToTranscript ts (ScalarField c1), ToTranscript ts (PointCompressed c1), FromTranscript ts (ScalarField c1)) => PlonkupVerifierSetup p i n l c1 c2 -> PlonkupInput l c1 -> PlonkupProof c1 -> Bool