Safe Haskell	None
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

Eq InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF Methods (==) ∷ InputVRF → InputVRF → Bool Source # (/=) ∷ InputVRF → InputVRF → Bool Source #
Ord InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF Methods compare ∷ InputVRF → InputVRF → Ordering Source # (<) ∷ InputVRF → InputVRF → Bool Source # (<=) ∷ InputVRF → InputVRF → Bool Source # (>) ∷ InputVRF → InputVRF → Bool Source # (>=) ∷ InputVRF → InputVRF → Bool Source # max ∷ InputVRF → InputVRF → InputVRF Source # min ∷ InputVRF → InputVRF → InputVRF Source #
Show InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF Methods showsPrec ∷ Int → InputVRF → ShowS Source # show ∷ InputVRF → String Source # showList ∷ [InputVRF] → ShowS Source #
Generic InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF Associated Types type Rep InputVRF ∷ Type → Type Source # Methods from ∷ InputVRF → Rep InputVRF x Source # to ∷ Rep InputVRF x → InputVRF Source #
NoThunks InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF Methods noThunks ∷ Context → InputVRF → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → InputVRF → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy InputVRF → String #
ToCBOR InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF Methods toCBOR ∷ InputVRF → Encoding encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy InputVRF → Size encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [InputVRF] → Size
SignableRepresentation InputVRF Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.VRF Methods getSignableRepresentation ∷ InputVRF → ByteString
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.3.1.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.