symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols

Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.Plonkup.Setup

Documentation

data PlonkupSetup p i n l g1 g2 Source #

Constructors

PlonkupSetup
Fields omega :: ScalarFieldOf g1 k1 :: ScalarFieldOf g1 k2 :: ScalarFieldOf g1 gs :: Vector g1 h0 :: g2 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) polynomials :: PlonkupCircuitPolynomials n g1 commitments :: PlonkupCircuitCommitments g1

Instances

Instances details

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

plonkupSetup :: forall i p n l g1 g2 gt ts core. (KnownNat n, Representable p, Representable i, Representable l, Foldable l, Ord (Rep i), Arithmetic (ScalarFieldOf g1), Binary (ScalarFieldOf g2), Pairing g1 g2 gt, CoreFunction g1 core) => Plonkup p i n l g1 g2 ts -> PlonkupSetup p i n l g1 g2 Source #