以太坊基金会重心从速度转向安全——为2026年设定严格的128位规则

在实现了zkEVM的实时证明目标后，以太坊基金会（EF）正将其重点从速度转向可靠性（soundness），指出许多现有的基于STARK的系统依赖于最近已被证伪的数学猜想，从而损害了有效安全性。

EF设定了严格的路线图，强调“可证明的安全”而非基于未经证实假设的安全。关键里程碑包括：到2026年2月底，将所有zkEVM证明系统接入EF维护的“soundcalc”工具，以标准化安全评估；到2026年5月底，实现至少100位的可证明安全；到2026年底，实现128位的可证明安全，且证明大小低于300KB。

为满足这些严格的安全和大小要求，EF指出了WHIR里德-所罗门邻近性测试等技术进步。最终目标是确保zkEVM能够作为可信的L1结算层，其证明不仅要快到足以在不破坏系统活性（liveness）的情况下进行验证，而且在安全级别上要与主流密码学标准相匹配。

(来源：CryptoSlate)