以太坊基金会详细介绍 zkEVM 进展及 2026 年路线图

简要概述

以太坊基金会报告了过去一年zkEVM性能的提升，目前正将安全性和形式验证作为优先事项，设定了到2026年底实现可证明的128位安全的里程碑。

以太坊基金会是一个非营利组织，致力于通过研究、技术和社区项目支持以太坊的长期发展，已发布关于其zkEVM生态系统进展的最新情况，总结了一年的进步并规划了未来目标。

根据报告，实时证明的延迟已从16分钟大幅降低到16秒，成本降低了45倍，zkVM现在在目标硬件上可以在10秒内验证99%的以太坊区块。虽然这些性能改进解决了主要瓶颈，但安全仍然是首要关注点。

许多基于STARK的zkEVM仍依赖未经验证的数学假设，近期的研究对其中一些猜想提出了质疑，减少了有效的安全裕度。以太坊基金会强调，可证明的安全性仍然至关重要，目标是实现标准化机构推荐并通过计算基准验证的128位安全性，特别是在攻击者可能利用Layer 1 zkEVM的健全性缺陷，从而危及大量资金的情况下。

在安全性和证明大小之间取得平衡至关重要，因为更高的安全性通常会增加证明的大小，而这些大小必须保持在以太坊网络传播的可控范围内。为此，基金会设定了三个关键里程碑：

以太坊基金会强调，到2026年2月底，zkEVM团队预计将集成SoundCalc，这是一款基于当前密码学界限和证明参数，持续估算安全性的工具。到2026年5月底，生态系统目标是实现100位可证明安全，最终证明大小控制在600 KiB以内，并提供紧凑的递归架构描述。到2026年底，目标是实现128位可证明安全，证明大小低于300 KiB，并为递归架构提供正式的安全性论证。

近期的密码学和工程技术发展，包括紧凑的多项式承诺、先进的递归技术和结构化电路组合，使这些里程碑变得可行。特别是对架构和递归的健全性进行文档化尤为重要，因为现代zkEVM涉及复杂的、团队特定的递归电路设计，这对于整个系统的安全至关重要。

以太坊基金会将焦点转向zkEVM安全性和形式验证，迎接H-star里程碑

在这个阶段，专注于zkEVM的安全性具有战略意义。确保一个仍在演进的系统的安全性具有挑战性，但一旦zkVM架构稳定，团队达到关键目标，形式验证的工作就能全面展开。到H-star里程碑时，证明系统层预计将基本稳定——虽然不是永久固定，但足够稳定以进行关键组件的形式验证、完成安全性证明，并使规范与已部署的代码保持一致。这一稳定性对于实现安全的Layer 1 zkEVM至关重要。

一年前，主要问题是zkEVM是否能足够快速地证明交易，而这个挑战已经得到解决。当前的重点是它们是否能可靠且安全地做到这一点，信心很高。以太坊基金会计划在一月发布一篇正式阐述这些里程碑的文章，随后将发布技术更新，详细介绍实现目标安全级别和证明大小的证明系统技术。Ethproofs也将更新，以反映在性能之外强调安全性的转变。在整个过程中，基金会的密码学团队将提供支持。随着性能冲刺的完成，下一步将转向巩固基础。