ヴィタリック・ブテリンは、イーサリアム (ETH) をZK証明でほぼゼロ状態に近づける「Extremely Lean」な再設計を提案した。
重要ポイント:
- ブテリン氏は、イーサリアムの状態負荷の多くをバリデータ側に移す2段階の計画を示した。
- この提案では、エポックごとの残高更新を、各バリデータからの日次ZK-STARK証明1つに置き換える。
- この設計により、イーサリアムは数百万のバリデータにスケールしつつ、バリデータ状態を約6バイトまで削減できると述べた。
イーサリアムの提案
ブテリン氏は、Ethereum Research フォーラムへの投稿「The Extremely Lean Chain」で、この計画を説明した。
この提案は、バリデータを調整しプルーフ・オブ・ステーク運用を支えるコンセンサスレイヤーであるイーサリアムのビーコンチェーンに焦点を当てている。ブテリン氏は、再帰的STARK証明により、単一スロット最終性や耐量子暗号をサポートしつつ、オンチェーンデータを削減できると述べた。
第1フェーズでは、チェーンからほとんどのバリデータデータを取り除き、繰り返し行われる残高更新を、各バリデータからの日次の単一証明に置き換える。この証明には報酬とペナルティが含まれ、チェーンとフルノードをより軽量に保てる。
実務的には、より多くの処理をバリデータ側が担い、プロトコルはオンチェーンに保持する状態をはるかに少なくすることになる。ブテリン氏は、この変更によりバリデータ状態をおよそ6バイト程度まで減らせる可能性があるとした。
あわせて読む: トランプ関連口座がパランティアを売却、西部デジタルが新たなAIベットに
ブテリン氏のロードマップ
第2フェーズでは、各バリデータに毎日新しい匿名キーとアイデンティティを与えることでプライバシーを追加する。バリデータは毎日再登録し、残高をプライベートに証明し、追跡しにくい日替わりのセットを形成する。
これらの変更により、「必要であればコンセンサスを数百万バリデータへとスケールできるかもしれない」とブテリン氏は月曜日早朝に記した。
この提案は、より広範な「Lean Ethereum」ロードマップの一部であり、ブテリン氏は週末に、ネットワークの第3の大きなイテレーションだと説明した。彼は、この取り組みはプルーフ・オブ・ステークへの移行である「マージ」に匹敵する技術的難易度になる可能性があると述べている。
Lean Ethereumは、セキュリティ、分散性、効率性、ポスト量子耐性を中心にコアプロトコルを作り直すことを目的としている。その主な構成要素には、Lean Consensus、Lean Data、およびRISC-Vの利用も想定した、最小限かつSNARKに適した実行環境が含まれる。
ブテリン氏は、研究の焦点がこの取り組みに移るにつれ、これらの変更には3〜4年ほどかかる可能性があると述べた。また、今後予定されているHegotaアップグレードは、テーマとしてはLean前の最後のフォークになる見込みだとも語った。
このロードマップは、縮小や再編を含むイーサリアム財団のガバナンス変更を受けたものでもある。Bitmine、Sharplink、ジョセフ・ルービンに支援された2つの新たな非営利団体、Ethereum Institutional と EthLabs も立ち上がっており、EthLabsはプロトコル研究と開発への貢献が期待されている。