ZkFold.Base.Protocol.Plonkup.Verifier.Setup

Documentation

data PlonkupVerifierSetup p i n l c1 c2

Constructors

PlonkupVerifierSetup

Fields

• omega :: ScalarField c1
• k1 :: ScalarField c1
• k2 :: ScalarField c1
• h1 :: Point c2
• sigma1s :: PolyVec (ScalarField c1) n
• sigma2s :: PolyVec (ScalarField c1) n
• sigma3s :: PolyVec (ScalarField c1) n
• relation :: PlonkupRelation p i n l (ScalarField c1)
• commitments :: PlonkupCircuitCommitments c1

Instances

(EllipticCurve c1, EllipticCurve c2, Show (BaseField c1), Show (BaseField c2), Show (ScalarField c1), Show (PlonkupRelation p i n l (ScalarField c1)), BooleanOf c1 ~ Bool, BooleanOf c2 ~ Bool) => Show (PlonkupVerifierSetup p i n l c1 c2)

Defined in ZkFold.Base.Protocol.Plonkup.Verifier.Setup

Methods

showsPrec :: Int -> PlonkupVerifierSetup p i n l c1 c2 -> ShowS

show :: PlonkupVerifierSetup p i n l c1 c2 -> String

showList :: [PlonkupVerifierSetup p i n l c1 c2] -> ShowS