币圈界报道:

以太坊在零知识证明领域取得进展,但安全边界尚未封闭

由以太坊基金会主导的研究竞赛揭示,当前某关键密码学组件的证明能力与理想安全水平之间仍存在52.14比特的未解空间。该网络设定目标是在12月初达成可验证的128比特安全保障,目前整体共识机制未受冲击。

核心目标聚焦于128比特可验证安全

以太坊长期致力于将zkEVM原生集成至主网层。初期重点集中于性能优化,至2025年底,生成单个区块证明的时间已从约16分钟压缩至数秒级别。多个zkVM已在目标硬件上实现99%区块的十秒内完成证明。

随着效率突破,安全标准成为新焦点。基金会提出必须达到可证实的128比特安全等级,并要求最终证明体积不超过300KB,同时精确记录各证明系统间的协作逻辑。

12月初是下一阶段的关键节点,研究人员需持续强化多个密码学模块,其中一项配置正面临高度关注。

安全边界尚未收敛,差距仍存

一场公开竞赛围绕名为koalaIRS12的参数展开,参赛者可尝试提升其安全性或发起攻击。仪表盘数据显示,当前下界安全值为63.99比特,上界降至116.13比特,二者间仍有52.14比特未被完全覆盖。

需强调的是,这一数值反映的是特定密码配置下的研究范围,不代表整个以太坊网络的实际安全水平。该基准仅用于评估底层构建模块的潜力。

竞赛采取双向机制:部分研究者通过数学推导提升安全下限,另一些则试图发现漏洞以压低上限。截至8月21日,已有七名研究人员提交九项成果并获采纳。目标是逐步缩小区间,直至达成理论闭环。

完整部署仍需攻克多方面挑战,包括组件协同、递归证明机制及理论模型与实际代码的一致性验证。12月临近,时间压力加剧。

当前运行机制未受动摇

尽管进度紧迫,但现有以太坊交易流程并未因证明系统的不完善而暴露风险。当前的zkEVM尚未替代常规共识流程,其生成的证明主要用于测试环境中的辅助验证。

主网中,验证节点仍会重新执行所有交易以确认区块有效性,确保系统稳定性。因此,网络维持正常运作。

一旦零知识证明具备足够可靠性,能够承担部分重执行职能,架构将发生根本转变。这也是基金会坚持128比特安全底线的核心动因。

在底层协议中接受伪造证明的后果远超应用层漏洞——理论上可能引发对错误网络状态的合法认证。为此,以太坊自7月起引入AI代理自动探测关键缺陷,如今该策略也延伸至zkEVM生态。技术已掌握快速生成证明的能力,下一步则是彻底消除任何潜在疑点。