2026-10-15 22:36:43
icon loading...

ZKsync Airbender Prime突破:单卡GPU实现实时以太坊区块证明

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

ZKsync最新发布的Airbender Prime证明系统,在单张NVIDIA RTX PRO 6000 Blackwell GPU环境下,实现对7,200个连续以太坊主网区块中99%的实时零知识证明,总耗时不足12秒。这一性能表现引发以太坊核心开发者Vitalik Buterin高度关注,他随即提出zkEVM生态应从速度竞争转向更深层次的安全能力建设。

单卡突破:证明效率实现质变

Airbender Prime在实际测试中展现出卓越的链上处理能力,除初始见证者准备外,每个区块的证明时间稳定控制在10秒以内,整体流程在12秒内完成。该系统在ETHproofs公开排行榜中,于平均证明时间、单位GPU算力效率及单位成本指标上均位列前茅,同时支持双卡与四卡并行配置,具备向大规模部署演进的潜力。

底层架构:面向后量子安全的创新设计

该系统采用专为抵御未来量子计算威胁而设计的基于哈希的STARKs方案。其核心技术融合GKR求和检查机制、WHIR多项式承诺体系以及BLAKE2s哈希算法,构建出高抗篡改能力的证明流程。针对Layer 1的验证逻辑,系统摒弃传统BN254配对,转而使用Keccak-256承诺机制,并遵循openRISC-V开放指令集标准,内置独立验证模块,确保任何第三方均可无信任地核查结果。

Vitalik Buterin:证明速度已定局,安全才是未来

面对技术进展,Vitalik Buterin在社交媒体上表示祝贺,并指出当前证明速度的竞争已基本落幕,下一阶段的核心应聚焦于系统可靠性。他明确提出三项关键要求:

  • 证明过程的算术化必须严格匹配以太坊执行规范;
  • 建立证明成本与区块Gas上限之间的确定性比例关系,实现可预测支出;
  • 对整个证明系统进行密码学层面的形式化验证,杜绝潜在漏洞。

这三大原则共同指向一个目标:构建可信赖、可审计、可重复验证的金融级基础设施。

迈向独立验证的金融可信体系

随着人工智能加速软件漏洞的发现与利用,机构对资产存储与账本更新的可信度提出更高要求。ZKsync强调,通过强制要求所有账本变更附带零知识证明,可有效防止被攻破的执行节点擅自批准违规操作,从而保障系统完整性。

Airbender Prime显著降低硬件门槛,使金融机构与独立运营方也能参与证明生成,推动形成去中心化的验证网络。项目团队表示,后续将陆续披露更多技术细节与部署路径,助力构建下一代可独立验证的数字金融底座。

声明:文章不代表币圈网观点及立场,不构成本平台任何投资建议。投资决策需建立在独立思考之上,本文内容仅供参考,风险自担!转载请注明出处!侵权必究!
币圈快讯
查看更多
回顶部