Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.Plonkup.Prover.Secret

Documentation

newtype PlonkupProverSecret c Source #

Constructors

PlonkupProverSecret (Vector 19 (ScalarField c))

Instances

Instances details

Arbitrary (ScalarField c) => Arbitrary (PlonkupProverSecret c) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup.Prover.Secret Methods arbitrary :: Gen (PlonkupProverSecret c) # shrink :: PlonkupProverSecret c -> [PlonkupProverSecret c] #
FromJSON (PlonkupProverSecret BLS12_381_G1) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup.Prover.Secret Methods parseJSON :: Value -> Parser (PlonkupProverSecret BLS12_381_G1) # parseJSONList :: Value -> Parser [PlonkupProverSecret BLS12_381_G1] #
ToJSON (PlonkupProverSecret BLS12_381_G1) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup.Prover.Secret Methods toJSON :: PlonkupProverSecret BLS12_381_G1 -> Value # toEncoding :: PlonkupProverSecret BLS12_381_G1 -> Encoding # toJSONList :: [PlonkupProverSecret BLS12_381_G1] -> Value # toEncodingList :: [PlonkupProverSecret BLS12_381_G1] -> Encoding #
Generic (PlonkupProverSecret c) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup.Prover.Secret Associated Types type Rep (PlonkupProverSecret c) :: Type -> Type # Methods from :: PlonkupProverSecret c -> Rep (PlonkupProverSecret c) x # to :: Rep (PlonkupProverSecret c) x -> PlonkupProverSecret c #
Show (ScalarField c) => Show (PlonkupProverSecret c) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup.Prover.Secret Methods showsPrec :: Int -> PlonkupProverSecret c -> ShowS # show :: PlonkupProverSecret c -> String # showList :: [PlonkupProverSecret c] -> ShowS #
type Rep (PlonkupProverSecret c) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup.Prover.Secret type Rep (PlonkupProverSecret c) = 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 (ScalarField c)))))