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 i n l c1 c2 Source #

Constructors

PlonkupSetup
Fields omega :: ScalarField c1 k1 :: ScalarField c1 k2 :: ScalarField c1 gs :: Vector (Point c1) h0 :: Point c2 h1 :: Point c2 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 commitments :: PlonkupCircuitCommitments c1

Instances

Instances details

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

plonkupSetup :: forall i n l c1 c2 ts core. (KnownNat i, KnownNat l, KnownNat n, Arithmetic (ScalarField c1), Pairing c1 c2, CoreFunction c1 core) => Plonkup i n l c1 c2 ts -> PlonkupSetup i n l c1 c2 Source #