Skip to content

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

The DELEGS rule was removed in the Conway era.

The CERTS rule 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].

Changes to Alonzo

We describe changes to the specification VK21 by rule type.

UTXOS (Figure 9)

The constants EI and SysSt are not declared within the ledger specification. Instead, any abstract functions that require these constants must obtain them from the surrounding state, modeled outside the ledger specification.

UTXO (Figure 11)

The feesOK function has been inlined in the premises of the rule.

For the same reasons as in the Shelley specification, the PPUP rule has been removed.

UTXOW (Figure 13)

The isTwoPhaseScriptAddress function is replaced with the txOutToP2Script function in the premises of the rule.

DELEG (Figure 18)

The Deleg-Mir and Deleg-Mir-Trans cases, and the MIR relation were phased out in the Conway era.

References

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

[VK21] Polina Vinogradova and Andre Knispel. A Formal Specification of the Cardano Ledger integrating Plutus Core. 2021.