ヴィタリックが「極限簡素チェーン」案を提案し、バリデーターは毎日STARK証明を提出し、状態ストレージは6バイトに圧縮される。

イーサリアムの共同創設者であるVitalik Buterinは、「The Extremely Lean Chain」提案を発表し、「リーン（Lean）」アップグレードの背景において、イーサリアムのコンセンサスチェーンの状態要件を急激に圧縮する方法を示しました。この提案は、責任をバリデーターに移し、彼らが管理し、定期的にZKを通じてその状態を証明することで、各エポックの処理負担を排除し、数百万のバリデーター規模をサポートする可能性があります。

コアメカニズムには以下が含まれます：バリデーターの公開鍵をチェーン上の状態から削除し、預金ツリーのインデックスのみを保存；リアルタイムの報酬と罰則処理を廃止し、バリデーターは毎日STARKを生成して参加状況を証明し、残高を更新；バリデーターの身分は毎日完全に再ランダム化され、ZK-STARKを通じて強い匿名性を実現し、引き出しアドレスは引き出し時にのみ公開され、預金やチェーン上の活動とは公開において関連付けられません。Vitalikは、この提案が単一タイムスロットの最終性、量子耐性署名の集約などのアップグレードに基づいて、各バリデーターの状態要求を約180バイトから6バイトに圧縮できると述べました。単一のバリデーターが毎日証明するコストは約5400のMerkleブランチを処理する必要があり、一般的なハードウェアで1時間以内に完了でき、集約証明を通じてチェーン上の負担を軽減できます。さらに、この設計は「ほぼ無料」で単一秘密リーダー選挙機能を実現でき、1日は保守的な周期の長さ、1時間は下限となります。