The repository contains contracts designed to upgrade the Etherlink kernel and sequencer by voting.
make compile
The testing stack for the contracts is based on Python and requires poetry, pytezos, and pytest to be installed.
poetry run pytest
poetry run deploy_contract --rpc-url https://rpc.tzkt.io/ghostnet --contract kernel_regular_governance --upvoting_limit 20 --period_length 128 --adoption_period_sec 57600 --proposal_quorum_percent 10.5 --promotion_quorum_percent 15.5 --promotion_supermajority_percent 95.7
poetry run deploy_contract --rpc-url https://rpc.tzkt.io/ghostnet --contract kernel_security_governance --upvoting_limit 20 --period_length 128 --adoption_period_sec 57600 --proposal_quorum_percent 10.5 --promotion_quorum_percent 15.5 --promotion_supermajority_percent 95.7
poetry run deploy_contract --rpc-url https://rpc.tzkt.io/ghostnet --contract sequencer_governance --upvoting_limit 20 --period_length 128 --adoption_period_sec 57600 --proposal_quorum_percent 10.5 --promotion_quorum_percent 15.5 --promotion_supermajority_percent 95.7
The contract allows bakers to make proposals and vote for kernel upgrade as well as trigger kernel upgrade with the latest voting winner payload stored in the smart contract and updated through the voting process
Creates and upvotes a new proposal.
octez-client transfer 0 from %YOUR_ADDRESS% to %CONTRACT_ADDRESS% --entrypoint "new_proposal" --arg "%KERNEL_ROOT_HASH%"octez-client transfer 0 from tz1RfbwbXjE8UaRLLjZjUyxbj4KCxibTp9xN to KT1HfJb718fGszcgYguA4bfTjAqe1BEmFHkv --entrypoint "new_proposal" --arg "0x009279df4982e47cf101e2525b605fa06cd3ccc0f67d1c792a6a3ea56af9606abc"Upvotes an existing proposal.
octez-client transfer 0 from %YOUR_ADDRESS% to %CONTRACT_ADDRESS% --entrypoint "upvote_proposal" --arg "%KERNEL_ROOT_HASH%"octez-client transfer 0 from tz1RfbwbXjE8UaRLLjZjUyxbj4KCxibTp9xN to KT1HfJb718fGszcgYguA4bfTjAqe1BEmFHkv --entrypoint "upvote_proposal" --arg "0x009279df4982e47cf101e2525b605fa06cd3ccc0f67d1c792a6a3ea56af9606abc"Votes with yea, nay or pass on the proposal that has advanced to the promotion period.
octez-client transfer 0 from %YOUR_ADDRESS% to %CONTRACT_ADDRESS% --entrypoint "vote" --arg "\"%YOUR_VOTE%\""where %YOUR_VOTE% is one of the values: yea, nay or pass
octez-client transfer 0 from tz1RfbwbXjE8UaRLLjZjUyxbj4KCxibTp9xN to KT1HfJb718fGszcgYguA4bfTjAqe1BEmFHkv --entrypoint "vote" --arg "\"yea\""Calls a smart rollup's upgrade entrypoint and passes the latest voting winner payload (kernel root hash). It can be called any number of times.
octez-client transfer 0 from %YOUR_ADDRESS% to %CONTRACT_ADDRESS% --entrypoint "trigger_kernel_upgrade" --arg "\"%SMART_ROLLUP_ADDRESS%\""octez-client transfer 0 from tz1RfbwbXjE8UaRLLjZjUyxbj4KCxibTp9xN to KT1HfJb718fGszcgYguA4bfTjAqe1BEmFHkv --entrypoint "trigger_kernel_upgrade" --arg "\"sr1EStimadnRRA3vnjpWV1RwNAsDbM3JaDt6\""The contract allows bakers to make proposals and vote for sequencer committee upgrade as well as trigger sequencer committee upgrade with the latest voting winner payload stored in the smart contract and updated through the voting process
Creates and upvotes a new proposal.
octez-client transfer 0 from %YOUR_ADDRESS% to %CONTRACT_ADDRESS% --entrypoint "new_proposal" --arg "Pair \"%PUBLIC KEY%\" %L2_ADDRESS%"octez-client transfer 0 from tz1RLPEeMxbJYQBFbXYw8WHdXjeUjnG5ZXNq to KT1FRzozuzFMWLimpFeSdADHTMxzU8KtgCr9 --entrypoint "new_proposal" --arg "Pair \"edpkurcgafZ2URyB6zsm5d1YqmLt9r1Lk89J81N6KpyMaUzXWEsv1X\" 0xb7a97043983f24991398e5a82f63f4c58a417185"Upvotes an existing proposal.
octez-client transfer 0 from %YOUR_ADDRESS% to %CONTRACT_ADDRESS% --entrypoint "upvote_proposal" --arg "Pair \"%PUBLIC KEY%\" %L2_ADDRESS%"octez-client transfer 0 from tz1RLPEeMxbJYQBFbXYw8WHdXjeUjnG5ZXNq to KT1FRzozuzFMWLimpFeSdADHTMxzU8KtgCr9 --entrypoint "upvote_proposal" --arg "Pair \"edpkurcgafZ2URyB6zsm5d1YqmLt9r1Lk89J81N6KpyMaUzXWEsv1X\" 0xb7a97043983f24991398e5a82f63f4c58a417185"Votes with yea, nay or pass on the proposal that has advanced to the promotion period.
octez-client transfer 0 from %YOUR_ADDRESS% to %CONTRACT_ADDRESS% --entrypoint "vote" --arg "\"%YOUR_VOTE%\""where %YOUR_VOTE% is one of the values: yea, nay or pass
octez-client transfer 0 from tz1RLPEeMxbJYQBFbXYw8WHdXjeUjnG5ZXNq to KT1FRzozuzFMWLimpFeSdADHTMxzU8KtgCr9 --entrypoint "vote" --arg "\"yea\""Calls a smart rollup's upgrade entrypoint and passes the latest voting winner payload (committee addresses). It can be called any number of times.
octez-client transfer 0 from %YOUR_ADDRESS% to %CONTRACT_ADDRESS% --entrypoint "trigger_committee_upgrade" --arg "\"%SMART_ROLLUP_ADDRESS%\""octez-client transfer 0 from tz1RfbwbXjE8UaRLLjZjUyxbj4KCxibTp9xN to KT1Bda2EHR3pwjPgQc6mBHwtfCP8Cuf5ud5j --entrypoint "trigger_committee_upgrade" --arg "\"sr1EStimadnRRA3vnjpWV1RwNAsDbM3JaDt6\""Note: Don't use just the storage to get the actual state
Use the get_voting_state view to obtain the actual state of current voting process at the time of the call. This returns the actual recalculated voting_context value as well as pending voting_finished event payload in case if the latest voting period is finished but the event was not sent to blockchain yet. The event will be sent after the next successful call to any entrypoint.
Use the contract events to see the history of voting epochs
All contracts mentioned above use the same config for voting process. Here is a description of the config values
(*
NOTE:
started_at_level and period_length values should be chosen carefully
to be sure that the contract governance periods
never cross the boundaries of the tezos protocol governance periods.
This ensures the immutability of voting power throughout the entire voting period
*)
type config_t = {
(*
Used to align voting periods with protocol governance periods.
Should be the start level of the current protocol governance period
*)
started_at_level : nat;
(*
The duration of the of proposal and promotion periods represented in blocks.
period_length = tezos_governance_period_length / N, where N is integer divisor (factor)
*)
period_length : nat;
(*
The duration of the l2 adoption period counted in seconds.
Used to generate an upgrade payload with activation timestamp
on trigger_upgrade entrypoint call
*)
adoption_period_sec : nat;
(* Number of proposals that an account may upvote and submit *)
upvoting_limit : nat;
(*
The scale for proposal_quorum, promotion_quorum and promotion_supermajority params.
For example if config.scale = 100 and config.proposal_quorum = 80
then proposal_quorum_% == 80 / 100 == .80 == 80%
*)
scale : nat;
(*
Minimum ratio of all the cumulated stake of a proposal upvotes to the total stake
to advance the proposal to promotion period
*)
proposal_quorum : nat;
(*
Minimum ratio of all the cumulated stake of cast ballots (yea, nay, and pass ballots)
to the total stake to consider the proposal as a voting winner
*)
promotion_quorum : nat;
(*
Minimum ratio of cumulated stake of Yea ballots to the cumulated stake
of Yea and Nay ballots to consider the proposal as a voting winner
*)
promotion_supermajority : nat;
}