零知识证明新突破：蚂蚁数科登顶以太坊全球基准评测

在区块链与人工智能加速融合的当下，信任机制正成为制约技术落地的关键瓶颈。近日，蚂蚁数科自主研发的零知识证明虚拟机 zkDTVM 在以太坊发起的 EthProofs 全球基准评测中，以 3.7秒 的区块证明速度刷新世界纪录，超越此前业界公认的 4.2秒 极限，登顶全球第一。这一成绩不仅标志着中国企业在区块链底层技术领域的持续领跑，更预示着多智能体协作时代的信任基础设施正在加速成型。

突破“实时证明”的工程瓶颈

在区块链的分层架构中，零知识证明虚拟机（zkVM）承担着交易验证的核心职责。其性能直接决定了系统的吞吐量上限。长期以来，业界将“实时证明”——即在秒级内完成复杂计算的验证——视为技术攻关的终极目标。然而，受限于算法复杂度与硬件适配性，多数系统在真实场景下难以突破10秒门槛，4秒以上已属优秀。

此次蚂蚁数科的 zkDTVM 将证明时间压缩至 3.7秒，并非单一模块的优化，而是端到端的系统性重构。其技术路径聚焦于 GPU原生并行架构 的深度适配，从执行层、算术化层到证明系统层协同设计，充分发挥现代计算硬件的并行处理能力。这种“软硬协同”的优化策略，使得理论优势真正转化为可复现、可验证的工程成果，而非实验室中的孤立峰值。

值得一提的是，EthProofs 评测平台强调真实负载与可复现流程，要求参与方在统一硬件环境下提交稳定运行的系统表现。这意味着榜首位置代表的不仅是算法先进性，更是系统工程能力与长期稳定性的综合体现。

为多智能体协作构建可信基石

当前，AI 的发展正从单一模型走向多智能体（Multi-Agent）协同的新范式。从自动驾驶车队到分布式能源调度，从金融风控联盟到智能制造网络，智能体之间的交互频次呈指数级增长。每一次协作都涉及数据交换与行为验证，若缺乏高效、可信的验证机制，系统将面临信任崩塌的风险。

零知识证明（ZKP）技术的核心价值在于：在不暴露原始数据的前提下，证明某项计算的正确性。这恰好为多智能体协作提供了理想的信任基础设施。例如，两个AI代理在进行金融交易时，可通过zkDTVM快速验证对方计算逻辑的合规性，而无需共享敏感数据。这种“可验证但不可见”的机制，既保障了隐私，又提升了协作效率。

蚂蚁数科此次的技术突破，正是为这一场景量身打造。3.7秒的验证延迟，已接近人类感知的“实时”阈值，足以支撑高频交互的智能体网络。未来，随着更多AI系统接入区块链网络，zkDTVM 有望成为跨域协作的“信任路由器”，推动人机协同迈向更高阶的自治形态。

十年深耕，厚积薄发的技术底色

这一成果的取得，并非偶然。蚂蚁数科在区块链底层技术领域已投入自主研发超过 10年，积累了全球领先的专利布局与技术储备。其技术体系覆盖密码学原语设计、硬件加速架构、安全协议建模到系统级工程落地，形成完整的创新闭环。

近年来，团队在顶级学术会议上的成果频出：从 DAC 2024 的硬件加速方案，到 Asiacrypt 2024-2025 的安全协议证明，再到 PKC 2026 的系统化验证框架，一系列论文不仅奠定了理论高度，也反哺了工程实践。这种“学术-产业”双轮驱动的研发生态，使得蚂蚁数科在零知识证明等前沿领域持续保持领先。

此外，zkDTVM 的架构设计充分考虑了国产化适配与自主可控需求，为我国在下一代可信计算基础设施中争取了战略主动。

从区块链到AI，从密码学到系统工程，蚂蚁数科正以其深厚的技术积淀，为数字世界的信任协作铺设底层轨道。当智能体开始大规模协同，我们需要的不仅是更强的算力，更是更快的验证、更可靠的信任。而这一次，中国技术再次站在了全球前沿。

标签： 区块链 零知识证明 多智能体系统 蚂蚁数科 zkVM