币圈界报道:

ZKsync发布Airbender Prime:单卡GPU实现以太坊区块即时零知识证明

ZKsync推出的Airbender Prime证明引擎,在单一NVIDIA RTX PRO 6000 Blackwell GPU环境下,成功于不足十秒内完成对7,200个连续以太坊主网区块中99%的零知识证明任务。该成果迅速引起以太坊联合创始人Vitalik Buterin的高度关注,他随即倡议zkEVM生态应聚焦于形式化验证、可预估的证明开销及密码学强度的提升。

单卡处理能力突破:证明延迟压缩至十秒以内

Airbender Prime展现出在单张高性能显卡上实现以太坊主网区块即时证明的可行性。测试数据显示,除见证者生成阶段外,每个区块的证明时间均控制在10秒之内,全部区块处理周期不超过12秒。根据ETHproofs公开榜单,该系统在平均证明耗时、单位GPU效率与运行成本三项指标中均位列前茅,并已支持双卡与四卡并行配置方案以满足更高吞吐需求。

其底层架构采用面向后量子环境设计的基于哈希的STARK协议。核心技术融合了GKR求和检验机制、WHIR多项式承诺体系以及BLAKE2s哈希函数。针对Layer 1的证明流程,系统改用基于Keccak-256的承诺方式替代传统的BN254配对运算,同时遵循openRISC-V开放标准,集成独立验证模块,确保任何证明均可被第三方独立核验。

Vitalik Buterin提出三大安全优先原则

面对这一里程碑式进展,Vitalik Buterin向ZKsync团队致以肯定。他指出,当前证明速度的竞争已趋于收敛,未来重心必须转向系统安全性。为此,他明确列出三项关键要求:

证明逻辑的算术化过程须严格匹配以太坊规范;

建立证明开销与区块Gas上限之间的确定性比例关系;

对整个证明体系实施严格的密码学安全性审计。

上述主张旨在构建具备正确执行保障、成本透明可控且抗攻击能力强的下一代zkEVM基础设施。

随着人工智能辅助漏洞挖掘日益普及,软件供应链风险显著上升。ZKsync强调,金融机构亟需具备由银行及交易对手自主验证的可信机制。通过强制账本变更必须附带零知识证明,可有效防范被攻陷的执行节点擅自批准违规更新操作。

Airbender Prime通过降低硬件门槛,使更多机构与独立运营方能够参与证明生成环节。该项目致力于推动金融基础设施层面的去中心化验证能力,后续将陆续披露更多关于系统架构与部署实践的技术细节。