摘要:ZKsync推出Airbender Prime证明器,仅用单张NVIDIA RTX PRO 6000 Blackwell GPU即在10秒内完成99%以太坊主网区块的实时证明。以太坊联合创始人Vitalik Buterin呼吁开发者聚焦形式化验证与密码学安全性,推动可独立验证的金融基础设施建设。

币圈界报道:
单卡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显著降低硬件准入门槛,使更多机构与个体运营商能够参与证明生成流程。该项目致力于打造面向金融基础设施的可验证生态,并计划在未来陆续披露更多技术细节与部署路线图。
声明:本站所有文章内容,均为采集网络资源,不代表本站观点及立场,不构成任何投资建议!如若内容侵犯了原著者的合法权益,可联系本站删除。
