Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.Plonkup.Prover.Secret

Documentation

newtype PlonkupProverSecret g Source #

Constructors

PlonkupProverSecret (Vector 19 (ScalarFieldOf g))

Instances

Instances details

Arbitrary (ScalarFieldOf g) => Arbitrary (PlonkupProverSecret g) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup.Prover.Secret Methods arbitrary :: Gen (PlonkupProverSecret g) # shrink :: PlonkupProverSecret g -> [PlonkupProverSecret g] #
FromJSON (PlonkupProverSecret BLS12_381_G1_Point) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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)))))