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 定位爲不僅僅是一款產品，而是人類未來的保障——一種用可驗證的真相取代盲目信任的方式。