以太坊将重心从速度转向安全，设定2026年新期限

在实现过去一年显著的性能提升后，以太坊基金会为zkEVM团队设定了三个必须在2026年底前完成的关键安全里程碑。

性能目标达成，安全问题浮现

过去一年间，zkEVM开发团队取得了惊人的速度突破。以太坊区块证明时间从16分钟降至仅16秒——提升达60倍。成本降低45倍，99%的以太坊区块现可在目标硬件上于10秒内完成验证。

但这些性能胜利掩盖了一个严重问题。许多基于STARK的zkEVM依赖未经证实的数学假设。最新研究显示，部分基础猜想实际上是错误的。声称具有100位安全性的系统，在这些数学缺陷暴露后可能仅能提供80位防护。

来源：@asn_d6

以太坊基金会明确指出问题严重性："若攻击者能伪造证明，他们就能伪造一切：凭空铸造代币、改写状态、窃取资金。"对于可能承载数千亿美元价值的系统，安全性不容妥协。

2026三大关键里程碑

基金会制定了明确路线图，设定2026全年三个截止期限。

第一里程碑截至2026年2月底。所有zkEVM团队必须将其证明系统与soundcalc集成——这个以太坊基金会新工具能根据最新密码学研究量化安全性。soundcalc将取代各团队各自为政的安全假设，提供随新型攻击发现而动态更新的统一标准。

代号"Glamsterdam"的第二里程碑定于2026年5月。团队需通过soundcalc测试实现100位可证明安全性，最终证明体积需控制在600KB以内，同时提供递归架构工作原理及安全性的完整说明文档。

命名为"H-star"的第三里程碑是2026年底的终极目标：实现完整的128位可证明安全性，证明体积压缩至300KB以下，并提交递归架构可靠性的形式化数学论证。该128位标准符合密码学标准化机构建议，是处理高价值系统的行业安全基准。

当前安全机制的问题根源

安全隐患源于对未经验证数学猜想的依赖。众多zkEVM系统在其基于哈希的SNARK和STARK系统中使用名为"邻近间隙猜想"的假设，这些猜想声称特定数学性质在特定条件下必然成立。

最新学术研究推翻了这些猜想，证明它们在zkEVM团队使用的参数范围内并不成立。这直接削弱了依赖此类假设系统的实际安全等级。

以太坊基金会密码学团队成员George Kadianakis解释转型动因："一年前的问题是zkEVM能否足够快速地完成证明。这个问题已有答案。现在的新问题是能否构建足够严谨的证明。"

技术突破助力目标达成

基金会确认多项密码学进展将使这些雄心勃勃的安全目标成为可能。

WHIR作为新型Reed-Solomon邻近测试和多项式承诺方案，在128位安全等级下生成的证明体积比传统方法小1.95倍，验证速度提升数倍。它提供透明的后量子安全性，且无需可信设置仪式。

JaggedPCS技术可避免多项式数据编码时的计算资源浪费，使证明者能更高效生成小型承诺。

精心设计的递归拓扑结构允许将多个小型证明聚合为单一最终证明。但各zkEVM团队采用不同的递归实现方案，需通过定制代码连接各类电路。完整记录这些架构并验证其正确性至关重要却极具挑战。

战略时机与形式化验证

基金会选择此时聚焦安全有深层考量。待zkEVM架构稳定且团队达标后，形式化验证工作才能充分发挥潜力。以太坊基金会已通过Verified-zkEVM等项目布局形式化验证领域。

"到H-star阶段时，我们希望证明系统层已基本定型，"Kadianakis写道，"并非永久冻结，而是足够稳定以形式化验证关键组件、完成安全证明、编写与部署代码匹配的规范。"

这种稳定性是zkEVM作为Layer 1基础设施获得信任的前提。若这些系统能同时实现快速证明与可验证的128位安全性（兼具体积优势），Layer 2 rollups便可复用相同技术。以太坊甚至可能提高gas限制而无需验证者重新执行每笔交易——仅需验证小型证明即可。

机构采用与宏观背景

在收紧安全要求的同时，以太坊加速了机构化进程。2025年10月，基金会推出"机构版以太坊"门户，突出展示网络110万验证者及十年持续运行记录。

当前以太坊承载着超66%的实物资产代币化项目，贝莱德、Securitize和Ondo Finance等金融机构均在其上部署代币化工具。摩根大通最近推出首支以太坊上代币化货币市场基金，初始资本1亿美元。

基金会强调，零知识证明、全同态加密和可信执行环境等隐私保护技术已通过Chainlink、RAILGUN和Aztec Network等项目实现生产级应用。

但联合创始人Vitalik Buterin也指出协议复杂性是根本挑战。他在12月18日表示："一种重要但被低估的无信任形式，是增加能够真正完整理解协议全貌的人数。"

前路展望

包括Polygon、Scroll、zkSync在内的主流zkEVM团队能否全部达标仍是未知数。在保持证明体积小于300KB且成本可控的前提下实现128位可证明安全性，将面临重大技术挑战。

安全形势持续演变。soundcalc的存在正是因为STARK和基于哈希的SNARK安全参数会随新攻击方式的发现及旧假设的推翻而不断调整。当前的"100位"设置可能随密码学研究进展而需修订。

2026年1月，以太坊基金会计划发布补充文件正式确定这些里程碑，并详述达成目标的具体证明系统技术。Ethproofs网站也将更新，在性能指标外突出安全参数。

基金会密码学团队将为zkEVM团队提供全程支持，将最新安全研究成果持续整合至soundcalc。

从冲刺到马拉松

性能冲刺已结束，安全长跑正开始。经过一年速度竞赛后，以太坊zkEVM生态面临更艰巨挑战——构建足以安全承载数千亿美元价值的系统。2026三大里程碑提供了清晰路线图，但在此规模上实现可证明安全性，仍是区块链行业未曾涉足的领域。