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 p 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 p i n l (ScalarField c1)), BooleanOf c1 ~ Bool) => Show (PlonkupProverSetup p i n l c1 c2) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup.Prover.Setup Methods showsPrec :: Int -> PlonkupProverSetup p i n l c1 c2 -> ShowS # show :: PlonkupProverSetup p i n l c1 c2 -> String # showList :: [PlonkupProverSetup p i n l c1 c2] -> ShowS #