Safe Haskell	None
Language	Haskell2010

Cardano.Crypto.VRF.Praos

Contents

VRFAlgorithm API
Low-level size specifiers
Key sizes
Seed and key generation
Conversions
Core VRF operations

Description

Verifiable Random Function (VRF) implemented as FFI wrappers around the implementation in https://github.com/input-output-hk/libsodium

Synopsis

data PraosVRF
crypto_vrf_proofbytes :: CSize
crypto_vrf_publickeybytes :: CSize
crypto_vrf_secretkeybytes :: CSize
crypto_vrf_seedbytes :: CSize
crypto_vrf_outputbytes :: CSize
certSizeVRF :: Int
signKeySizeVRF :: Int
verKeySizeVRF :: Int
vrfKeySizeVRF :: Int
data Seed
genSeed :: IO Seed
keypairFromSeed :: Seed -> (VerKey, SignKey)
unsafeRawSeed :: Seed -> IO ByteString
outputBytes :: Output -> ByteString
proofBytes :: Proof -> ByteString
skBytes :: SignKey -> ByteString
vkBytes :: VerKey -> ByteString
skToVerKey :: SignKey -> VerKey
skToSeed :: SignKey -> Seed
prove :: SignKey -> ByteString -> Maybe Proof
verify :: VerKey -> Proof -> ByteString -> Maybe Output
data family SignKeyVRF v
data family VerKeyVRF v
data family CertVRF v

VRFAlgorithm API

data PraosVRF Source #

Instances

Instances details

VRFAlgorithm PraosVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Associated Types data VerKeyVRF PraosVRF Source # data SignKeyVRF PraosVRF Source # data CertVRF PraosVRF Source # type ContextVRF PraosVRF Source # type Signable PraosVRF :: Type -> Constraint Source # Methods algorithmNameVRF :: proxy PraosVRF -> String Source # deriveVerKeyVRF :: SignKeyVRF PraosVRF -> VerKeyVRF PraosVRF Source # hashVerKeyVRF :: HashAlgorithm h => VerKeyVRF PraosVRF -> Hash h (VerKeyVRF PraosVRF) Source # evalVRF :: (HasCallStack, Signable PraosVRF a) => ContextVRF PraosVRF -> a -> SignKeyVRF PraosVRF -> (OutputVRF PraosVRF, CertVRF PraosVRF) Source # verifyVRF :: (HasCallStack, Signable PraosVRF a) => ContextVRF PraosVRF -> VerKeyVRF PraosVRF -> a -> (OutputVRF PraosVRF, CertVRF PraosVRF) -> Bool Source # genKeyVRF :: Seed -> SignKeyVRF PraosVRF Source # genKeyPairVRF :: Seed -> (SignKeyVRF PraosVRF, VerKeyVRF PraosVRF) Source # seedSizeVRF :: proxy PraosVRF -> Word Source # sizeVerKeyVRF :: proxy PraosVRF -> Word Source # sizeSignKeyVRF :: proxy PraosVRF -> Word Source # sizeCertVRF :: proxy PraosVRF -> Word Source # sizeOutputVRF :: proxy PraosVRF -> Word Source # rawSerialiseVerKeyVRF :: VerKeyVRF PraosVRF -> ByteString Source # rawSerialiseSignKeyVRF :: SignKeyVRF PraosVRF -> ByteString Source # rawSerialiseCertVRF :: CertVRF PraosVRF -> ByteString Source # rawDeserialiseVerKeyVRF :: ByteString -> Maybe (VerKeyVRF PraosVRF) Source # rawDeserialiseSignKeyVRF :: ByteString -> Maybe (SignKeyVRF PraosVRF) Source # rawDeserialiseCertVRF :: ByteString -> Maybe (CertVRF PraosVRF) Source #
Eq (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods (==) :: CertVRF PraosVRF -> CertVRF PraosVRF -> Bool # (/=) :: CertVRF PraosVRF -> CertVRF PraosVRF -> Bool #
Eq (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods (==) :: SignKeyVRF PraosVRF -> SignKeyVRF PraosVRF -> Bool # (/=) :: SignKeyVRF PraosVRF -> SignKeyVRF PraosVRF -> Bool #
Eq (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods (==) :: VerKeyVRF PraosVRF -> VerKeyVRF PraosVRF -> Bool # (/=) :: VerKeyVRF PraosVRF -> VerKeyVRF PraosVRF -> Bool #
Show (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods showsPrec :: Int -> CertVRF PraosVRF -> ShowS # show :: CertVRF PraosVRF -> String # showList :: [CertVRF PraosVRF] -> ShowS #
Show (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods showsPrec :: Int -> SignKeyVRF PraosVRF -> ShowS # show :: SignKeyVRF PraosVRF -> String # showList :: [SignKeyVRF PraosVRF] -> ShowS #
Show (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods showsPrec :: Int -> VerKeyVRF PraosVRF -> ShowS # show :: VerKeyVRF PraosVRF -> String # showList :: [VerKeyVRF PraosVRF] -> ShowS #
Generic (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Associated Types type Rep (CertVRF PraosVRF) :: Type -> Type # Methods from :: CertVRF PraosVRF -> Rep (CertVRF PraosVRF) x # to :: Rep (CertVRF PraosVRF) x -> CertVRF PraosVRF #
Generic (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Associated Types type Rep (SignKeyVRF PraosVRF) :: Type -> Type # Methods from :: SignKeyVRF PraosVRF -> Rep (SignKeyVRF PraosVRF) x # to :: Rep (SignKeyVRF PraosVRF) x -> SignKeyVRF PraosVRF #
Generic (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Associated Types type Rep (VerKeyVRF PraosVRF) :: Type -> Type # Methods from :: VerKeyVRF PraosVRF -> Rep (VerKeyVRF PraosVRF) x # to :: Rep (VerKeyVRF PraosVRF) x -> VerKeyVRF PraosVRF #
ToCBOR (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR :: CertVRF PraosVRF -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CertVRF PraosVRF) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CertVRF PraosVRF] -> Size Source #
ToCBOR (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR :: SignKeyVRF PraosVRF -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyVRF PraosVRF) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyVRF PraosVRF] -> Size Source #
ToCBOR (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR :: VerKeyVRF PraosVRF -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyVRF PraosVRF) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyVRF PraosVRF] -> Size Source #
FromCBOR (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR :: Decoder s (CertVRF PraosVRF) Source # label :: Proxy (CertVRF PraosVRF) -> Text Source #
FromCBOR (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR :: Decoder s (SignKeyVRF PraosVRF) Source # label :: Proxy (SignKeyVRF PraosVRF) -> Text Source #
FromCBOR (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR :: Decoder s (VerKeyVRF PraosVRF) Source # label :: Proxy (VerKeyVRF PraosVRF) -> Text Source #
NFData (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods rnf :: CertVRF PraosVRF -> () #
NFData (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods rnf :: SignKeyVRF PraosVRF -> () #
NFData (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods rnf :: VerKeyVRF PraosVRF -> () #
NoThunks (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks :: Context -> CertVRF PraosVRF -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> CertVRF PraosVRF -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (CertVRF PraosVRF) -> String Source #
NoThunks (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks :: Context -> SignKeyVRF PraosVRF -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SignKeyVRF PraosVRF -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SignKeyVRF PraosVRF) -> String Source #
NoThunks (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks :: Context -> VerKeyVRF PraosVRF -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> VerKeyVRF PraosVRF -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (VerKeyVRF PraosVRF) -> String Source #
type Signable PraosVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Praos type Signable PraosVRF = SignableRepresentation
type ContextVRF PraosVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Praos type ContextVRF PraosVRF = ()
newtype CertVRF PraosVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Praos newtype CertVRF PraosVRF = CertPraosVRF Proof
newtype SignKeyVRF PraosVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Praos newtype SignKeyVRF PraosVRF = SignKeyPraosVRF SignKey
newtype VerKeyVRF PraosVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Praos newtype VerKeyVRF PraosVRF = VerKeyPraosVRF VerKey
type Rep (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos type Rep (CertVRF PraosVRF)
type Rep (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos type Rep (SignKeyVRF PraosVRF)
type Rep (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos type Rep (VerKeyVRF PraosVRF)

Low-level size specifiers

crypto_vrf_proofbytes :: CSize Source #

crypto_vrf_publickeybytes :: CSize Source #

crypto_vrf_secretkeybytes :: CSize Source #

crypto_vrf_seedbytes :: CSize Source #

crypto_vrf_outputbytes :: CSize Source #

Key sizes

certSizeVRF :: Int Source #

signKeySizeVRF :: Int Source #

verKeySizeVRF :: Int Source #

vrfKeySizeVRF :: Int Source #

Seed and key generation

data Seed Source #

A random seed, used to derive a key pair.

Instances

Instances details

NoThunks Seed Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks :: Context -> Seed -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Seed -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy Seed -> String Source #

genSeed :: IO Seed Source #

Generate a random seed. Uses randombytes_buf to create random data.

This function provides an alternative way of generating seeds specifically for the PraosVRF algorithm. Unlike the genKeyPairVRF method, which uses a ByteString-based Seed, this seed generation method bypasses the GHC heap, keeping the seed in C-allocated memory instead.

This provides two advantages: 1. It avoids the overhead of unnecessary GHC-side heap allocations. 2. It avoids leaking the seed via the GHC heap; the Seed type itself takes care of zeroing out its memory upon finalization.

keypairFromSeed :: Seed -> (VerKey, SignKey) Source #

Derive a key pair (Sign + Verify) from a seed.

Conversions

unsafeRawSeed :: Seed -> IO ByteString Source #

Convert an opaque Seed into a ByteString that we can inspect. Note that this will copy the seed into RTS-managed memory; this is not currently a problem, but if at any point we decide that we want to make sure the seed is properly mlocked, then this function will leak such a secured seed into non-locked (swappable) memory.

outputBytes :: Output -> ByteString Source #

Convert a proof verification output hash into a ByteString that we can inspect.

proofBytes :: Proof -> ByteString Source #

Convert a proof into a ByteString that we can inspect.

skBytes :: SignKey -> ByteString Source #

Convert a signing key into a ByteString that we can inspect.

vkBytes :: VerKey -> ByteString Source #

Convert a verification key into a ByteString that we can inspect.

skToVerKey :: SignKey -> VerKey Source #

Derive a Verification Key from a Signing Key.

skToSeed :: SignKey -> Seed Source #

Get the seed used to generate a given Signing Key

Core VRF operations

prove :: SignKey -> ByteString -> Maybe Proof Source #

Construct a proof from a Signing Key and a message. Returns Just the proof on success, Nothing if the signing key could not be decoded.

verify :: VerKey -> Proof -> ByteString -> Maybe Output Source #

Verify a VRF proof and validate the Verification Key. Returns Just a hash of the verification result on success, Nothing if the verification did not succeed.

For a given verification key and message, there are many possible proofs but only one possible output hash.

data family SignKeyVRF v Source #

Instances

Instances details

Eq (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods (==) :: SignKeyVRF PraosVRF -> SignKeyVRF PraosVRF -> Bool # (/=) :: SignKeyVRF PraosVRF -> SignKeyVRF PraosVRF -> Bool #
(TypeError ('Text "Ord not supported for signing keys, use the hash instead") :: Constraint, Eq (SignKeyVRF v)) => Ord (SignKeyVRF v)
Instance details Defined in Cardano.Crypto.VRF.Class Methods compare :: SignKeyVRF v -> SignKeyVRF v -> Ordering # (<) :: SignKeyVRF v -> SignKeyVRF v -> Bool # (<=) :: SignKeyVRF v -> SignKeyVRF v -> Bool # (>) :: SignKeyVRF v -> SignKeyVRF v -> Bool # (>=) :: SignKeyVRF v -> SignKeyVRF v -> Bool # max :: SignKeyVRF v -> SignKeyVRF v -> SignKeyVRF v # min :: SignKeyVRF v -> SignKeyVRF v -> SignKeyVRF v #
Show (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods showsPrec :: Int -> SignKeyVRF PraosVRF -> ShowS # show :: SignKeyVRF PraosVRF -> String # showList :: [SignKeyVRF PraosVRF] -> ShowS #
Generic (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Associated Types type Rep (SignKeyVRF PraosVRF) :: Type -> Type # Methods from :: SignKeyVRF PraosVRF -> Rep (SignKeyVRF PraosVRF) x # to :: Rep (SignKeyVRF PraosVRF) x -> SignKeyVRF PraosVRF #
ToCBOR (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR :: SignKeyVRF PraosVRF -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyVRF PraosVRF) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyVRF PraosVRF] -> Size Source #
FromCBOR (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR :: Decoder s (SignKeyVRF PraosVRF) Source # label :: Proxy (SignKeyVRF PraosVRF) -> Text Source #
NFData (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods rnf :: SignKeyVRF PraosVRF -> () #
NoThunks (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks :: Context -> SignKeyVRF PraosVRF -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SignKeyVRF PraosVRF -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SignKeyVRF PraosVRF) -> String Source #
newtype SignKeyVRF PraosVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Praos newtype SignKeyVRF PraosVRF = SignKeyPraosVRF SignKey
type Rep (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos type Rep (SignKeyVRF PraosVRF)

data family VerKeyVRF v Source #

Instances

Instances details

Eq (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods (==) :: VerKeyVRF PraosVRF -> VerKeyVRF PraosVRF -> Bool # (/=) :: VerKeyVRF PraosVRF -> VerKeyVRF PraosVRF -> Bool #
(TypeError ('Text "Ord not supported for verification keys, use the hash instead") :: Constraint, Eq (VerKeyVRF v)) => Ord (VerKeyVRF v)
Instance details Defined in Cardano.Crypto.VRF.Class Methods compare :: VerKeyVRF v -> VerKeyVRF v -> Ordering # (<) :: VerKeyVRF v -> VerKeyVRF v -> Bool # (<=) :: VerKeyVRF v -> VerKeyVRF v -> Bool # (>) :: VerKeyVRF v -> VerKeyVRF v -> Bool # (>=) :: VerKeyVRF v -> VerKeyVRF v -> Bool # max :: VerKeyVRF v -> VerKeyVRF v -> VerKeyVRF v # min :: VerKeyVRF v -> VerKeyVRF v -> VerKeyVRF v #
Show (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods showsPrec :: Int -> VerKeyVRF PraosVRF -> ShowS # show :: VerKeyVRF PraosVRF -> String # showList :: [VerKeyVRF PraosVRF] -> ShowS #
Generic (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Associated Types type Rep (VerKeyVRF PraosVRF) :: Type -> Type # Methods from :: VerKeyVRF PraosVRF -> Rep (VerKeyVRF PraosVRF) x # to :: Rep (VerKeyVRF PraosVRF) x -> VerKeyVRF PraosVRF #
ToCBOR (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR :: VerKeyVRF PraosVRF -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyVRF PraosVRF) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyVRF PraosVRF] -> Size Source #
FromCBOR (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR :: Decoder s (VerKeyVRF PraosVRF) Source # label :: Proxy (VerKeyVRF PraosVRF) -> Text Source #
NFData (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods rnf :: VerKeyVRF PraosVRF -> () #
NoThunks (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks :: Context -> VerKeyVRF PraosVRF -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> VerKeyVRF PraosVRF -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (VerKeyVRF PraosVRF) -> String Source #
newtype VerKeyVRF PraosVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Praos newtype VerKeyVRF PraosVRF = VerKeyPraosVRF VerKey
type Rep (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos type Rep (VerKeyVRF PraosVRF)

data family CertVRF v Source #

Instances

Instances details

Eq (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods (==) :: CertVRF PraosVRF -> CertVRF PraosVRF -> Bool # (/=) :: CertVRF PraosVRF -> CertVRF PraosVRF -> Bool #
Show (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods showsPrec :: Int -> CertVRF PraosVRF -> ShowS # show :: CertVRF PraosVRF -> String # showList :: [CertVRF PraosVRF] -> ShowS #
Generic (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Associated Types type Rep (CertVRF PraosVRF) :: Type -> Type # Methods from :: CertVRF PraosVRF -> Rep (CertVRF PraosVRF) x # to :: Rep (CertVRF PraosVRF) x -> CertVRF PraosVRF #
ToCBOR (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR :: CertVRF PraosVRF -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CertVRF PraosVRF) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CertVRF PraosVRF] -> Size Source #
FromCBOR (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR :: Decoder s (CertVRF PraosVRF) Source # label :: Proxy (CertVRF PraosVRF) -> Text Source #
NFData (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods rnf :: CertVRF PraosVRF -> () #
NoThunks (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks :: Context -> CertVRF PraosVRF -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> CertVRF PraosVRF -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (CertVRF PraosVRF) -> String Source #
newtype CertVRF PraosVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Praos newtype CertVRF PraosVRF = CertPraosVRF Proof
type Rep (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Praos type Rep (CertVRF PraosVRF)