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

以太坊聯合創始人VitalikButerin發表《TheExtremelyLeanChain》提案，展示如何在「精簡（Lean）」升級背景下激進壓縮以太坊共識鏈的狀態要求。該方案將責任轉移給驗證者，由其管理並定期通過ZK證明其狀態，從而消除每epoch處理負擔，並可能支持數百萬驗證者規模。核心機制包括：將驗證者公鑰從鏈上狀態移除，僅存儲存款樹索引；取消實時獎勵和懲罰處理，驗證者每日生成STARK證明其參與情況並更新餘額；驗證者身份每日完全重新隨機化，通過ZK-STARK實現強匿名性，提款地址僅在提款時暴露，不與存款或鏈上活動公開關聯。Vitalik表示，該方案在單時隙最終性、抗量子簽名聚合等升級基礎上，可將每驗證者狀態需求從約180字節壓縮至6字節。單個驗證者每日證明成本約需處理5400個Merkle分支，普通硬件上可在1小時內完成，且可通過聚合證明降低鏈上負擔。此外，該設計可「幾乎免費」實現單秘密領袖選舉功能，1天為保守週期長度，1小時為下限。