πTezos Amendment Process (DEPRECATED)
Last updated
Last updated
The aim of this document is to offer a detailed view of the Tezos on-chain governance model by going through the process used to consider protocol amendments.
Baking: The creation of new blocks on the Tezos blockchain by its validators (also known as bakers or delegates), who receive compensation for each block produced.
Endorsement: Each baked block is validated by a set of bakers who have not baked the block, but are selected to endorse it. They are known as endorsers of the block, and receive compensation for each endorsement realized.
Delegation: All Tez holders can delegate their baking and voting rights to a βdelegateβ, while still maintaining control over their funds.
Stake: To have the right to be recognized as a baker in a network, a Tez holder must possess at least 6,000 in their staking balance (own balance + delegated balance). Voting rights are also indexed to the staking balance.
Cycle: The time required for 8,192 blocks to be created on the Tezos blockchain. It lasts around 2 days, 20 hours, and 16 minutes (or 30 seconds. per block, if all bakers cooperate effectively)
Proposal: A request for addition, adjustment, or removal of features of the protocol.
On Tezos, any baker can submit a proposal to amend the protocol.
The proposal/voting process then takes place entirely on-chain and is known as the amendment process.
This process involves 5 stages:
As each period lasts 5 cycles (approx. 14 days), a complete amendment process requires 25 cycles, or around 2 months and 10 days to be adopted and merged with the main network.
During this period, users can submit up to 20 amendment proposals which are then subjected, over subsequent periods, to voting and testing.
Proposals can relate to a variety of features, for example:
The threshold to register as a baker
The gas consumption process
Aspects/features of the smart contract language
and so on...
Bakers across the network then proceed to vote (in the form of up-voting). The most highly voted proposal then moves on to the Exploration period.
During this period, all voters must decide whether or not the proposal brought forward will proceed to the next period: the cooldown period. Unlike in the previous period, Tezos uses the concepts of Quorum and supermajority vote β or qualified majority vote β to decide whether or not to send it to the cooldown period.
What we mean by these terms :
Quorum: the representation weight required for a vote to actually take place.
A supermajority vote or qualified majority vote β establishes a minimum percentage of positive expressed votes needed (80% for Tezos) for a decision to be taken.
In order to move to the next period, a proposal must have a greater Voter Turnout than the Quorum and a greater percentage of positive votes than the supermajority.
When the Tezos Mainnet was launched, the Quorum was set at 80% and updated at the end of each vote which was successfully approved, based on the Voter Turnout.
The Babylon amendment introduced two major changes to the calculation of the Quorum:
The calculation now takes into account the exponential moving average (EMA) of the Voter Turnout
The Quorum is now bounded between 30% and 70%
The following formula is used to calculate the Quorum:
The following formula is then used to update the moving average for the next vote:
There are 3 possible ways to vote :
Yay (Y): For
Nay (N): Against
Pass (A): Neutral
The weight of a bakerβs vote is determined on a pro-rata basis by the size of their staking balance.
To illustrate this process, let us assume a total of 100 active voting rigths managed by bakers and a Voter Turnout EMA of 75%, and then 90 votes (Yay, Nay, and Pass) during the Exploration period.
1. Quorum = 0.3 + 75% β (0.7 β 0.3) = 60%
2. Update of the Exponential Moving Average
3. Positive voter turnout: = 88%
4. Proposal approved
To illustrate this process, let us assume a total of 100 active voting rigths managed by bakers and a Voter Turnout EMA of 75%, and then 55 votes (Yay, Nay, and Pass) during the Exploration period.
1. Quorum = 0.3 + 75% * (0.7 - 0.3) = 60%
2. Update of the Exponential Moving Average
3. Proposal rejected: Although the Yays have reached the number required for a supermajority, the proposal is rejected as the Quorum has not been reached. We must therefore go back to the initial proposals stage.
If a proposal is accepted by a supermajority during the Exploration period, the Cooldown period starts. This period replaces the previous Testing period that was underused since most of the testing happens on a dedicated testnest.
At the end of the Cooldown period, the network decides whether or not to adopt the amendment proposal, based on off-chain discussions and its behavior on the test network.
The same concepts of both the Quorum and the supermajority are applied here. After the vote, the Voter Turnout moving average is updated again.
The version of the protocol integrating the amendment is then disseminated by the network and transmitted to the nodes which are automatically and openly updated.
During the adoption period, bakers update their infrastructure. At the end of this period, the new protocol will be adopted. This period is dedicated to helping validators to migrate on the new Mainnet version.
At the end of the Adoption period, a new Proposal period starts.
The person whose proposal is ultimately adopted as a protocol amendment has the merit of having evolved the Tezos blockchain, and is compensated in tez by an amount determined beforehand in the source code of their proposal.
May 2019, Athens amendment :
Reduced roll size for bakers (from 10,000 to 8,000 tez)
Increased gas limit per operation and per block
October 2019, Babylon amendment:
Adjusted βemmy+β consensus algorithm
New features in a low-level language (Michelson) for smart contracts, adjusted cost of gas
Adjusted formula for updating Quorum (30% β€ Quorum β€ 70%)
March 2020, Carthage amendment:
Increased gas limit per operation and per block
Improved formula for calculating compensation for baking
November 2020, Delphi amendment:
Reduced storage costs by 4
General recomputation of the gas costs
February 2021, Edo amendment:
Inclusion of Sapling protocol
New Michelson data structure: tickets
New Michelson functions, especially hash functions SHA3 and Keccak
Updating of the amendment protocol :
A fifth period to allow bakers to update their infrastructure: The adoption period
Reduction of the overall time of each period, from 8 to 5 cycles
May 2021, Florence amendment:
Increase maximum operation data size
Depth-First execution order
Performance optimization
Updating of the amendment protocol: testing period is now replaced by a cooldown period
August 2021, Granada amendment:
Emmy *, new consensus algorithm:
smaller block times
faster finality
Liquidity Baking, a small amount of tez from each block issued to provide liquidity to the tez/tzBTC pair
Decrease in gas consumption
December 2021, Hangzhou amendment:
Timelock
Michelson on-chain views
Global Constants
Cache Context storage flattening
April 2022, Ithaca2 amendment:
Tenderbake, a new consensus algorithm
Backend storage improvements
Reduction of the amount of Tez required to become a baker (from 8,000 to 6,000 Tez + no more notion of rolls)
September 2022, Kathmandu amendment:
Smart contract optimistic rollups (SCORU) enabled on bleeding edge testnets (Mondaynet and Dailynet).
Pipelined validation of manager operations, increasing throughput, without compromising the networkβs safety. This ongoing project reduces the need to fully execute time-expensive operations (like smart contract calls), before they reach a baker, resulting in a faster propagation of new blocks and operations across the network.
Improved randomness with integration of Verifiable Delay Functions (VDF) into the protocolβs random seed generation, reinforcing the security of the rights allocation mechanism.
Support for tailored governance for permanent testnets will reduce the need for user-activated upgrades in Ghostnet. After a protocol proposal is elected in the Promotion period on Mainnet, the Oxhead Alpha team will be able to centrally upgrade Ghostnet.
Event logging in Michelson smart contracts enabling DApps developers to send on-chain custom messages in order to trigger effects in off-chain applications (wallets, explorers, etc.).
A new operation for increasing paid storage of a smart contract allowing DApps developers to pay the storage fees on behalf of their users.
The development of Bitcoin has shown that hard forks are often necessary in order to make changes to a protocol.
There are risks involved here, as two chains can co-exist if a consensus cannot be reached within the community, which can then lead to operational risks for some blockchain projects.
However, whenever a critical bug is found, the protocol must be updated urgently β for Tezos just as for Bitcoin. However, on the Tezos blockchain, this type of situation has never led to a chain splitting into two, as this type of change is always driven by consensus.
It is possible to vote by using the Tezos client :
To know the current period :
$ tezosβclient show voting period
To vote for the proposal whose hash is <proposal > with the address <delegate >:
$ tezosβclient submit ballot for <delegate> <proposal > <yay | nay | pass>
To vote, each active baker on the network must have at least 6,000. Each holder of the tez cryptocurrency can delegate their βassociated voting rightβ to a baker, while retaining control over their funds.
