Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.Plonkup.Verifier.Setup

Documentation

Constructors

PlonkupVerifierSetup
Fields omega :: ScalarFieldOf g1 k1 :: ScalarFieldOf g1 k2 :: ScalarFieldOf g1 h1 :: g2 sigma1s :: PolyVec (ScalarFieldOf g1) n sigma2s :: PolyVec (ScalarFieldOf g1) n sigma3s :: PolyVec (ScalarFieldOf g1) n relation :: PlonkupRelation p i n l (ScalarFieldOf g1) commitments :: PlonkupCircuitCommitments g1

Instances details

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