symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Base.Protocol.Plonkup.Verifier

Documentation

module ZkFold.Base.Protocol.Plonkup.Verifier.Commitments

module ZkFold.Base.Protocol.Plonkup.Verifier.Setup

plonkupVerify :: forall p i n l g1 g2 gt ts. (KnownNat n, KnownNat (PlonkupPolyExtendedLength 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 #