Earlier Eras

Earlier Eras

Many of the material in the Conway specification is derived from the specifications of earlier eras. In this section we provide an account of how aspects of the earlier specifications have been modified in later specifications.

Changes to Shelley

We describe changes to the specification CVG19 by rule type.

CHAIN (Figure 75)

The uses of rules PRTCL, TICKN, and functions chainChecks and prtlSeqChecks were removed from the ledger specification and added to the consensus specification [link].

BBODY (Figure 72)

The block body hash function bbodyHash became a field of the Block type.

The block header hash function bhash became a field of the BHeader type.

The block body size function bbodySize became a field of the Block type.

The block header size function hBbsize became a field of the BHeader type.

The function isOverlaySlot was removed in the Babbage era [[link]][babbage-spec].

TICK (Figure 64)

The function adoptGenesisDelegs was removed.

NEWEPOCH (Figure 57)

The proof of the net neutrality of the reward update was moved to the RewardUpdate.

The PoolDistr data type was replaced with the richer PoolDelegatedStake data type.

The MIR rule was phased out in the Conway era.

EPOCH (Figure 45)

The NEWPP rule was phased out in the Conway era.

LEDGER (Figure 31)

Shelley assumes the transaction is valid

A use of rule DELEGS was added in the Conway era.

A use of rule CERTS was added in Conway.

UTXOW (Figure 20)

The quorum check was removed in the Conway era, superseded by the new governance mechanism [link].

The checks about required scripts now account for reference scripts.

UTXO (Figure 16)

The use of the PPUP rule was removed in Conway, superseded by the new governance mechanism [link].

References

[CVG19] Jared Corduan and Polina Vinogradova and Matthias Güdemann. A Formal Specification of the Cardano Ledger. 2019.