VRFAlgorithm MockVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Associated Types data VerKeyVRF MockVRF Source # data SignKeyVRF MockVRF Source # data CertVRF MockVRF Source # type ContextVRF MockVRF Source # type Signable MockVRF ∷ Type → Constraint Source # Methods algorithmNameVRF ∷ proxy MockVRF → String Source # deriveVerKeyVRF ∷ SignKeyVRF MockVRF → VerKeyVRF MockVRF Source # hashVerKeyVRF ∷ HashAlgorithm h ⇒ VerKeyVRF MockVRF → Hash h (VerKeyVRF MockVRF) Source # evalVRF ∷ (HasCallStack, Signable MockVRF a) ⇒ ContextVRF MockVRF → a → SignKeyVRF MockVRF → (OutputVRF MockVRF, CertVRF MockVRF) Source # verifyVRF ∷ (HasCallStack, Signable MockVRF a) ⇒ ContextVRF MockVRF → VerKeyVRF MockVRF → a → CertVRF MockVRF → Maybe (OutputVRF MockVRF) Source # genKeyVRF ∷ Seed → SignKeyVRF MockVRF Source # genKeyPairVRF ∷ Seed → (SignKeyVRF MockVRF, VerKeyVRF MockVRF) Source # seedSizeVRF ∷ proxy MockVRF → Word Source # sizeVerKeyVRF ∷ proxy MockVRF → Word Source # sizeSignKeyVRF ∷ proxy MockVRF → Word Source # sizeCertVRF ∷ proxy MockVRF → Word Source # sizeOutputVRF ∷ proxy MockVRF → Word Source # rawSerialiseVerKeyVRF ∷ VerKeyVRF MockVRF → ByteString Source # rawSerialiseSignKeyVRF ∷ SignKeyVRF MockVRF → ByteString Source # rawSerialiseCertVRF ∷ CertVRF MockVRF → ByteString Source # rawDeserialiseVerKeyVRF ∷ ByteString → Maybe (VerKeyVRF MockVRF) Source # rawDeserialiseSignKeyVRF ∷ ByteString → Maybe (SignKeyVRF MockVRF) Source # rawDeserialiseCertVRF ∷ ByteString → Maybe (CertVRF MockVRF) Source #
VRFAlgorithm NeverVRF Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Associated Types data VerKeyVRF NeverVRF Source # data SignKeyVRF NeverVRF Source # data CertVRF NeverVRF Source # type ContextVRF NeverVRF Source # type Signable NeverVRF ∷ Type → Constraint Source # Methods algorithmNameVRF ∷ proxy NeverVRF → String Source # deriveVerKeyVRF ∷ SignKeyVRF NeverVRF → VerKeyVRF NeverVRF Source # hashVerKeyVRF ∷ HashAlgorithm h ⇒ VerKeyVRF NeverVRF → Hash h (VerKeyVRF NeverVRF) Source # evalVRF ∷ (HasCallStack, Signable NeverVRF a) ⇒ ContextVRF NeverVRF → a → SignKeyVRF NeverVRF → (OutputVRF NeverVRF, CertVRF NeverVRF) Source # verifyVRF ∷ (HasCallStack, Signable NeverVRF a) ⇒ ContextVRF NeverVRF → VerKeyVRF NeverVRF → a → CertVRF NeverVRF → Maybe (OutputVRF NeverVRF) Source # genKeyVRF ∷ Seed → SignKeyVRF NeverVRF Source # genKeyPairVRF ∷ Seed → (SignKeyVRF NeverVRF, VerKeyVRF NeverVRF) Source # seedSizeVRF ∷ proxy NeverVRF → Word Source # sizeVerKeyVRF ∷ proxy NeverVRF → Word Source # sizeSignKeyVRF ∷ proxy NeverVRF → Word Source # sizeCertVRF ∷ proxy NeverVRF → Word Source # sizeOutputVRF ∷ proxy NeverVRF → Word Source # rawSerialiseVerKeyVRF ∷ VerKeyVRF NeverVRF → ByteString Source # rawSerialiseSignKeyVRF ∷ SignKeyVRF NeverVRF → ByteString Source # rawSerialiseCertVRF ∷ CertVRF NeverVRF → ByteString Source # rawDeserialiseVerKeyVRF ∷ ByteString → Maybe (VerKeyVRF NeverVRF) Source # rawDeserialiseSignKeyVRF ∷ ByteString → Maybe (SignKeyVRF NeverVRF) Source # rawDeserialiseCertVRF ∷ ByteString → Maybe (CertVRF NeverVRF) Source #
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 #

VRF output

newtype OutputVRF v Source #

The output bytes of the VRF.

The output size is a fixed number of bytes and is given by sizeOutputVRF.

Constructors

OutputVRF
Fields getOutputVRFBytes ∷ ByteString

Instances

Instances details

Show (OutputVRF v) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Methods showsPrec ∷ Int → OutputVRF v → ShowS # show ∷ OutputVRF v → String # showList ∷ [OutputVRF v] → ShowS #
Typeable v ⇒ FromCBOR (OutputVRF v) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Methods fromCBOR ∷ Decoder s (OutputVRF v) Source # label ∷ Proxy (OutputVRF v) → Text Source #
Typeable v ⇒ ToCBOR (OutputVRF v) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Methods toCBOR ∷ OutputVRF v → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (OutputVRF v) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [OutputVRF v] → Size Source #
NFData (OutputVRF v) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Methods rnf ∷ OutputVRF v → ()
Eq (OutputVRF v) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Methods (==) ∷ OutputVRF v → OutputVRF v → Bool # (/=) ∷ OutputVRF v → OutputVRF v → Bool #
Ord (OutputVRF v) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Methods compare ∷ OutputVRF v → OutputVRF v → Ordering # (<) ∷ OutputVRF v → OutputVRF v → Bool # (<=) ∷ OutputVRF v → OutputVRF v → Bool # (>) ∷ OutputVRF v → OutputVRF v → Bool # (>=) ∷ OutputVRF v → OutputVRF v → Bool # max ∷ OutputVRF v → OutputVRF v → OutputVRF v # min ∷ OutputVRF v → OutputVRF v → OutputVRF v #
NoThunks (OutputVRF v) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Methods noThunks ∷ Context → OutputVRF v → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OutputVRF v → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OutputVRF v) → String Source #

getOutputVRFNatural ∷ OutputVRF v → Natural Source #

The output bytes of the VRF interpreted as a big endian natural number.

The range of this number is determined by the size of the VRF output bytes. It is thus in the range 0 .. 2 ^ (8 * sizeOutputVRF proxy) - 1.

mkTestOutputVRF ∷ ∀ v. VRFAlgorithm v ⇒ Natural → OutputVRF v Source #

For testing purposes, make an OutputVRF from a Natural.

The OutputVRF will be of the appropriate size for the VRFAlgorithm.

`CertifiedVRF` wrapper

data CertifiedVRF v a Source #

Constructors

CertifiedVRF
Fields certifiedOutput ∷ !(OutputVRF v) certifiedProof ∷ !(CertVRF v)

Instances

Instances details

Generic (CertifiedVRF v a) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Associated Types type Rep (CertifiedVRF v a) ∷ Type → Type # Methods from ∷ CertifiedVRF v a → Rep (CertifiedVRF v a) x # to ∷ Rep (CertifiedVRF v a) x → CertifiedVRF v a #
VRFAlgorithm v ⇒ Show (CertifiedVRF v a) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Methods showsPrec ∷ Int → CertifiedVRF v a → ShowS # show ∷ CertifiedVRF v a → String # showList ∷ [CertifiedVRF v a] → ShowS #
(VRFAlgorithm v, Typeable a) ⇒ FromCBOR (CertifiedVRF v a) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Methods fromCBOR ∷ Decoder s (CertifiedVRF v a) Source # label ∷ Proxy (CertifiedVRF v a) → Text Source #
(VRFAlgorithm v, Typeable a) ⇒ ToCBOR (CertifiedVRF v a) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Methods toCBOR ∷ CertifiedVRF v a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertifiedVRF v a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CertifiedVRF v a] → Size Source #
VRFAlgorithm v ⇒ Eq (CertifiedVRF v a) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Methods (==) ∷ CertifiedVRF v a → CertifiedVRF v a → Bool # (/=) ∷ CertifiedVRF v a → CertifiedVRF v a → Bool #
VRFAlgorithm v ⇒ NoThunks (CertifiedVRF v a) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Methods noThunks ∷ Context → CertifiedVRF v a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CertifiedVRF v a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CertifiedVRF v a) → String Source #
type Rep (CertifiedVRF v a) Source #
Instance details Defined in Cardano.Crypto.VRF.Class type Rep (CertifiedVRF v a) = D1 ('MetaData "CertifiedVRF" "Cardano.Crypto.VRF.Class" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "CertifiedVRF" 'PrefixI 'True) (S1 ('MetaSel ('Just "certifiedOutput") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OutputVRF v)) :*: S1 ('MetaSel ('Just "certifiedProof") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertVRF v))))