2 月 27 日，Modulus Labs 宣布其研发的零知识机器学习（ZKML）证明器 Remainder 已正式推出。在首次将 GKR 证明器应用于生产中，Remainder 在同等硬件条件下，相较于传统 AI 推理，实现了 180 倍的效率提升。此项技术不仅展现了在保障数据隐私和安全性方面的巨大潜力，也为可验证 AI 的实际应用奠定了基础。 Remainder 的开发基于对专业化零知识证明（ZK）性能探索的深刻洞察，通过对 GKR 协议的优化应用，显著提高了 AI 推理过程的验证效率。此外，该证明器已在以太坊上静默完成数十万次 AI 结果记录，证明了其在实际应用中的稳定性与可靠性。 为了深入解析 Remainder 背后的理论，Modulus Labs 将在今年发布一系列论文，首篇《智能扩展：使用 Remainder 进行可验证决策森林推理》详细介绍了支持 Remainder 的一系列优化措施。MEAP 项目预计将于 2024 年第二季度启动，旨在带领参与者从理论到实践全面掌握 GKR，并在 Remainder 中进行电路构建和证明。