發生什麼事
GitHub 上的 anthropics/FlashProve 儲存庫公開 FlashProve（讓 AI 供應商證明哪個模型回答了請求的研究原型），採 Apache 2.0（開源授權），頁面標示 Version 0.16.0、官方頁面發布日期為 10 月 30 日；BlockTempo、TechNews、iThome 則寫 Anthropic 於 11 月 2 日發表（BlockTempo 寫台北時間）。官方說明供應商不必揭露權重（模型參數）即可證明。 動區動趨 BlockTempo TechNews 科技新報 iThome 官方原文・github.com
流程三步：Commit，供應商發布 commitment ID（承諾編號），綁定一組權重，依賴權重的公開值都經遮蔽（宣告清單除外）；Prove，每則回覆由供應商的 GPU（運算用的繪圖處理器）產生證明，證明回覆是被承諾模型的輸出；Verify，任何人可在一般 CPU（中央處理器）用 cp_verify（驗證程式）在數秒內檢查，不需權重。 原文
官方列出的規格：單張 NVIDIA H100（NVIDIA 的資料中心 GPU）跑完整尺寸的 Llama 4 Maverick（Meta 的混合專家模型），上下文視窗 1,024-token（一次可處理的文字單位上限）；prover 在 prefill（讀入提示詞階段）每批 24 requests 時約 110 tokens/second。 原文 iThome
協定的 soundness（健全性，作假會被抓到）以 Lean 4（形式化證明語言）證明：供應商以非承諾模型的輸出冒充，除機率約 q/2^124 + 2^-101（q 次 hash（雜湊）查詢後）外會被抓到。 官方原文・github.com
媒體補充：TechNews 與 BlockTempo 寫該模型為 4 位元量化（用較少位元儲存模型權重以縮小體積），TechNews、iThome 與 BlockTempo 寫約 4,000 億參數（400B）；每個 1,024 token 請求的證明檔約 19MB（BlockTempo 另寫每證明約 18.78 MB），驗證只需 CPU，TechNews 寫 24 執行緒約 17 秒，iThome 寫 17 至 21 秒，BlockTempo 寫單執行緒約 21 秒；證明的 GPU 時間約為 vLLM（開源 LLM 推論引擎）的 70–95 倍。 動區動趨 BlockTempo TechNews 科技新報 iThome
誰受影響
Anthropic 指出，使用者無從確認回覆是否來自宣稱的模型，路由服務可能為省成本偷換較便宜的模型，攻擊者也可能竄改輸出（TechNews）。Anthropic 認為這可協助監管機關確認業者只提供核准的模型、偵測推論伺服器遭入侵或模型被偷換（TechNews）；iThome 提到第三方稽核機構取得證明及驗證資料即可確認。 TechNews 科技新報 iThome
限制與未定事項
官方標示專案為「not maintained, not accepting contributions」（不維護、不接受貢獻），上下文視窗為 1,024-token；儲存的範例證明用合成權重的小模型，僅顯示驗證器可運作。 官方原文・github.com
媒體報導的其他限制：只涵蓋整數運算與貪婪解碼（每步取機率最高的 token），模型架構無法隱藏，未處理旁路攻擊（利用運算時間等側面資訊的攻擊），日常使用的 C++ 驗證器未經形式驗證（TechNews）；iThome 指出尚未成為 Claude 服務的標準功能。 TechNews 科技新報 iThome
各方說法
TechNews 寫同樣證明此模型的 VerInf（官方 README 致謝的先前專案）處理 1,000 個 token 需 14.3 小時、證明檔 93.6GB；BlockTempo 寫先前公開系統約 0.02 tok/s、證明動輒數十 GB。官方 README 致謝 James Petrie 的 VerInf。 動區動趨 BlockTempo TechNews 科技新報 官方原文・github.com
