Tezos Athens — 投票が実行ルールになるまで

一つのアップグレード、二つの選択肢

2019年初め、Tezosの参加者に問われたのは、単にアップグレードに賛成かどうかではなかった。Nomadic Labsは二つの案を提示した。Athens Aは、当時のプルーフ・オブ・ステークで使われていた持分単位「ロール」を1万tezから8,000tezへ引き下げる。Athens Bは据え置く。両案ともガス上限は引き上げる。小さな数値の違いが選択を具体的にした。ネットワークが実行するルールを選ぶ必要があった。^[1][2]

提案の実体は、意図を記した文書だけでなく、実行可能なOCamlコードだった。Nomadic Labsは変更をパッチに分けて公開し、説明どおりの動作が実装されているかコードを読むよう促した。これで投票の対象が明確になる。「ネットワークを良くしよう」という標語への賛同と、このプログラムの選択は別の約束だった。^[1]

投票は移行の一部だった

次に進んだのはAthens Aだった。ブロックを生成するデリゲートであるベーカーが、持分で重み付けされた手続きに参加した。提案選択、探索投票、テスト期間、最終承認投票と続く。一人一票の制度ではない。TQ TezosのJacob Arluckが当時記した記事には、フォーラムやチャットでの議論も登場する。投票をチェーンに記録しても、熟議のすべてがソフトウェアの中へ移るわけではなかった。^[2]

新しいルールが稼働中のシステムを引き継ぐからこそ、テストが重要だった。Nomadic Labsはメインネットの状態を使って移行を試し、所要時間と保存容量の負担を測った。既存のアカウントやコントラクトから始めるテストチェーンは、何もない実演より現実的な確認の場になる。コードを選んだだけでは、移行がうまくいくという証明にはならない。^[1][2]

何が実際に変わったのか

Athensは2019年5月に有効化された。当時のプロトコル文書には、8,000tezへのロール縮小とガス上限の引き上げが記されている。見落としやすい条件もある。ブロック内で可能な計算ステップは2倍になったが、入出力処理の回数は増えていない。ガスの計算方法も変わった。あらゆる取引の「処理能力が2倍」と説明すれば誤解を招く。これは当時の改正内容であり、現在のベーキング参加要件ではない。^[3][4]

自己改正は、接続するすべてのアプリが変更を無視できるという意味でもなかった。Athensでは、他のソフトウェアとやり取りするインターフェースのフィールド名が変わった。文書はウォレット、エクスプローラー、ツールの開発者に移行への対応方法を示した。プロトコルが改正機構を通じて承認済みルールを採用しても、周辺には作業が残った。^[3]

判断を終えるのではなく、手続きを繰り返せるように

2019年10月にはBabylonが続いた。最初の改正は、ネットワークが再び使える手続きになった。Athensの意味は、具体的なプログラムを選ぶ決定が有効化まで到達したことにある。将来の投票がすべて賢明で、実装がすべて安全だという証明ではない。提案から動くルールへ進む道ができ、その途中には引き続き人の検討が必要だった。^[2][3][4]