Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.Plonkup.Prover.Setup

Documentation

Constructors

PlonkupProverSetup
Fields omega :: ScalarField c1 k1 :: ScalarField c1 k2 :: ScalarField c1 gs :: Vector (Point c1) sigma1s :: PolyVec (ScalarField c1) n sigma2s :: PolyVec (ScalarField c1) n sigma3s :: PolyVec (ScalarField c1) n relation :: PlonkupRelation i n l (ScalarField c1) polynomials :: PlonkupCircuitPolynomials n c1

Instances details

(EllipticCurve c1, EllipticCurve c2, Show (BaseField c1), Show (BaseField c2), Show (ScalarField c1), Show (PlonkupRelation i n l (ScalarField c1))) => Show (PlonkupProverSetup i n l c1 c2) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup.Prover.Setup Methods showsPrec :: Int -> PlonkupProverSetup i n l c1 c2 -> ShowS # show :: PlonkupProverSetup i n l c1 c2 -> String # showList :: [PlonkupProverSetup i n l c1 c2] -> ShowS #