Modulecardano-crypto-class-2.5.1.0

Cardano.Crypto.VRF.Class

2 types
1 class
17 values

Packagecardano-crypto-class-2.5.1.0
Exports20
LicenceApache-2.0

valuedecodeCertVRF :: VRFAlgorithm v => Decoder s (CertVRF v)

Deprecated. Use decodeFixedSized instead

valuedecodeSignKeyVRF :: VRFAlgorithm v => Decoder s (SignKeyVRF v)

Deprecated. Use decodeFixedSized instead

valuedecodeVerKeyVRF :: VRFAlgorithm v => Decoder s (VerKeyVRF v)

Deprecated. Use decodeFixedSized instead

valueencodeCertVRF :: VRFAlgorithm v => CertVRF v -> Encoding

Deprecated. Use encodeFixedSized instead

valueencodeSignKeyVRF :: VRFAlgorithm v => SignKeyVRF v -> Encoding

Deprecated. Use encodeFixedSized instead

valueencodeVerKeyVRF :: VRFAlgorithm v => VerKeyVRF v -> Encoding

Deprecated. Use encodeFixedSized instead

valueencodedCertVRFSizeExpr :: VRFAlgorithm v => Proxy (CertVRF v) -> Size

valueencodedSignKeyVRFSizeExpr :: VRFAlgorithm v => Proxy (SignKeyVRF v) -> Size

valueencodedVerKeyVRFSizeExpr :: VRFAlgorithm v => Proxy (VerKeyVRF v) -> Size

valueevalCertified

:: (VRFAlgorithm v, Signable v a)
=> ContextVRF v
-> a
-> SignKeyVRF v
-> CertifiedVRF v a

valuegetOutputVRFBytes :: OutputVRF v -> ByteString

valuegetOutputVRFNatural :: OutputVRF v -> Natural

valuemkTestOutputVRF :: VRFAlgorithm v => Natural -> OutputVRF v

valuesizeCertVRF :: FixedSizeCodec (CertVRF v) => proxy v -> Word

Deprecated. Use fixedSize instead

valuesizeSignKeyVRF :: FixedSizeCodec (SignKeyVRF v) => proxy v -> Word

Deprecated. Use fixedSize instead

valuesizeVerKeyVRF :: FixedSizeCodec (VerKeyVRF v) => proxy v -> Word

Deprecated. Use fixedSize instead

valueverifyCertified

:: (VRFAlgorithm v, Signable v a)
=> ContextVRF v
-> VerKeyVRF v
-> a
-> CertifiedVRF v a
-> Bool

datadata CertifiedVRF v a

Constructors

CertifiedVRF
- certifiedOutput :: !OutputVRF v
- certifiedProof :: !CertVRF v

Instances8Eq, Ord, Show, Generic, NoThunks, FromCBOR, …

VRFAlgorithm v => Eq (CertifiedVRF v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
VRFAlgorithm v => Ord (CertifiedVRF v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
VRFAlgorithm v => Show (CertifiedVRF v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
Generic (CertifiedVRF v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
VRFAlgorithm v => NoThunks (CertifiedVRF v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
(VRFAlgorithm v, Typeable a) => FromCBOR (CertifiedVRF v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
(VRFAlgorithm v, Typeable a) => ToCBOR (CertifiedVRF v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
type Rep (CertifiedVRF v a) = D1 ('MetaData "CertifiedVRF" "Cardano.Crypto.VRF.Class" "cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0" 'False) (C1 ('MetaCons "CertifiedVRF" 'PrefixI 'True) (S1 ('MetaSel ('Just "certifiedOutput") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (OutputVRF v)) :*: S1 ('MetaSel ('Just "certifiedProof") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertVRF v))))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class

newtypenewtype OutputVRF v

Constructors

OutputVRF
- getOutputVRFByteArray :: ByteArray

Instances7Eq, Ord, Show, NFData, NoThunks, FromCBOR, …

Eq (OutputVRF v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
Ord (OutputVRF v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
Show (OutputVRF v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
NFData (OutputVRF v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
NoThunks (OutputVRF v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
Typeable v => FromCBOR (OutputVRF v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
Typeable v => ToCBOR (OutputVRF v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class

class

class (Typeable v, Show (VerKeyVRF v), Eq (VerKeyVRF v), NFData (VerKeyVRF v), Show (SignKeyVRF v), NFData (SignKeyVRF v), Show (CertVRF v), Ord (CertVRF v), NFData (CertVRF v), NoThunks (CertVRF v), NoThunks (VerKeyVRF v), NoThunks (SignKeyVRF v), KnownNat (VerKeySizeVRF v), KnownNat (SignKeySizeVRF v), KnownNat (CertSizeVRF v), FixedSizeCodec (CertVRF v), FixedSizeCodec (VerKeyVRF v), FixedSizeCodec (SignKeyVRF v)) => VRFAlgorithm v where

Associated types

data family VerKeyVRF v
data family SignKeyVRF v
data family CertVRF v
type family VerKeySizeVRF v :: Nat
type family SignKeySizeVRF v :: Nat
type family CertSizeVRF v :: Nat
type family ContextVRF v
type family Signable v :: Type -> Constraint

Methods

algorithmNameVRF :: proxy v -> String
deriveVerKeyVRF :: SignKeyVRF v -> VerKeyVRF v
hashVerKeyVRF :: HashAlgorithm h => VerKeyVRF v -> Hash h (VerKeyVRF v)
evalVRF :: (HasCallStack, Signable v a) => ContextVRF v -> a -> SignKeyVRF v -> (OutputVRF v, CertVRF v)
verifyVRF :: (HasCallStack, Signable v a) => ContextVRF v -> VerKeyVRF v -> a -> CertVRF v -> Maybe (OutputVRF v)
genKeyVRF :: Seed -> SignKeyVRF v
genKeyPairVRF :: Seed -> (SignKeyVRF v, VerKeyVRF v)
seedSizeVRF :: proxy v -> Word
sizeOutputVRF :: proxy v -> Word
rawSerialiseVerKeyVRF :: VerKeyVRF v -> ByteString
rawSerialiseSignKeyVRF :: SignKeyVRF v -> ByteString
rawSerialiseCertVRF :: CertVRF v -> ByteString
rawDeserialiseVerKeyVRF :: ByteString -> Maybe (VerKeyVRF v)
rawDeserialiseSignKeyVRF :: ByteString -> Maybe (SignKeyVRF v)
rawDeserialiseCertVRF :: ByteString -> Maybe (CertVRF v)

Instances3VRFAlgorithm

VRFAlgorithm MockVRFDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Mock
VRFAlgorithm NeverVRFDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.NeverUsed
VRFAlgorithm SimpleVRFDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple