本站訊 Polyhedra 攜手伯克利 RDI 推出首個可驗證大語言模型（LLM）的零知識證明系統。正如 HTTPS 為互聯網通信建立了安全保障，這一系統為 AI 領域構建了驗證基礎設施。該系統無需公開模型或數據，即可高效驗證 AI 性能與合規性，速度比之前的方法快 20,000 倍。目前已經可以快速驗證包括 Llama 3-8B 在內的大語言模型。 核心亮點如下： - Polyhedra 創新技術：零知識機器學習（zkML）技術就像互聯網中的 HTTPS 協議，使得無需泄露模型或數據細節即可驗證 AI 系統的性能與合規性，保護隱私安全。 -性能卓越：Expander 大幅提升驗證效率，單線程驗證速度比現有方法快 20,000 倍，支持 VGG-16 每張圖像 2.2 秒、Llama-3 每個 Token 150 秒。 -開發者友好：zkPyTorch 編譯器無縫集成 PyTorch，為開發者提供簡單易用的工具。 應用場景： - AI 服務質量保證 - AI 訓練數據合規化 -公平數據自動交易市場 - AI Agent 責任分配 - AI Agent 合規性 -金融服務合規性驗證 這一系統不僅解決了 AI 模型驗證中的合規難題，還為 AI 安全性和可信度提供了全新的解決方案。