Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.VRF.Simple

Description

Mock implementations of verifiable random functions.

Documentation

data SimpleVRF #

Instances

Instances details

VRFAlgorithm SimpleVRF #
Instance details Defined in Cardano.Crypto.VRF.Simple Associated Types data VerKeyVRF SimpleVRF # data SignKeyVRF SimpleVRF # data CertVRF SimpleVRF # type ContextVRF SimpleVRF # type Signable SimpleVRF :: Type -> Constraint # Methods algorithmNameVRF :: proxy SimpleVRF -> String # deriveVerKeyVRF :: SignKeyVRF SimpleVRF -> VerKeyVRF SimpleVRF # hashVerKeyVRF :: HashAlgorithm h => VerKeyVRF SimpleVRF -> Hash h (VerKeyVRF SimpleVRF) # evalVRF :: (HasCallStack, Signable SimpleVRF a) => ContextVRF SimpleVRF -> a -> SignKeyVRF SimpleVRF -> (OutputVRF SimpleVRF, CertVRF SimpleVRF) # verifyVRF :: (HasCallStack, Signable SimpleVRF a) => ContextVRF SimpleVRF -> VerKeyVRF SimpleVRF -> a -> (OutputVRF SimpleVRF, CertVRF SimpleVRF) -> Bool # genKeyVRF :: Seed -> SignKeyVRF SimpleVRF # genKeyPairVRF :: Seed -> (SignKeyVRF SimpleVRF, VerKeyVRF SimpleVRF) # seedSizeVRF :: proxy SimpleVRF -> Word # sizeVerKeyVRF :: proxy SimpleVRF -> Word # sizeSignKeyVRF :: proxy SimpleVRF -> Word # sizeCertVRF :: proxy SimpleVRF -> Word # sizeOutputVRF :: proxy SimpleVRF -> Word # rawSerialiseVerKeyVRF :: VerKeyVRF SimpleVRF -> ByteString # rawSerialiseSignKeyVRF :: SignKeyVRF SimpleVRF -> ByteString # rawSerialiseCertVRF :: CertVRF SimpleVRF -> ByteString # rawDeserialiseVerKeyVRF :: ByteString -> Maybe (VerKeyVRF SimpleVRF) # rawDeserialiseSignKeyVRF :: ByteString -> Maybe (SignKeyVRF SimpleVRF) # rawDeserialiseCertVRF :: ByteString -> Maybe (CertVRF SimpleVRF) #
Generic (CertVRF SimpleVRF) #
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) #
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) #
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) #
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) #
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) #
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) #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR :: Decoder s (CertVRF SimpleVRF) Source # label :: Proxy (CertVRF SimpleVRF) -> Text Source #
FromCBOR (SignKeyVRF SimpleVRF) #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR :: Decoder s (SignKeyVRF SimpleVRF) Source # label :: Proxy (SignKeyVRF SimpleVRF) -> Text Source #
FromCBOR (VerKeyVRF SimpleVRF) #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR :: Decoder s (VerKeyVRF SimpleVRF) Source # label :: Proxy (VerKeyVRF SimpleVRF) -> Text Source #
ToCBOR (CertVRF SimpleVRF) #
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 #
ToCBOR (SignKeyVRF SimpleVRF) #
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 (VerKeyVRF SimpleVRF) #
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 #
NFData (CertVRF SimpleVRF) #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods rnf :: CertVRF SimpleVRF -> () Source #
NFData (SignKeyVRF SimpleVRF) #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods rnf :: SignKeyVRF SimpleVRF -> () Source #
NFData (VerKeyVRF SimpleVRF) #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods rnf :: VerKeyVRF SimpleVRF -> () Source #
Eq (CertVRF SimpleVRF) #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods (==) :: CertVRF SimpleVRF -> CertVRF SimpleVRF -> Bool Source # (/=) :: CertVRF SimpleVRF -> CertVRF SimpleVRF -> Bool Source #
Eq (SignKeyVRF SimpleVRF) #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods (==) :: SignKeyVRF SimpleVRF -> SignKeyVRF SimpleVRF -> Bool Source # (/=) :: SignKeyVRF SimpleVRF -> SignKeyVRF SimpleVRF -> Bool Source #
Eq (VerKeyVRF SimpleVRF) #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods (==) :: VerKeyVRF SimpleVRF -> VerKeyVRF SimpleVRF -> Bool Source # (/=) :: VerKeyVRF SimpleVRF -> VerKeyVRF SimpleVRF -> Bool Source #
NoThunks (CertVRF SimpleVRF) #
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) #
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) #
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 #
Instance details Defined in Cardano.Crypto.VRF.Simple data CertVRF SimpleVRF = CertSimpleVRF { certU :: !Point certC :: !Natural certS :: !Integer }
type ContextVRF SimpleVRF #
Instance details Defined in Cardano.Crypto.VRF.Simple type ContextVRF SimpleVRF = ()
newtype SignKeyVRF SimpleVRF #
Instance details Defined in Cardano.Crypto.VRF.Simple newtype SignKeyVRF SimpleVRF = SignKeySimpleVRF PrivateNumber
type Signable SimpleVRF #
Instance details Defined in Cardano.Crypto.VRF.Simple type Signable SimpleVRF = SignableRepresentation
newtype VerKeyVRF SimpleVRF #
Instance details Defined in Cardano.Crypto.VRF.Simple newtype VerKeyVRF SimpleVRF = VerKeySimpleVRF Point
type Rep (CertVRF SimpleVRF) #
Instance details Defined in Cardano.Crypto.VRF.Simple type Rep (CertVRF SimpleVRF)
type Rep (SignKeyVRF SimpleVRF) #
Instance details Defined in Cardano.Crypto.VRF.Simple type Rep (SignKeyVRF SimpleVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.Simple" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SignKeySimpleVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrivateNumber)))
type Rep (VerKeyVRF SimpleVRF) #
Instance details Defined in Cardano.Crypto.VRF.Simple type Rep (VerKeyVRF SimpleVRF)

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