DeepProve：拉格朗日推出 zkML 以控制 AI

@lagrangedev 宣布了 DeepProve，这是一种突破性的 zkML (零知识机器学习)库，旨在使 AI 可验证、可扩展和可信。在这个朝着人工超智能快速发展的世界中，DeepProve 承诺通过为机器学习输出启用密码学证明，确保 AI 系统与人类意图保持一致。

今天的人工智能模型运作如同黑箱。虽然它们能提供结果，但用户甚至开发者往往无法理解这些结论是如何得出的。这种不透明性带来了风险：从深度伪造和有偏见的算法到在医疗、金融甚至国防领域的潜在滥用。专家警告，失控的人工智能可能会追求自己的目标——有时以欺骗的方式——对人类构成生存威胁。

DeepProve通过将零知识证明与机器学习相结合来解决这个问题。开发者现在可以证明：

1. 使用了正确的模型。
2. 推断结果是有效的。 这消除了盲目信任，用密码学的确定性取而代之。

性能是又一重大进步。DeepProve 在生成证明方面比当前的 zkML 库（如 EZKL）快 54 倍到 158 倍，在验证方面快达 671 倍——将验证时间缩短到不到一秒。这使得可验证 AI 的实际可扩展部署终于变得切实可行。

应用广泛：从NFT的可验证AI特征和安全的协作训练，到智能合约集成和隐私保护推理。通过确保AI的推理可以被验证，DeepProve为安全、去中心化和透明的AI系统奠定了基础，这些系统仍然在人的控制之下。

随着人工智能向超级智能发展，Lagrange 将 DeepProve 定位为不仅仅是一款产品，而是人类未来的保障——一种用可验证的真相取代盲目信任的方式。