- The main aim of Shelley is to bring full decentralization to Cardano.
- To get a headstart on Byron, they have created Byron-centric formal specifications as well.
The main aim of Shelley is to bring full decentralization to Cardano. It will hand over the control of the ledger to the community via stake pools. To make sure that Shelley is flawless, Cardano developers have created a series of formal specifications. IOHK, one of the companies behind Cardano, announced that they were able to complete some key specifications:
- Engineering Design Specification For Delegation and Incentives In Cardano-Shelley: This describes the requirements and design for the delegation and incentive mechanisms to be used in the Shelley release of Cardano.
- A Formal Specification of the Cardano Ledger: Specifies the ledger rules for Shelley, including delegation and incentives.
- A Specification of the Non-Integral Calculations in the Ledger: This document defines a way to exactly calculate non-integral calculations in the ledger for Shelley which use elementary mathematical functions.
Shelley era precedes the Byron era. To get a headstart on Byron, they have created the following Byron-centric formal specifications as well:
- A Formal Specification of the Cardano Ledger for the Byron release: This document defines the rules for extending a ledger with transactions, as implemented in the Byron release of the Cardano Ledger.
- Specification of the Blockchain Layer (Byron): This document defines inference rules for operations on a blockchain as a specification of the blockchain layer of Cardano in the Byron release and in a transition to the Shelley release.
Cardano founder Charles Hoskinson portrayed his excitement about these updates with a simple tweet: “The soul of Shelley is out.”