ZkFold.Base.Protocol.Plonkup.Setup

Documentation

data PlonkupSetup p i n l c1 c2

Constructors

PlonkupSetup

Fields

• omega :: ScalarField c1
• k1 :: ScalarField c1
• k2 :: ScalarField c1
• gs :: Vector (Point c1)
• h0 :: Point c2
• 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)
• polynomials :: PlonkupCircuitPolynomials n 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))) => Show (PlonkupSetup p i n l c1 c2)

Defined in ZkFold.Base.Protocol.Plonkup.Setup

Methods

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

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

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

plonkupSetup :: forall i p n l c1 c2 ts core. (KnownNat i, KnownNat l, KnownNat n, Representable p, Arithmetic (ScalarField c1), Pairing c1 c2, CoreFunction c1 core) => Plonkup p i n l c1 c2 ts -> PlonkupSetup p i n l c1 c2