ZKsync Airbender Prime:单卡GPU实现以太坊区块实时证明
ZKsync 推出的 Airbender Prime 证明器,在单次 NVIDIA RTX PRO 6000 Blackwell GPU 的测试中,成功在不到 10 秒的时间内完成了对 7,200 个以太坊连续主网区块中 99% 的证明工作。这一突破性进展引发了以太坊联合创始人 Vitalik Buterin 的关注,他呼吁 zkEVM 开发者将重点转向形式化验证、可预测的证明成本以及密码学安全性。
技术突破与性能表现
Airbender Prime 展示了在单一 GPU 上实现以太坊证明的实时处理能力。在测试过程中,除了见证者准备阶段外,每个区块的证明时间均控制在 10 秒以内,所有区块均在 12 秒内完成处理。ZKsync 表示,Airbender Prime 在 ETHproofs 公共排行榜的平均证明时间、GPU 效率及成本方面均位居前列,并支持双卡及四卡的实时配置方案。
在技术架构上,Airbender Prime 采用专为后量子安全设计的基于哈希的 STARKs 系统。其核心技术融合了 GKR 求和检查(Sumcheck)、WHIR 多项式承诺以及 BLAKE2s 哈希算法。针对 Layer 1 的证明,该系统使用基于 Keccak-256 的承诺机制替代 BN254 配对,并遵循 openRISC-V 标准,内置独立验证器以确保证明的可独立性核查。
Vitalik Buterin 强调安全性优先
Vitalik Buterin 对 ZKsync 团队取得的里程碑式成就表示祝贺。他指出,虽然证明速度的竞争已基本分出胜负,但 zkEVM 的开发重心应转向安全性。他提出了形式化验证的三个关键要求:
- 证明算术化过程符合以太坊的规范;
- 确立证明成本与区块Gas上限之间的硬性比例关系;
- 验证证明系统本身的密码学安全性。
Buterin 的观点强调了系统必须具备正确执行能力、可预测的成本结构以及可靠的密码学保护机制。
构建可独立验证的金融基础设施
ZKsync 指出,人工智能的发展可能加速软件漏洞的发现与利用。因此,机构需要能够由银行和交易对手独立验证的安全机制。通过要求账本更新必须附带零知识证明,可以防止被入侵的执行服务器批准违反编码规则的更新操作。
Airbender Prime 降低了硬件门槛,使机构和独立运营商更容易参与证明生成。该项目旨在支持金融基础设施层面的独立验证,并计划在未来发布更多关于 Airbender Prime 的信息。
ETH

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