ZkFold.Base.Protocol.Plonkup.Prover.Secret

Documentation

newtype PlonkupProverSecret g

Constructors

PlonkupProverSecret (Vector 19 (ScalarFieldOf g))

Instances

Arbitrary (ScalarFieldOf g) => Arbitrary (PlonkupProverSecret g)

Defined in ZkFold.Base.Protocol.Plonkup.Prover.Secret

Methods

arbitrary :: Gen (PlonkupProverSecret g)

shrink :: PlonkupProverSecret g -> [PlonkupProverSecret g]

FromJSON (PlonkupProverSecret BLS12_381_G1_Point)

Defined in ZkFold.Base.Protocol.Plonkup.Prover.Secret

Methods

parseJSON :: Value -> Parser (PlonkupProverSecret BLS12_381_G1_Point)

parseJSONList :: Value -> Parser [PlonkupProverSecret BLS12_381_G1_Point]

ToJSON (PlonkupProverSecret BLS12_381_G1_Point)

Defined in ZkFold.Base.Protocol.Plonkup.Prover.Secret

Methods

toJSON :: PlonkupProverSecret BLS12_381_G1_Point -> Value

toEncoding :: PlonkupProverSecret BLS12_381_G1_Point -> Encoding

toJSONList :: [PlonkupProverSecret BLS12_381_G1_Point] -> Value

toEncodingList :: [PlonkupProverSecret BLS12_381_G1_Point] -> Encoding

Generic (PlonkupProverSecret g)

Defined in ZkFold.Base.Protocol.Plonkup.Prover.Secret

Associated Types

type Rep (PlonkupProverSecret g) :: Type -> Type

Methods

from :: PlonkupProverSecret g -> Rep (PlonkupProverSecret g) x

to :: Rep (PlonkupProverSecret g) x -> PlonkupProverSecret g

Show (ScalarFieldOf g) => Show (PlonkupProverSecret g)

Defined in ZkFold.Base.Protocol.Plonkup.Prover.Secret

Methods

showsPrec :: Int -> PlonkupProverSecret g -> ShowS

show :: PlonkupProverSecret g -> String

showList :: [PlonkupProverSecret g] -> ShowS

type Rep (PlonkupProverSecret g)

Defined in ZkFold.Base.Protocol.Plonkup.Prover.Secret

type Rep (PlonkupProverSecret g) = D1 ('MetaData "PlonkupProverSecret" "ZkFold.Base.Protocol.Plonkup.Prover.Secret" "symbolic-base-0.1.0.0-inplace" 'True) (C1 ('MetaCons "PlonkupProverSecret" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector 19 (ScalarFieldOf g)))))