Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Protocol.Praos.VRF

Description

This module implements VRF range extension as described in https://iohk.io/en/research/library/papers/on-uc-secure-range-extension-and-batch-verification-for-ecvrf/

Synopsis

data InputVRF
data VRFUsage
- = VRFLeader
- | VRFNonce
mkInputVRF ∷ SlotNo → Nonce → InputVRF
vrfLeaderValue ∷ ∀ c proxy. Crypto c ⇒ proxy c → CertifiedVRF (VRF c) InputVRF → BoundedNatural
vrfNonceValue ∷ ∀ c proxy. Crypto c ⇒ proxy c → CertifiedVRF (VRF c) InputVRF → Nonce

Documentation

data InputVRF Source #

Input to the verifiable random function. Consists of the hash of the slot and the epoch nonce.

Instances

Instances details

Generic InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF Associated Types type Rep InputVRF ∷ Type → Type # Methods from ∷ InputVRF → Rep InputVRF x # to ∷ Rep InputVRF x → InputVRF #
Show InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF Methods showsPrec ∷ Int → InputVRF → ShowS # show ∷ InputVRF → String # showList ∷ [InputVRF] → ShowS #
ToCBOR InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF Methods toCBOR ∷ InputVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy InputVRF → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [InputVRF] → Size Source #
SignableRepresentation InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF Methods getSignableRepresentation ∷ InputVRF → ByteString Source #
Eq InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF Methods (==) ∷ InputVRF → InputVRF → Bool # (/=) ∷ InputVRF → InputVRF → Bool #
Ord InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF Methods compare ∷ InputVRF → InputVRF → Ordering # (<) ∷ InputVRF → InputVRF → Bool # (<=) ∷ InputVRF → InputVRF → Bool # (>) ∷ InputVRF → InputVRF → Bool # (>=) ∷ InputVRF → InputVRF → Bool # max ∷ InputVRF → InputVRF → InputVRF # min ∷ InputVRF → InputVRF → InputVRF #
NoThunks InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF Methods noThunks ∷ Context → InputVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → InputVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy InputVRF → String Source #
type Rep InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF type Rep InputVRF = D1 ('MetaData "InputVRF" "Ouroboros.Consensus.Protocol.Praos.VRF" "ouroboros-consensus-protocol-0.9.0.0-inplace" 'True) (C1 ('MetaCons "InputVRF" 'PrefixI 'True) (S1 ('MetaSel ('Just "unInputVRF") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Blake2b_256 InputVRF))))

data VRFUsage Source #

Indicate the usage of the VRF result.

Constructors

VRFLeader	The VRF value will be used to establish whether the issuing node is indeed a leader for this slot.
VRFNonce	The VRF value will be used to contribute to the evolving nonce.

mkInputVRF Source #

Arguments

∷ SlotNo
→ Nonce	Epoch nonce
→ InputVRF

Construct a unified VRF value

vrfLeaderValue ∷ ∀ c proxy. Crypto c ⇒ proxy c → CertifiedVRF (VRF c) InputVRF → BoundedNatural Source #

Range-extend a VRF output to be used for leader checks from the relevant hash. See section 4.1 of the linked paper for details.

vrfNonceValue ∷ ∀ c proxy. Crypto c ⇒ proxy c → CertifiedVRF (VRF c) InputVRF → Nonce Source #

Range-extend a VRF output to be used for the evolving nonce. See section 4.1 of the linked paper for details.