Vitalik 提出“極致精簡鏈”方案，驗證者每日提交 STARK 證明，狀態存儲壓縮至 6 字節

ChainCatcher 消息，以太坊聯合創始人 Vitalik Buterin 發表《The Extremely Lean Chain》提案，展示如何在"精簡（Lean）"升級背景下激進壓縮以太坊共識鏈的狀態要求。該方案將責任轉移給驗證者，由其管理並定期通過 ZK 證明其狀態，從而消除每 epoch 處理負擔，並可能支持數百萬驗證者規模。

核心機制包括：將驗證者公鑰從鏈上狀態移除，僅存儲存款樹索引；取消即時獎勵和懲罰處理，驗證者每日生成 STARK 證明其參與情況並更新餘額；驗證者身份每日完全重新隨機化，通過 ZK-STARK 實現強匿名性，提款地址僅在提款時暴露，不與存款或鏈上活動公開關聯。Vitalik 表示，該方案在單時隙最終性、抗量子簽名聚合等升級基礎上，可將每驗證者狀態需求從約 180 字節壓縮至 6 字節。單個驗證者每日證明成本約需處理 5400 個 Merkle 分支，普通硬體上可在 1 小時內完成，且可通過聚合證明降低鏈上負擔。此外，該設計可"幾乎免費"實現單秘密領袖選舉功能，1 天為保守週期長度，1 小時為下限。