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 c1 c2 ts. (KnownNat n, KnownNat (PlonkupPolyExtendedLength n), Foldable l, 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 Source #