币圈界报道:

以太坊零知识证明安全防线亟待补全

由以太坊基金会主导的研究竞赛揭示,当前在特定密码学组件的证明能力上仍存在52.14比特的安全缺口。该网络计划在12月初前实现可验证的128比特安全性,目前共识机制未受威胁。

核心安全目标锁定128比特阈值

以太坊长期致力于将zkEVM集成至主链层。早期工作聚焦于性能提升,至2025年底,生成单个区块证明的时间已从约16分钟缩短至数秒级别。多个zkVM已在目标硬件上实现99%区块的十秒内证明。

如今重点转向可验证安全性。团队需确保最终证明规模不超过300KB,并精确描述各子系统间的协同逻辑。下一个关键节点为12月初,届时研究人员须进一步完善多项密码学构建模块,其中一项尤为关键。

安全边界尚未完全收敛

一场针对koalaIRS12参数的公开挑战赛显示,当前下界安全值达63.99比特,上界降至116.13比特,两者间仍有52.14比特未被填补。

需强调的是,这一数值不代表以太坊当前运行于63.99比特安全水平。它仅反映某项特定配置下的研究基准,而非整体网络状态。

该竞赛采用双向机制:部分学者尝试通过数学推导提升下界,另一些则探索潜在攻击路径以压低上界。截至8月21日,已有七位研究者提交九项成果获采纳。目标是逐步压缩安全区间。完整部署仍需攻克组件整合、递归证明及理论模型与代码实现的一致性难题,时间日益紧迫。

现有网络仍依赖传统验证机制

尽管进度紧张,当前以太坊交易并未面临实际风险。所涉zkEVM尚未替代主流共识流程。现阶段其证明仅用于辅助测试,主网验证仍由经典执行客户端完成,即在接收区块前重新执行所有交易。

因此,网络运作维持正常。只有当零知识证明具备足够可靠性,能够承担部分重执行职能时,系统结构才会发生根本转变。这正是基金会坚持128比特安全标准的根本原因。

在底层协议中接受虚假证明,可能引发比应用层漏洞更严重的后果——理论上可导致错误网络状态被确认。为此,以太坊已强化防御体系:7月引入AI代理自动扫描高危漏洞,而zkEVM亦遵循相同原则。技术已能快速生成证明,下一步则是确保每一步都无可置疑地可信。