资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种
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 的信息。
