摘要:ZKsync推出Airbender Prime证明器,仅用单张NVIDIA RTX PRO 6000 Blackwell GPU即在10秒内完成99%以太坊区块的实时证明。以太坊联合创始人Vitalik Buterin呼吁开发者转向形式化验证与可预测成本结构,强调系统安全性与独立可验证性。

币圈界报道:
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通过降低硬件门槛,使更多机构与独立运营方能够参与证明生成环节。该项目致力于推动金融基础设施层面的去中心化验证能力,后续将陆续披露更多关于系统架构与部署实践的技术细节。
声明:本站所有文章内容,均为采集网络资源,不代表本站观点及立场,不构成任何投资建议!如若内容侵犯了原著者的合法权益,可联系本站删除。
