以太坊在zkEVM的速度之战中已获胜,但安全性之战仍未解决
由以太坊基金会支持的一项研究竞赛显示,在某个密码学组件的当前证明结果之间仍存在52.14比特的差距。该网络的目标是在12月初之前为其zkEVM实现可证明的128比特安全性。目前没有变化威胁到当前的共识。
简而言之
以太坊的目标是在12月前实现可证明的128位zkEVM安全性。
一项基准测试仍显示存在52.14比特的未解决差距。
目前zkEVM证明仍是对经典验证系统的补充。
以太坊想要128比特的安全性
以太坊长期以来一直在为将zkEVM直接部署在主层做准备。工作最初聚焦于性能。到2025年底,团队已成功将证明一个以太坊区块所需的时间从约16分钟缩短到几秒。多个zkVM已经能够在目标硬件上,用不到十秒的时间为99%的区块生成证明。
速度已不再是唯一要求。以太坊基金会现在要求可证明的128比特安全性。团队还必须生成最多300KB的最终证明,并精确记录其不同证明系统如何协同工作。
下一个重要截止日期是12月初。在此之前,研究人员仍需改进多个密码学构建模块。其中一个模块目前正受到密切关注。
52.14比特的差距仍然存在
某竞赛网站组织了一场挑战赛,研究人员可以尝试改进或攻击一个名为koalaIRS12的参数。仪表盘目前显示两个数值:下界安全值达到63.99比特,上界安全值降至116.13比特,两者之间尚有52.14比特未解决。
这些数值并不意味着以太坊目前仅以63.99比特的安全水平运行。该基准衡量的是证明系统研究中使用的一个特定密码学配置文件,而非整个网络。
这种精确性很重要,因为以太坊希望将零知识证明作为其架构中更重要的部分。该竞赛双向进行:一些研究人员试图通过提供新的数学证明来提高安全下界,另一些则寻找攻击手段来降低安全上界。
截至8月21日,已有七位研究人员的九项成果被接受。目标是逐步缩小两者之间的空间。完整的zkEVM需要更多工作:不同组件、证明的递归,以及数学模型与实际代码之间的匹配仍需验证。12月正在临近。
目前的以太坊网络尚未依赖这些证明
紧张的时间表并不意味着以太坊交易目前面临漏洞威胁。涉及的zkEVM尚未取代正常的共识运行。在当前阶段,它们的证明可以作为主网测试的辅助。经典执行客户端在验证者认证区块之前,仍会重新计算交易。
因此,以太坊目前仍照常运行。如果未来零知识证明足够可靠,能够取代部分重新执行,情况才会发生变化。这正是以太坊基金会如此坚持128比特安全性的原因。
在Layer 1中接受一个虚假证明,可能比应用程序中的漏洞造成更严重的后果。理论上,它可能允许验证一个错误的网络状态。协议已经在围绕这一问题加倍努力。7月,以太坊部署了AI代理来自动搜索关键漏洞。zkEVM现在也遵循同样的原则。以太坊已经知道如何快速证明,剩下的就是不留任何疑问地证明。
ETH

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
去中心化交易所
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
索拉纳ETF
瑞波币ETF
香港ETF
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注