币圈界报道:

单卡GPU实现以太坊区块实时零知识证明,ZKsync发布突破性系统

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显著降低硬件准入门槛,使更多机构与个体运营商能够参与证明生成流程。该项目致力于打造面向金融基础设施的可验证生态,并计划在未来陆续披露更多技术细节与部署路线图。