type Rep HashHeader
Instance details Defined in Cardano.Ledger.Hashes type Rep HashHeader = D1 ('MetaData "HashHeader" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.22.0.0-inplace" 'True) (C1 ('MetaCons "HashHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHashHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockHeader))))

Methods

from ∷ HashHeader → Rep HashHeader x #

to ∷ Rep HashHeader x → HashHeader #

Show HashHeader

Instance details

Defined in Cardano.Ledger.Hashes

Methods

showsPrec ∷ Int → HashHeader → ShowS #

show ∷ HashHeader → String #

showList ∷ [HashHeader] → ShowS #

Eq HashHeader

Instance details

Defined in Cardano.Ledger.Hashes

Methods

(==) ∷ HashHeader → HashHeader → Bool #

(/=) ∷ HashHeader → HashHeader → Bool #

Ord HashHeader

Instance details

Defined in Cardano.Ledger.Hashes

Methods

compare ∷ HashHeader → HashHeader → Ordering #

(<) ∷ HashHeader → HashHeader → Bool #

(<=) ∷ HashHeader → HashHeader → Bool #

(>) ∷ HashHeader → HashHeader → Bool #

(>=) ∷ HashHeader → HashHeader → Bool #

max ∷ HashHeader → HashHeader → HashHeader #

min ∷ HashHeader → HashHeader → HashHeader #

NoThunks HashHeader

Instance details

Defined in Cardano.Ledger.Hashes

Methods

noThunks ∷ Context → HashHeader → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → HashHeader → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy HashHeader → String Source #

type Rep HashHeader

Instance details

Defined in Cardano.Ledger.Hashes

type Rep HashHeader = D1 ('MetaData "HashHeader" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.22.0.0-inplace" 'True) (C1 ('MetaCons "HashHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHashHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockHeader))))

data PrevHash Source #

The previous hash of a block

Constructors

GenesisHash
BlockHash !HashHeader

Instances

Instances details

DecCBOR PrevHash Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

decCBOR ∷ Decoder s PrevHash Source #

dropCBOR ∷ Proxy PrevHash → Decoder s () Source #

label ∷ Proxy PrevHash → Text Source #

EncCBOR PrevHash Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

encCBOR ∷ PrevHash → Encoding Source #

Generic PrevHash Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Associated Types

type Rep PrevHash

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

type Rep PrevHash = D1 ('MetaData "PrevHash" "Cardano.Protocol.TPraos.BlockHeader" "cardano-protocol-0.2.0.0-inplace" 'False) (C1 ('MetaCons "GenesisHash" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "BlockHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HashHeader)))

Methods

from ∷ PrevHash → Rep PrevHash x #

to ∷ Rep PrevHash x → PrevHash #

Show PrevHash Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

showsPrec ∷ Int → PrevHash → ShowS #

show ∷ PrevHash → String #

showList ∷ [PrevHash] → ShowS #

Eq PrevHash Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

(==) ∷ PrevHash → PrevHash → Bool #

(/=) ∷ PrevHash → PrevHash → Bool #

Ord PrevHash Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

compare ∷ PrevHash → PrevHash → Ordering #

(<) ∷ PrevHash → PrevHash → Bool #

(<=) ∷ PrevHash → PrevHash → Bool #

(>) ∷ PrevHash → PrevHash → Bool #

(>=) ∷ PrevHash → PrevHash → Bool #

max ∷ PrevHash → PrevHash → PrevHash #

min ∷ PrevHash → PrevHash → PrevHash #

NoThunks PrevHash Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

noThunks ∷ Context → PrevHash → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PrevHash → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PrevHash → String Source #

type Rep PrevHash Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

type Rep PrevHash = D1 ('MetaData "PrevHash" "Cardano.Protocol.TPraos.BlockHeader" "cardano-protocol-0.2.0.0-inplace" 'False) (C1 ('MetaCons "GenesisHash" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "BlockHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HashHeader)))

newtype BHeader c Source #

Constructors

BHeaderConstr (MemoBytes (BHeaderRaw c))

Bundled Patterns

pattern BHeader ∷ Crypto c ⇒ BHBody c → SignedKES (KES c) (BHBody c) → BHeader c

Instances

Instances details

Typeable c ⇒ ToCBOR (BHeader c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

toCBOR ∷ BHeader c → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (BHeader c) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [BHeader c] → Size Source #

Crypto c ⇒ DecCBOR (Annotator (BHeader c)) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

decCBOR ∷ Decoder s (Annotator (BHeader c)) Source #

dropCBOR ∷ Proxy (Annotator (BHeader c)) → Decoder s () Source #

label ∷ Proxy (Annotator (BHeader c)) → Text Source #

Crypto c ⇒ EncCBOR (BHeader c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

encCBOR ∷ BHeader c → Encoding Source #

SafeToHash (BHeader c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

originalBytes ∷ BHeader c → ByteString Source #

originalBytesSize ∷ BHeader c → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → BHeader c → SafeHash i Source #

Memoized (BHeader c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Associated Types

type RawType (BHeader c)
Instance details Defined in Cardano.Protocol.TPraos.BlockHeader type RawType (BHeader c) = BHeaderRaw c

Methods

getMemoBytes ∷ BHeader c → MemoBytes (RawType (BHeader c))

wrapMemoBytes ∷ MemoBytes (RawType (BHeader c)) → BHeader c

Generic (BHeader c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Associated Types

type Rep (BHeader c)
Instance details Defined in Cardano.Protocol.TPraos.BlockHeader type Rep (BHeader c) = D1 ('MetaData "BHeader" "Cardano.Protocol.TPraos.BlockHeader" "cardano-protocol-0.2.0.0-inplace" 'True) (C1 ('MetaCons "BHeaderConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (BHeaderRaw c)))))

Methods

from ∷ BHeader c → Rep (BHeader c) x #

to ∷ Rep (BHeader c) x → BHeader c #

Crypto c ⇒ Show (BHeader c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

showsPrec ∷ Int → BHeader c → ShowS #

show ∷ BHeader c → String #

showList ∷ [BHeader c] → ShowS #

Crypto c ⇒ Eq (BHeader c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

(==) ∷ BHeader c → BHeader c → Bool #

(/=) ∷ BHeader c → BHeader c → Bool #

Crypto c ⇒ NoThunks (BHeader c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

noThunks ∷ Context → BHeader c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BHeader c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BHeader c) → String Source #

(Crypto c, Era era) ⇒ EraBlockHeader (BHeader c) era Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

blockIssuerBlockHeaderG ∷ SimpleGetter (Block (BHeader c) era) (KeyHash 'BlockIssuer) Source #

blockHeaderSizeBlockHeaderG ∷ SimpleGetter (Block (BHeader c) era) Int Source #

blockBodySizeBlockHeaderL ∷ Lens' (Block (BHeader c) era) Word32 Source #

blockBodyHashBlockHeaderL ∷ Lens' (Block (BHeader c) era) (Hash HASH EraIndependentBlockBody) Source #

slotNoBlockHeaderL ∷ Lens' (Block (BHeader c) era) SlotNo Source #

(Crypto c, Era era) ⇒ TPraosEraBlockHeader (BHeader c) era Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

HashAnnotated (BHeader c) EraIndependentBlockHeader Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

hashAnnotated ∷ BHeader c → SafeHash EraIndependentBlockHeader Source #

type RawType (BHeader c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

type RawType (BHeader c) = BHeaderRaw c

type Rep (BHeader c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

type Rep (BHeader c) = D1 ('MetaData "BHeader" "Cardano.Protocol.TPraos.BlockHeader" "cardano-protocol-0.2.0.0-inplace" 'True) (C1 ('MetaCons "BHeaderConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (BHeaderRaw c)))))

data BHeaderRaw c Source #

Constructors

BHeaderRaw
Fields bhrBody ∷ !(BHBody c) bhrSignature ∷ !(SignedKES (KES c) (BHBody c))

Instances

Instances details

Crypto c ⇒ DecCBOR (Annotator (BHeaderRaw c)) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

decCBOR ∷ Decoder s (Annotator (BHeaderRaw c)) Source #

dropCBOR ∷ Proxy (Annotator (BHeaderRaw c)) → Decoder s () Source #

label ∷ Proxy (Annotator (BHeaderRaw c)) → Text Source #

Crypto c ⇒ DecCBOR (BHeaderRaw c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

decCBOR ∷ Decoder s (BHeaderRaw c) Source #

dropCBOR ∷ Proxy (BHeaderRaw c) → Decoder s () Source #

label ∷ Proxy (BHeaderRaw c) → Text Source #

Crypto c ⇒ EncCBOR (BHeaderRaw c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

encCBOR ∷ BHeaderRaw c → Encoding Source #

Generic (BHeaderRaw c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Associated Types

type Rep (BHeaderRaw c)

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

type Rep (BHeaderRaw c) = D1 ('MetaData "BHeaderRaw" "Cardano.Protocol.TPraos.BlockHeader" "cardano-protocol-0.2.0.0-inplace" 'False) (C1 ('MetaCons "BHeaderRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "bhrBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BHBody c)) :*: S1 ('MetaSel ('Just "bhrSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedKES (KES c) (BHBody c)))))

Methods

from ∷ BHeaderRaw c → Rep (BHeaderRaw c) x #

to ∷ Rep (BHeaderRaw c) x → BHeaderRaw c #

Crypto c ⇒ Show (BHeaderRaw c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

showsPrec ∷ Int → BHeaderRaw c → ShowS #

show ∷ BHeaderRaw c → String #

showList ∷ [BHeaderRaw c] → ShowS #

Crypto c ⇒ Eq (BHeaderRaw c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

(==) ∷ BHeaderRaw c → BHeaderRaw c → Bool #

(/=) ∷ BHeaderRaw c → BHeaderRaw c → Bool #

Crypto c ⇒ NoThunks (BHeaderRaw c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

noThunks ∷ Context → BHeaderRaw c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BHeaderRaw c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BHeaderRaw c) → String Source #

type MemoHashIndex (BHeaderRaw c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

type MemoHashIndex (BHeaderRaw c) = EraIndependentBlockHeader

type Rep (BHeaderRaw c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

type Rep (BHeaderRaw c) = D1 ('MetaData "BHeaderRaw" "Cardano.Protocol.TPraos.BlockHeader" "cardano-protocol-0.2.0.0-inplace" 'False) (C1 ('MetaCons "BHeaderRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "bhrBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BHBody c)) :*: S1 ('MetaSel ('Just "bhrSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedKES (KES c) (BHBody c)))))

data BHBody c Source #

Constructors

BHBody

Fields

bheaderBlockNo ∷ !BlockNo
block number
bheaderSlotNo ∷ !SlotNo
block slot
bheaderPrev ∷ !PrevHash
Hash of the previous block header
bheaderVk ∷ !(VKey 'BlockIssuer)
verification key of block issuer
bheaderVrfVk ∷ !(VerKeyVRF (VRF c))
VRF verification key for block issuer
bheaderEta ∷ !(CertifiedVRF (VRF c) Nonce)
block nonce
bheaderL ∷ !(CertifiedVRF (VRF c) Natural)
leader election value
bsize ∷ !Word32
Size of the block body
bhash ∷ !(Hash HASH EraIndependentBlockBody)
Hash of block body
bheaderOCert ∷ !(OCert c)
operational certificate
bprotver ∷ !ProtVer
protocol version

Instances

Instances details

Crypto c ⇒ SignableRepresentation (BHBody c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

getSignableRepresentation ∷ BHBody c → ByteString Source #

Crypto c ⇒ DecCBOR (BHBody c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

decCBOR ∷ Decoder s (BHBody c) Source #

dropCBOR ∷ Proxy (BHBody c) → Decoder s () Source #

label ∷ Proxy (BHBody c) → Text Source #

Crypto c ⇒ EncCBOR (BHBody c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

encCBOR ∷ BHBody c → Encoding Source #

Generic (BHBody c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Associated Types

type Rep (BHBody c)

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

from ∷ BHBody c → Rep (BHBody c) x #

to ∷ Rep (BHBody c) x → BHBody c #

Crypto c ⇒ Show (BHBody c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

showsPrec ∷ Int → BHBody c → ShowS #

show ∷ BHBody c → String #

showList ∷ [BHBody c] → ShowS #

Crypto c ⇒ Eq (BHBody c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

(==) ∷ BHBody c → BHBody c → Bool #

(/=) ∷ BHBody c → BHBody c → Bool #

Crypto c ⇒ NoThunks (BHBody c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

noThunks ∷ Context → BHBody c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BHBody c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BHBody c) → String Source #

type Rep (BHBody c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

data LastAppliedBlock Source #

Constructors

LastAppliedBlock
Fields labBlockNo ∷ !BlockNo labSlotNo ∷ !SlotNo labHash ∷ !HashHeader

Instances

Instances details

DecCBOR LastAppliedBlock Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

decCBOR ∷ Decoder s LastAppliedBlock Source #

dropCBOR ∷ Proxy LastAppliedBlock → Decoder s () Source #

label ∷ Proxy LastAppliedBlock → Text Source #

EncCBOR LastAppliedBlock Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

encCBOR ∷ LastAppliedBlock → Encoding Source #

NFData LastAppliedBlock Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

rnf ∷ LastAppliedBlock → () #

Generic LastAppliedBlock Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Associated Types

type Rep LastAppliedBlock

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

type Rep LastAppliedBlock = D1 ('MetaData "LastAppliedBlock" "Cardano.Protocol.TPraos.BlockHeader" "cardano-protocol-0.2.0.0-inplace" 'False) (C1 ('MetaCons "LastAppliedBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "labBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlockNo) :*: (S1 ('MetaSel ('Just "labSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "labHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HashHeader))))

Methods

from ∷ LastAppliedBlock → Rep LastAppliedBlock x #

to ∷ Rep LastAppliedBlock x → LastAppliedBlock #

Show LastAppliedBlock Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

showsPrec ∷ Int → LastAppliedBlock → ShowS #

show ∷ LastAppliedBlock → String #

showList ∷ [LastAppliedBlock] → ShowS #

Eq LastAppliedBlock Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

(==) ∷ LastAppliedBlock → LastAppliedBlock → Bool #

(/=) ∷ LastAppliedBlock → LastAppliedBlock → Bool #

Ord LastAppliedBlock Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

compare ∷ LastAppliedBlock → LastAppliedBlock → Ordering #

(<) ∷ LastAppliedBlock → LastAppliedBlock → Bool #

(<=) ∷ LastAppliedBlock → LastAppliedBlock → Bool #

(>) ∷ LastAppliedBlock → LastAppliedBlock → Bool #

(>=) ∷ LastAppliedBlock → LastAppliedBlock → Bool #

max ∷ LastAppliedBlock → LastAppliedBlock → LastAppliedBlock #

min ∷ LastAppliedBlock → LastAppliedBlock → LastAppliedBlock #

NoThunks LastAppliedBlock Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

Methods

noThunks ∷ Context → LastAppliedBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LastAppliedBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy LastAppliedBlock → String Source #

type Rep LastAppliedBlock Source #

Instance details

Defined in Cardano.Protocol.TPraos.BlockHeader

type Rep LastAppliedBlock = D1 ('MetaData "LastAppliedBlock" "Cardano.Protocol.TPraos.BlockHeader" "cardano-protocol-0.2.0.0-inplace" 'False) (C1 ('MetaCons "LastAppliedBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "labBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlockNo) :*: (S1 ('MetaSel ('Just "labSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "labHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HashHeader))))

data BoundedNatural Source #

Natural value with some additional bound. It must always be the base that 'bvValue <= bvMaxValue'. The creator is responsible for checking this value.

assertBoundedNatural Source #

Arguments

∷ Natural	Maximum bound
→ Natural	Value
→ BoundedNatural

Assert that a natural is bounded by a certain value. Throws an error when this is not the case.

lastAppliedHash ∷ WithOrigin LastAppliedBlock → PrevHash Source #

issuerIDfromBHBody ∷ BHBody c → KeyHash 'BlockIssuer Source #

Retrieve the issuer id (the hash of the cold key) from the body of the block header. This corresponds to either a genesis/core node or a stake pool.

checkLeaderValue ∷ VRFAlgorithm v ⇒ OutputVRF v → Rational → ActiveSlotCoeff → Bool Source #

Check that the certified VRF output, when used as a natural, is valid for being slot leader.

checkLeaderNatValue Source #

Arguments

∷ BoundedNatural	Certified nat value
→ Rational	Stake proportion
→ ActiveSlotCoeff
→ Bool

Check that the certified input natural is valid for being slot leader. This means we check that

p < 1 - (1 - f)^σ

where p = certNat / certNatMax.

The calculation is done using the following optimization:

let q = 1 - p and c = ln(1 - f)

then p < 1 - (1 - f)^σ = 1 / (1 - p) < exp(-σ * c) = 1 / q < exp(-σ * c)

This can be efficiently be computed by taylorExpCmp which returns ABOVE in case the reference value `1 / (1 - p)` is above the exponential function at `-σ * c`, BELOW if it is below or MaxReached if it couldn't conclusively compute this within the given iteration bounds.

Note that 1 1 1 certNatMax --- = ----- = ---------------------------- = ---------------------- q 1 - p 1 - (certNat / certNatMax) (certNatMax - certNat)

bhHash ∷ BHeader c → HashHeader Source #

Hash a given block header

hashHeaderToNonce ∷ HashHeader → Nonce Source #

HashHeader to Nonce

prevHashToNonce ∷ PrevHash → Nonce Source #

bhbody ∷ Crypto c ⇒ BHeader c → BHBody c Source #

hBbsize ∷ BHBody c → Word32 Source #

seedEta ∷ Nonce Source #

seedL ∷ Nonce Source #

mkSeed Source #

Arguments

∷ Nonce	Universal constant
→ SlotNo
→ Nonce	Epoch nonce
→ Seed

Construct a seed to use in the VRF computation.

bnonce ∷ BHBody c → Nonce Source #

Retrieve the new nonce from the block header body.

makeHeaderView ∷ Crypto c ⇒ BHeader c → Maybe Nonce → BHeaderView Source #