cardano-crypto-class-2.0.0.0.1: Type classes abstracting over cryptography primitives for Cardano
Safe Haskell None
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 -> ( 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 Source #

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

Defined in Cardano.Crypto.VRF.Simple

Methods

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

(/=) :: CertVRF SimpleVRF -> CertVRF SimpleVRF -> Bool 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 #

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

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 #

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

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

NFData ( SignKeyVRF SimpleVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnf :: SignKeyVRF SimpleVRF -> () Source #

NFData ( CertVRF SimpleVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnf :: CertVRF SimpleVRF -> () 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 #

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.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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 #