以太坊 zkEVM 将重点从速度转向安全性

以太坊zkEVM生态系统已取得重大技术里程碑。现代zkVM现在可以在不到10秒的时间内，使用目标硬件为几乎所有以太坊主网区块生成证明。

随着速度问题基本解决，Ethereum基金会（EF）现在将重点转向安全性，并警告一些zkEVM依赖于薄弱或未经验证的假设。

实时证明将焦点转向安全

实时证明意味着生成的证明速度足以匹配以太坊12秒的区块时间。以太坊基金会要求zkEVM在10秒内用开源软件、有限的算力和经济实惠的硬件证明99%的区块，同时保持证明的体积小巧且安全。

12月18日，EF确认实时证明现已实现，因此可以在不减慢网络速度的情况下验证证明。随着速度问题基本解决，EF再次强调安全性，警告某些zkEVM依赖于薄弱或未经验证的假设。

新的研究显示，这些假设可能不像以前认为的那么安全。EF表示，只有完全可证明的安全性才适用于在基础层使用的zkEVM，因为伪造的证明可能会损害以太坊区块链的核心。

以太坊基金会为zkEVM设定明确的安全标准

以太坊基金会表示，128位安全性是Layer 1 zkEVM的长期标准。这一安全级别被广泛认为足以保护持有大量价值的系统，远超攻击者的实际破解能力。

为了实现这一目标，EF已制定了明确的计划。到2026年2月，所有zkEVM团队必须使用名为Sound Calc的共享工具，以基于当前研究的方式统一衡量安全性。

据透露，到2026年5月，Glamsterdam里程碑要求至少达到100位安全性，证明大小控制在600千字节以内，并提供关于证明工作原理及其安全性的清晰说明。到2026年底，zkEVM必须达到完整的128位安全性，并将证明大小缩减到300千字节以下。

新工具推动zkEVM迈向安全的以太坊扩展

一些新工具正在帮助实现这些目标。以太坊基金会重点介绍了WHIR，这是一种新型证明方法，能生成更小、更快且安全的证明。它还提到其他技术，能在不削弱安全性的前提下减小证明体积。

如果成功，zkEVM有望大幅提升以太坊的扩展性。验证者将验证较小的证明，而无需重新执行每笔交易。这将允许更多的活动在不依赖更强硬件的情况下进行，并帮助保持质押的可行性。

然而，挑战依然存在。大部分结果来自测试环境，而非实际大规模应用，且随着研究的推进，安全标准可能会发生变化。撰写和验证完整的安全证明也需要大量时间和努力。

本文首发于TheCoinrise.com。