币圈界报道:

以太坊共识层的范式革新:从数据存储到按需证明

以太坊正在探索一条前所未有的路径——将共识系统的运行逻辑从依赖持续数据存储,转向基于零知识证明的动态验证。这一转变的核心是Vitalik Buterin提出的“极致精简链”构想,其目标是将每个验证者的链上状态压缩至仅两个字段,其余信息通过数学证明进行验证,从而在不牺牲安全性的前提下,极大降低网络的长期存储负担。

核心状态压缩:用索引替代完整记录

当前信标链需为每位验证者维护包括公钥、提款凭证、余额、罚没标志等在内的多维数据,且全部永久留存,构成系统可扩展性的关键瓶颈。该提案提出,所有非必要字段将不再直接存储于共识状态中。例如,48字节的公钥被替换为5字节的索引,指向初始存款时已记录在存款树中的原始数据;提款凭证则因位于同一树结构中而无需重复保存。

每日证明机制:由验证者自我认证

每个验证者不再依赖网络实时追踪其行为,而是每天提交一个紧凑的ZK-STARK证明,用以声明其在过去24小时内参与的区块数量及新余额。该证明利用默克尔分支和认证位字段生成,经网络验证后即更新其次日有效余额。若未按时提交,验证者仅失去认证资格,不会被立即罚没,系统通过“无法认证”来强制诚实行为,而非持续监控。

大规模可扩展性:百万级验证者可行吗?

该设计旨在支撑数百万验证者同时在线。据估算,在百万规模下,网络只需约128KB的位字段追踪参与情况,以及1MB的树结构管理余额,远低于传统方案。尽管单个验证者每日需生成约5400个默克尔分支证明,但基于现代硬件能力,一小时内完成完全可行。然而,当每插槽产生超百份证明时,聚合效率成为尚未解决的关键工程挑战。

隐性隐私:身份匿名化嵌入协议底层

该架构天然具备强隐私属性。验证者每日更换公钥并生成对应证明,链上无长期身份关联,形成每日“重新注册”的机制。提款地址亦通过哈希承诺隐藏,仅在提取时揭示。此外,该设计几乎免费实现单一秘密领袖选举(SSLE),使区块提议者身份仅在实际出块时暴露,显著增强抗审查与抗定向攻击能力。

潜在风险与现实考验

尽管前景诱人,该方案仍面临严峻挑战。其成功高度依赖零知识证明在超大规模下的性能表现,尤其在证明聚合环节是否存在延迟或高成本问题尚待验证。引入每日证明机制也增加了运营复杂度,一旦验证者设置故障,将导致服务中断,责任完全转移至个体。此外,整个系统对密码学组件的可靠性要求极高,任何漏洞都可能引发灾难性后果。因此,该提案仍处于讨论与测试阶段,需经过严格审计与实证才能进入主网。