cardano-crypto-class-2.0.0: Type classes abstracting over cryptography primitives for Cardano
Safe HaskellNone
LanguageHaskell2010

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 -> (OutputVRF SimpleVRF, CertVRF SimpleVRF) -> Bool 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 #

Eq (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

(==) :: VerKeyVRF SimpleVRF -> VerKeyVRF SimpleVRF -> Bool #

(/=) :: VerKeyVRF SimpleVRF -> VerKeyVRF SimpleVRF -> Bool #

Eq (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

(==) :: SignKeyVRF SimpleVRF -> SignKeyVRF SimpleVRF -> Bool #

(/=) :: SignKeyVRF SimpleVRF -> SignKeyVRF SimpleVRF -> Bool #

Eq (CertVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

(==) :: CertVRF SimpleVRF -> CertVRF SimpleVRF -> Bool #

(/=) :: CertVRF SimpleVRF -> CertVRF SimpleVRF -> Bool #

Show (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

showsPrec :: Int -> VerKeyVRF SimpleVRF -> ShowS #

show :: VerKeyVRF SimpleVRF -> String #

showList :: [VerKeyVRF SimpleVRF] -> ShowS #

Show (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

showsPrec :: Int -> SignKeyVRF SimpleVRF -> ShowS #

show :: SignKeyVRF SimpleVRF -> String #

showList :: [SignKeyVRF SimpleVRF] -> ShowS #

Show (CertVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

showsPrec :: Int -> CertVRF SimpleVRF -> ShowS #

show :: CertVRF SimpleVRF -> String #

showList :: [CertVRF SimpleVRF] -> ShowS #

Generic (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Associated Types

type Rep (VerKeyVRF SimpleVRF) :: Type -> Type #

Methods

from :: VerKeyVRF SimpleVRF -> Rep (VerKeyVRF SimpleVRF) x #

to :: Rep (VerKeyVRF SimpleVRF) x -> VerKeyVRF SimpleVRF #

Generic (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Associated Types

type Rep (SignKeyVRF SimpleVRF) :: Type -> Type #

Methods

from :: SignKeyVRF SimpleVRF -> Rep (SignKeyVRF SimpleVRF) x #

to :: Rep (SignKeyVRF SimpleVRF) x -> SignKeyVRF SimpleVRF #

Generic (CertVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Associated Types

type Rep (CertVRF SimpleVRF) :: Type -> Type #

Methods

from :: CertVRF SimpleVRF -> Rep (CertVRF SimpleVRF) x #

to :: Rep (CertVRF SimpleVRF) x -> CertVRF SimpleVRF #

ToCBOR (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

toCBOR :: VerKeyVRF SimpleVRF -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyVRF SimpleVRF) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyVRF SimpleVRF] -> Size Source #

ToCBOR (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

toCBOR :: SignKeyVRF SimpleVRF -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyVRF SimpleVRF) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyVRF SimpleVRF] -> Size Source #

ToCBOR (CertVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

toCBOR :: CertVRF SimpleVRF -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CertVRF SimpleVRF) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CertVRF SimpleVRF] -> Size 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 #

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 (CertVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

fromCBOR :: Decoder s (CertVRF SimpleVRF) Source #

label :: Proxy (CertVRF SimpleVRF) -> Text Source #

NFData (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnf :: VerKeyVRF SimpleVRF -> () #

NFData (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnf :: SignKeyVRF SimpleVRF -> () #

NFData (CertVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnf :: CertVRF SimpleVRF -> () #

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 #

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 (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 #

newtype VerKeyVRF SimpleVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

newtype VerKeyVRF SimpleVRF = VerKeySimpleVRF Point
newtype SignKeyVRF SimpleVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

newtype SignKeyVRF SimpleVRF = SignKeySimpleVRF PrivateNumber
data CertVRF SimpleVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

data CertVRF SimpleVRF = CertSimpleVRF {}
type ContextVRF SimpleVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type ContextVRF SimpleVRF = ()
type Signable SimpleVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type Signable SimpleVRF = SignableRepresentation
type Rep (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type Rep (VerKeyVRF 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.0.0-8Wg6S5FD924IEUDdpkXXc" 'True) (C1 ('MetaCons "SignKeySimpleVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrivateNumber)))
type Rep (CertVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type Rep (CertVRF SimpleVRF)

pointFromMaybe :: Maybe (Integer, Integer) -> Point Source #