Hash of an Endorser Block

Hash of a Ranking Block

A Ranking Block is the Praos Block. While the regular Praos headers are parameterised over blk, we choose to keep RbHash monomorphic. Use the ConvertRawHash type class to convert between this type and HeaderHash.

Hash of a Leios transaction (the Blake2b-256 hash of its bytes).

Uniquely identifies an endorser block in Leios. Could use 'Block SlotNo EbHash' eventually, but a dedicated type is better to explore.

A ranking block leadership election: a slot and the pool it elected.

This is unrelated to the ElectionId type family, which identifies an election of a voting committee. We do not anticipate a module using both.

The derived Ord orders by slot first, which pruning relies on.

A vote for a Leios announcement.

An Endorser Block as it is submitted through the network. TODO: Keep track of the slot of an EB?

Encode a LeiosEb as a CBOR map from each transaction hash to the size of that transaction. Must not add more overhead than encodeLeiosEbMaxFramingSize, and the encoding of each reference must match encodeLeiosEbItemSize.

The mempool charges each transaction encodeLeiosEbItemSize, and the endorser-block capacity subtracts encodeLeiosEbMaxFramingSize. If the encoding changes, both sizes must change with it.

Endorser blocks are on chain, so peers on every node-to-node version must write the same bytes. This encoding has no version yet. When an era after Dijkstra changes it, the ProtVer of that era will select the encoding.

The bytes one reference occupies for a transaction of the given size: the hash and the size itself, exactly as the EB's CBOR encoding writes them.

Also used on the Dijkstra transaction measure, so the mempool charges a transaction what it will actually cost in the reference list rather than an approximation of it.

The widest the framing encodeLeiosEb writes around the references can get: the map header. CBOR map headers have the same widths as cborIntBytesSize, and the reference count fits BytesSize.

A capacity expressed in references (encodeLeiosEbItemSize each) subtracts this once at the block level; no single transaction can be charged for it.

Compute the size of a LeiosEb in its CBOR encoding.

The references capacity a maxEndorserBlockReferencesSize parameter yields: the parameter minus the framing encodeLeiosEb writes ahead of the references. A parameter smaller than the framing exhausts the capacity, so no reference fits, rather than wrapping around to "no limit".

A duration the ledger gives in milliseconds.

The earliest slot at which a block may certify an endorser block announced in the given slot.

The announcement, voting and diffusion periods must all have elapsed. They are wall-clock durations, so the gap rounds up to whole slots: a block is forged at its slot's onset, so the answer is the first slot whose onset is far enough after the announcement.