Documentation

plonkVerify :: forall p i n l g1 g2 gt ts. (KnownNat n, Foldable l, Pairing g1 g2 gt, Compressible Bool 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 Source #