ZkFold.Base.Protocol.Plonk.Verifier

Documentation

plonkVerify :: forall p i n l g1 g2 gt ts. (KnownNat n, Foldable l, Pairing g1 g2 gt, Compressible g1, Eq (ScalarFieldOf g1), Eq gt, ToTranscript ts Word8, ToTranscript ts (ScalarFieldOf g1), ToTranscript ts (Compressed g1), FromTranscript ts (ScalarFieldOf g1)) => PlonkupVerifierSetup p i n l g1 g2 -> PlonkupInput l g1 -> PlonkupProof g1 -> Bool