Modulecardano-protocol-0.1.0.0Haskell2010

Cardano.Protocol.Praos.VRF

Synopsis

newtypenewtype InputVRF

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

Instances8Eq, Ord, Show, Generic, NoThunks, ToCBOR, …

Eq InputVRFDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Praos.VRF
Ord InputVRFDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Praos.VRF
Show InputVRFDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Praos.VRF
Generic InputVRFDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Praos.VRF
NoThunks InputVRFDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Praos.VRF
ToCBOR InputVRFDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Praos.VRF
SignableRepresentation InputVRFDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Praos.VRF
type Rep InputVRF = D1 ('MetaData "InputVRF" "Cardano.Protocol.Praos.VRF" "cardano-protocol-0.1.0.0-FgHz3uBkAX6HCSlLyWMI86" 'True) (C1 ('MetaCons "InputVRF" 'PrefixI 'True) (S1 ('MetaSel ('Just "unInputVRF") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Blake2b_256 InputVRF))))Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Praos.VRF

datadata VRFUsage

Indicate the usage of the VRF result.

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.

valuemkInputVRF

Construct a unified VRF value

valuevrfLeaderValue :: proxy c -> CertifiedVRF (VRF c) InputVRF -> BoundedNatural

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.

valuevrfNonceValue :: proxy c -> CertifiedVRF (VRF c) InputVRF -> Nonce

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