CardanoのCAP-12草案がLeiosのオフスイッチを削除

CardanoのCAP-12憲章改正の第5草案は、プロトコルパラメータの変更によってCardanoがOuroboros Leiosを無効化できる仕組みを削除した。Intersectは、この草案では無効化をDijkstraのハードフォーク計画に委ねるとして報告した。11月6日、IntersectのTechnical Steering Committeeの議長であるKevin Hammondは、4つの条件の下でこの仕組みを復元することを提案した。同委員会は11月18日に彼の提案を審査する予定だ。

プロトコルパラメータでどのようにLeiosを停止できるか

CAP-12は、Dijkstraの新たなプロトコルパラメータをCardano Constitutionに追加し、それらの変更範囲に制限を設ける。パラメータの一つであるmaxEndorserBlockTxsSizeは、endorser block内のトランザクション合計サイズに上限を設定する。LeiosはCardanoのトランザクションスループットを高める設計の一環として、これらのブロックを導入する。

以前の草案では、そのパラメータをゼロに設定することで、ネットワーク全体でLeiosを停止できるようにしていた。10月30日に公開された第5草案は、Leiosのパラメータに非ゼロの値を要求している。このまま採択されれば、その制約によりパラメータ変更による無効化という提案手法は不可能になる。

スイッチ復元前にHammondが求める検証事項

stake pool operatorのSIPOが公開した要約によると、Hammondは、パラメータをゼロに設定するとノードがOuroboros Praosと整合する挙動に戻ることを、Leiosチームに文書で確認するよう求めている。また、メインネットで仕組みを使う前に両方の移行を確認できるよう、CardanoのPreviewおよびPreprodネットワークでの無効化と再有効化の双方のテストも求めている。

残る二つの条件は、全てのノード実装にわたる適合性テストと、Guardrails Scriptが適用するルールの変更だ。テストでは、パラメータ変更時に実装が一貫して挙動するかを確認する。ガードレールの変更により、パラメータをゼロに設定する提案がスクリプトのチェックを通過できるようになる。

[NEWSBREAK]

CAP-12の投票前に残る未決事項

Intersectの11月6日のアップデートは、CAP-12の約30の値がなおParameter Committeeからのフィードバック待ちであり、第6草案が見込まれていると報告した。DijkstraNetは既にプロトコルバージョン12を稼働させている一方で、Intersectは完全なDijkstraの機能群をLinear Leiosと組み合わせたリリース候補としてcardano-node 11.3を目標としている。

Intersectは、CAP-12および他の進行中の改正について、11月12日に公開レビューを予定している。11月18日の審査では、提案されたテストおよびガードレール変更を前提に、Leiosを無効化する値としてゼロを復元することを支持するかどうかを技術委員会が検討する予定だ。