以太坊加快zkEVM安全性研究，力争在12月前达标

以太坊在zkEVM的速度竞争中已经取得胜利，但安全性仍然是一个未解之题。由以太坊基金会支持的研究竞赛显示，目前在一个加密组件上的证明结果之间仍存在52.14位的差距。该网络计划在12月初之前实现其zkEVM的可证明安全性达到128位。

简要概述

• 以太坊计划在12月之前实现可证明的128位zkEVM安全性。
• 基准测试显示仍存在52.14位的未解决区间。
• zkEVM的证明目前仍是传统验证系统的补充。

以太坊早已为zkEVM直接在其主层上的到来做好了准备。最初的工作集中在性能上。到2025年底，团队们成功将证明一个以太坊区块所需的时间从约16分钟缩短到几秒钟。多个zkVM已经能够在目标硬件上在不到十秒的时间内生成99%的区块证明。

然而，速度已不再是唯一的要求。以太坊基金会现在要求可证明的128位安全性。团队还必须生成最大300KB的最终证明，并准确记录他们不同证明系统如何协同工作。

下一个重要的截止日期将在12月初到来。在此之前，研究人员还需改进多个加密模块。其中一个模块现在正受到关注。

52.14位的差距仍然存在 {#h-un-ecart-de-52-14-bits-reste-ouvert}

better.codes网站正在组织一场竞赛，研究人员可以尝试改进或攻击一个名为koalaIRS12的参数。仪表板上目前显示两个数字。安全下限为63.99位，上限降至116.13位。在两者之间：仍有52.14位未解决。

这些数值并不意味着以太坊今天仅以63.99位的安全性运行。基准测试测量的是在证明系统研究中使用的特定加密配置，而不是整个网络。

这种精确性至关重要，因为以太坊希望将零知识证明作为其架构中更重要的一部分。竞赛是双向的。一些研究人员试图通过提供新的数学证明来提高安全性下限，而另一些则寻找攻击以降低上限。

截至8月21日，已有来自七位研究人员的九个结果被采纳。目标是逐步缩小两者之间的差距。完整的zkEVM将需要更多的工作。还需要验证不同组件、证明的递归以及数学模型与实际使用代码之间的匹配。12月即将来临。

当前的以太坊网络尚未依赖这些证明 {#h-le-reseau-ethereum-actuel-ne-depend-pas-encore-de-ces-preuves}

紧迫的时间表并不意味着今天以太坊的交易面临漏洞。相关的zkEVM尚未取代共识的正常运作。在当前阶段，它们的证明可以辅助主网的测试。传统的执行客户端仍在重新计算交易，然后验证者才会确认区块。

因此，以太坊仍然保持其正常运作。如果zk证明有一天足够可靠以取代部分重新执行的工作，情况将会改变。这正是以太坊基金会如此强调128位的原因。

在层1接受的虚假证明可能会导致比应用程序中的错误更严重的后果。它理论上可能允许验证网络的错误状态。该协议已经在这一主题上进行了多项工作。今年7月，以太坊特别部署了AI代理，自动寻找关键漏洞。zkEVM现在遵循相同的原则。快速证明，以太坊已经知道如何做到。现在需要的是在没有任何疑虑的情况下进行证明。

本内容仅供参考，不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息，不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性，存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。