维塔利克·布特林呼吁以太坊 zkEVM 开发者将安全置于首位
以太坊联合创始人维塔利克·布特林（Vitalik Buterin）近日敦促零知识以太坊虚拟机（zkEVM）的开发者们优先考虑安全性。他指出，随着 ZKsync 的 Airbender 团队取得进展，关于“更快零知识证明”的竞争已宣告结束，当前的重心应全面转向安全领域。
三大安全要求确立
布特林概述了三项关键的安全需求，旨在加强以太坊的交易验证系统，并确保计算成本在小型运营商的可承受范围内：
- 数学准确性：必须通过数学确认，确保 zkEVM 的证明准确反映了以太坊的执行规则。这一要求有助于揭示网络官方规范与证明系统所使用的计算之间的差异。
- 可预测的证明成本：需对相对于每个以太坊区块内消耗 gas 的证明成本设定严格的上限。此类限制有助于防止异常高负荷的区块给生成证明的运营商带来不成比例的开支。若无可预测的计算要求，小型参与者可能面临更高的门槛，导致基础设施进一步向大型组织集中。
- 密码学可靠性：关注证明系统本身的密码学安全性，包括其底层数学假设的稳健性。
布特林在社交媒体上表示：“在此阶段，我认为速度之战已 definitively 获胜，zkEVM 的首要任务应完全转向安全。对我而言，这意味着形式化验证（i）等价性……”
这些保障措施共同解决了三个核心问题：证明是否代表有效的以太坊活动、生成成本是否负担得起，以及能否抵御潜在的安全弱点。以太坊更广泛的路线图探索利用零知识技术来减少验证工作量，而无需重复每一项计算。这种方法依赖于可信的证明，因此尽管处理速度更快，形式化验证依然至关重要。
以太坊价格承压，市场动能疲软
与此同时，以太坊（ETH）交易价格约为 2,365 美元，较 9 月底 2,800 美元的高点下跌了约 15%。该加密货币面临 2,360 美元和 2,305 美元的即时支撑位，而 2,490 美元和 2,550 美元的阻力位则是潜在价格复苏的重要障碍。
相对强弱指数（RSI）徘徊在 38 附近，反映出微弱的市场动能，但尚无法确定加密货币是会反弹还是继续下跌。布特林的建议主要涉及以太坊的技术基础设施，而非对交易费用、质押奖励或代币供应量的即时调整。
开发人员在形式化验证方面的进展，将决定零知识证明在多大程度上能够自信地支持以太坊在网络范围内不断扩大的验证需求，同时保护参与者免受可避免的技术风险。
