Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.VRF.Simple

Description

Mock implementations of verifiable random functions.

Documentation

data SimpleVRF Source #

Instances

Instances details

VRFAlgorithm SimpleVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Associated Types data VerKeyVRF SimpleVRF Source # data SignKeyVRF SimpleVRF Source # data CertVRF SimpleVRF Source # type ContextVRF SimpleVRF Source # type Signable SimpleVRF ∷ Type → Constraint Source # Methods algorithmNameVRF ∷ proxy SimpleVRF → String Source # deriveVerKeyVRF ∷ SignKeyVRF SimpleVRF → VerKeyVRF SimpleVRF Source # hashVerKeyVRF ∷ HashAlgorithm h ⇒ VerKeyVRF SimpleVRF → Hash h (VerKeyVRF SimpleVRF) Source # evalVRF ∷ (HasCallStack, Signable SimpleVRF a) ⇒ ContextVRF SimpleVRF → a → SignKeyVRF SimpleVRF → (OutputVRF SimpleVRF, CertVRF SimpleVRF) Source # verifyVRF ∷ (HasCallStack, Signable SimpleVRF a) ⇒ ContextVRF SimpleVRF → VerKeyVRF SimpleVRF → a → CertVRF SimpleVRF → Maybe (OutputVRF SimpleVRF) Source # genKeyVRF ∷ Seed → SignKeyVRF SimpleVRF Source # genKeyPairVRF ∷ Seed → (SignKeyVRF SimpleVRF, VerKeyVRF SimpleVRF) Source # seedSizeVRF ∷ proxy SimpleVRF → Word Source # sizeVerKeyVRF ∷ proxy SimpleVRF → Word Source # sizeSignKeyVRF ∷ proxy SimpleVRF → Word Source # sizeCertVRF ∷ proxy SimpleVRF → Word Source # sizeOutputVRF ∷ proxy SimpleVRF → Word Source # rawSerialiseVerKeyVRF ∷ VerKeyVRF SimpleVRF → ByteString Source # rawSerialiseSignKeyVRF ∷ SignKeyVRF SimpleVRF → ByteString Source # rawSerialiseCertVRF ∷ CertVRF SimpleVRF → ByteString Source # rawDeserialiseVerKeyVRF ∷ ByteString → Maybe (VerKeyVRF SimpleVRF) Source # rawDeserialiseSignKeyVRF ∷ ByteString → Maybe (SignKeyVRF SimpleVRF) Source # rawDeserialiseCertVRF ∷ ByteString → Maybe (CertVRF SimpleVRF) Source #
Generic (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Associated Types type Rep (CertVRF SimpleVRF) ∷ Type → Type Source # Methods from ∷ CertVRF SimpleVRF → Rep (CertVRF SimpleVRF) x Source # to ∷ Rep (CertVRF SimpleVRF) x → CertVRF SimpleVRF Source #
Generic (SignKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Associated Types type Rep (SignKeyVRF SimpleVRF) ∷ Type → Type Source # Methods from ∷ SignKeyVRF SimpleVRF → Rep (SignKeyVRF SimpleVRF) x Source # to ∷ Rep (SignKeyVRF SimpleVRF) x → SignKeyVRF SimpleVRF Source #
Generic (VerKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Associated Types type Rep (VerKeyVRF SimpleVRF) ∷ Type → Type Source # Methods from ∷ VerKeyVRF SimpleVRF → Rep (VerKeyVRF SimpleVRF) x Source # to ∷ Rep (VerKeyVRF SimpleVRF) x → VerKeyVRF SimpleVRF Source #
Show (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods showsPrec ∷ Int → CertVRF SimpleVRF → ShowS Source # show ∷ CertVRF SimpleVRF → String Source # showList ∷ [CertVRF SimpleVRF] → ShowS Source #
Show (SignKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods showsPrec ∷ Int → SignKeyVRF SimpleVRF → ShowS Source # show ∷ SignKeyVRF SimpleVRF → String Source # showList ∷ [SignKeyVRF SimpleVRF] → ShowS Source #
Show (VerKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods showsPrec ∷ Int → VerKeyVRF SimpleVRF → ShowS Source # show ∷ VerKeyVRF SimpleVRF → String Source # showList ∷ [VerKeyVRF SimpleVRF] → ShowS Source #
FromCBOR (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR ∷ Decoder s (CertVRF SimpleVRF) Source # label ∷ Proxy (CertVRF SimpleVRF) → Text Source #
FromCBOR (SignKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR ∷ Decoder s (SignKeyVRF SimpleVRF) Source # label ∷ Proxy (SignKeyVRF SimpleVRF) → Text Source #
FromCBOR (VerKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR ∷ Decoder s (VerKeyVRF SimpleVRF) Source # label ∷ Proxy (VerKeyVRF SimpleVRF) → Text Source #
ToCBOR (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods toCBOR ∷ CertVRF SimpleVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertVRF SimpleVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CertVRF SimpleVRF] → Size Source #
ToCBOR (SignKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods toCBOR ∷ SignKeyVRF SimpleVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF SimpleVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyVRF SimpleVRF] → Size Source #
ToCBOR (VerKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods toCBOR ∷ VerKeyVRF SimpleVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF SimpleVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyVRF SimpleVRF] → Size Source #
NFData (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods rnf ∷ CertVRF SimpleVRF → () Source #
NFData (SignKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods rnf ∷ SignKeyVRF SimpleVRF → () Source #
NFData (VerKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods rnf ∷ VerKeyVRF SimpleVRF → () Source #
Eq (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods (==) ∷ CertVRF SimpleVRF → CertVRF SimpleVRF → Bool Source # (/=) ∷ CertVRF SimpleVRF → CertVRF SimpleVRF → Bool Source #
Eq (SignKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods (==) ∷ SignKeyVRF SimpleVRF → SignKeyVRF SimpleVRF → Bool Source # (/=) ∷ SignKeyVRF SimpleVRF → SignKeyVRF SimpleVRF → Bool Source #
Eq (VerKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods (==) ∷ VerKeyVRF SimpleVRF → VerKeyVRF SimpleVRF → Bool Source # (/=) ∷ VerKeyVRF SimpleVRF → VerKeyVRF SimpleVRF → Bool Source #
NoThunks (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods noThunks ∷ Context → CertVRF SimpleVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CertVRF SimpleVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CertVRF SimpleVRF) → String Source #
NoThunks (SignKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods noThunks ∷ Context → SignKeyVRF SimpleVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyVRF SimpleVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyVRF SimpleVRF) → String Source #
NoThunks (VerKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods noThunks ∷ Context → VerKeyVRF SimpleVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyVRF SimpleVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyVRF SimpleVRF) → String Source #
data CertVRF SimpleVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Simple data CertVRF SimpleVRF = CertSimpleVRF { certU ∷ !Point certC ∷ !Natural certS ∷ !Integer }
type ContextVRF SimpleVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Simple type ContextVRF SimpleVRF = ()
newtype SignKeyVRF SimpleVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Simple newtype SignKeyVRF SimpleVRF = SignKeySimpleVRF PrivateNumber
type Signable SimpleVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Simple type Signable SimpleVRF = SignableRepresentation
newtype VerKeyVRF SimpleVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Simple newtype VerKeyVRF SimpleVRF = VerKeySimpleVRF Point
type Rep (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple type Rep (CertVRF SimpleVRF)
type Rep (SignKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple type Rep (SignKeyVRF SimpleVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.Simple" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "SignKeySimpleVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrivateNumber)))
type Rep (VerKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple type Rep (VerKeyVRF SimpleVRF)

pointFromMaybe ∷ Maybe (Integer, Integer) → Point Source #