Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.Plonkup.Prover.Setup

Documentation

Constructors

PlonkupProverSetup
Fields omega :: ScalarFieldOf g1 k1 :: ScalarFieldOf g1 k2 :: ScalarFieldOf g1 gs :: Vector g1 sigma1s :: PolyVec (ScalarFieldOf g1) n sigma2s :: PolyVec (ScalarFieldOf g1) n sigma3s :: PolyVec (ScalarFieldOf g1) n relation :: PlonkupRelation p i n l (ScalarFieldOf g1) polynomials :: PlonkupCircuitPolynomials n g1

Instances details

(CyclicGroup g1, Show g1, Show g2, Show (ScalarFieldOf g1), Show (PlonkupRelation p i n l (ScalarFieldOf g1))) => Show (PlonkupProverSetup p i n l g1 g2) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup.Prover.Setup Methods showsPrec :: Int -> PlonkupProverSetup p i n l g1 g2 -> ShowS # show :: PlonkupProverSetup p i n l g1 g2 -> String # showList :: [PlonkupProverSetup p i n l g1 g2] -> ShowS #