FlashProve17秒驗證大模型真偽

三步驗真流程

第一步是離線承諾，服務商在單張H100上花約39分鐘為模型權重生成唯一承諾ID並公開，參數稍有改動便無法對上，外界亦無法從指紋反推權重；第二步在線開證明，每次對話請求由GPU生成約19MB的密碼學證明。

第三步客戶端驗證，任何人取得回應後，在普通CPU上運行驗證程式cp_verify，17秒內得出真偽結論，全程既不需要權重也不需要GPU。

zkSNARK底層

系統建基於zkSNARK零知識證明，驗證方隨機抽查計算中的幾處，便能以極高概率發現造假，每個請求背後需執行約2000個sumcheck子協議，證明由服務商的GPU生成。

其安全性僅依賴BLAKE2哈希函數，不倚賴橢圓曲線等代數結構，被認為可抵禦未來的量子計算攻擊；這條技術路線此前已在Starknet等以太坊二層網絡久經實戰考驗。

單卡跑4000億

團隊測試對象為Meta的Llama 4 Maverick，一個4000億參數的混合專家模型，每個Token實際激活約170億參數。證明器的工作量只與真正執行計算的參數成正比，省去逾九成五的無效開支。

系統並以零知識編碼把專家路由選擇藏進指示向量裡，驗證時對全部專家作加權求和，既節省大量算力，亦避免外界反推模型內部的運轉路徑與權重。

流式接力跑通232GB

模型4-bit量化後權重達232GB，遠超單張H100僅有的80GB顯存，若一次打包整個推論的計算軌跡，任何顯卡都無法承載。團隊把權重放在主機記憶體，逐段送入GPU完成計算、編碼與歸約，只保留極少量數據傳遞至下一段，最終在單張顯卡上完成整個流程。

近400MB數學證明

倉庫語言統計顯示，C++佔1.4%、Python佔1.3%、CUDA佔0.9%，其餘95.2%約398MB代碼全部以Lean 4數學證明語言寫成。從114頁協議規範、技術報告，到底層代碼與形式化證明，絕大部分由Claude包辦，連測試、運行、對比與代碼審校亦全由AI負責。

人類科學家與AI共同敲定最頂層的6條安全定義：按承諾權重運行時證明必能通過，誤拒概率低於萬億分之一；造假蒙混的概率低於2的100次方分之一；驗證過程不會洩露任何權重資訊。中間近400MB繁瑣歸約由Lean內核逐行把關。

封堵套殼灰色地帶

以往開發者以旗艦級價格購買轉售API，後台卻可能暗中換用縮水模型，由於拿不到權重，用戶難以查證。FlashProve讓每條輸出強制附帶數學證明，偷換模型或半路篡改都會被數據拆穿，開發者毋須信任任何中心化機構。

項目以Apache 2.0協議開源，說明文件標明專為Agent運行而設計，附帶現成提示詞與規範。Anthropic亦提到，隨模型能力增強，更強的模型可能頂替獲批的弱模型上崗再假裝弱模型以避開監控，這類調包如今可被直接驗出。