📰 概要

AI Agent之间要互相信任，需要什么？

答案是：可验证计算。你让AI帮你做决策，你需要知道它真的做了，而不是在敷衍。这个需求，区块链刚好能解决。

2026年4月28日，蚂蚁数科的zkDTVM在以太坊全球基准评测EthProofs中，将区块证明速度压缩至3.7秒，打破此前的4.2秒世界纪录，登顶全球第一。

10秒以内已是业界公认的优秀水准，3.7秒意味着什么？意味着验证速度已经接近实时，AI Agent之间的高频协作成为可能。

---

🔍 解读

为什么这事跟AI Agent有关？

现在的AI应用正在从"单个模型完成任务"扩展到"多个Agent协作"。协作频次越高，对信任机制的需求就越强。

简单说：你让AI A帮你分析数据，让AI B帮你写报告，它们之间需要互相确认——你真的做了吗？你的结论可靠吗？

传统解决方案靠中心化的第三方做担保。但零知识证明（ZKP）的思路是：不需要第三方，你自己就能证明计算的正确性，而且不用暴露原始数据。

zkDTVM的价值就在这里：把ZKP的验证速度从"慢到不能用"压缩到"快到可以实时用"。3.7秒证明一个区块，对AI Agent来说就是毫秒级的信任确认。

---

💎 深挖

EthProofs是什么

EthProofs是以太坊发起的全球基准评测，特点是：真实负载、可复现流程、统一硬件规则。比的不是实验室里的峰值性能，而是工程落地的综合稳定性。

能在EthProofs登顶，意味着算法、系统、工程都过关，不是单点突破。

zkDTVM怎么做到的

蚂蚁数科的思路是：从执行层、算术化层到证明系统层，全链路协同优化。

面向GPU原生并行特性重新设计架构，让硬件能力被充分利用。理论优势 + 系统工程 + 持续迭代，最终转化为可观测的公开榜单成绩。

为什么值得持续关注

蚂蚁数科在区块链方向已投入超过10年，技术体系完整——底层密码学、系统工程、硬件加速，覆盖从论文到落地的完整链路。

近三年相关成果陆续发表于DAC 2024、Asiacrypt 2024-2025、PKC 2026等顶级学术会议。

零知识证明正在从区块链圈走出来，成为AI Agent协作的基础设施。未来你的AI助手要跟其他AI协作，可能需要先"证明"自己能完成承诺的计算。zkDTVM这类技术就是答案。

什么情况不建议用

如果你只是在做单Agent的简单任务，zkDTVM帮不上忙——它解决的是多Agent协作的信任问题。

如果你的应用场景不需要可验证计算（大多数AI应用目前还不涉及这个），这个技术对你的直接影响有限。