Lagrange 正在与 @OpenLedgerHQ 合作，使 AI 可证明、可审计，并且在 DeFi 中安全。 在 OpenLedger 上使用 DeepProve 驱动的代理，交易预测和智能合约优化可以在链上实时验证，而无需透露敏感数据。 了解更多：🧵

2/ @OpenLedgerHQ 正在构建去中心化的人工智能基础设施，在这里，模型在专业数据上进行微调，归功于贡献者，并通过使用进行货币化。 现在，借助 DeepProve，这些模型也可以被证明。 对人工智能预测的信任不是用户体验问题，而是数学问题。

3/ 使用 DeepProve，代理可以： 📈 证明交易信号是由专业交易数据生成和归属的 🔐 保持输入和权重完全私密 ⚡️ 更快且透明的交易信号 ⚡️ 生成 zk-proof 的速度比现有框架快多达 1000 倍 没有黑箱代理。只有可验证的表现。

4/ 想象一下，一个 OpenLedger 代理建议进行交易或合同优化。 在你采取行动之前，系统： → 通过 zkML 证明模型的输出 → 记录影响它的数据集 → 在链上验证它 你信任 AI，因为数学证明了它的输出。

5/ 这种集成为DeFi中每一层的AI带来了可验证性。 交易策略无法被伪造。智能合约逻辑与治理规则一致。贡献者根据真实、经过验证的输出获得报酬。用户基于他们可以真正信任的情报进行操作。