symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Base.Protocol.Plonkup.Setup

Documentation

data PlonkupSetup i n l c1 c2 Source #

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 #