Vitalik 提出“极致精简链”方案，验证者每日提交 STARK 证明，状态存储压缩至 6 字节

ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 发表《The Extremely Lean Chain》提案，展示如何在“精简（Lean）”升级背景下激进压缩以太坊共识链的状态要求。该方案将责任转移给验证者，由其管理并定期通过 ZK 证明其状态，从而消除每 epoch 处理负担，并可能支持数百万验证者规模。

核心机制包括：将验证者公钥从链上状态移除，仅存储存款树索引；取消实时奖励和惩罚处理，验证者每日生成 STARK 证明其参与情况并更新余额；验证者身份每日完全重新随机化，通过 ZK-STARK 实现强匿名性，提款地址仅在提款时暴露，不与存款或链上活动公开关联。Vitalik 表示，该方案在单时隙最终性、抗量子签名聚合等升级基础上，可将每验证者状态需求从约 180 字节压缩至 6 字节。单个验证者每日证明成本约需处理 5400 个 Merkle 分支，普通硬件上可在 1 小时内完成，且可通过聚合证明降低链上负担。此外，该设计可“几乎免费”实现单秘密领袖选举功能，1 天为保守周期长度，1 小时为下限。