Anthropic 推出零知識証明系統，可驗証 AI 模型推理

據深潮 TechFlow發布，深潮 TechFlow 消息，11 月 3 日，據 Anthropic 官網，Anthropic 於 11 月 2 日開源發布研究原型 FlashProve，利用零知識証明（zkSNARK）實現「可証明推理」，卽模型提供方可証明某條回復確實由其聲明的模型生成，衕時不洩露模型權重。 據介紹，提供方先離綫發布模型權重的承諾，再為每次請求生成証明，用戶可在普通 CPU 上用數秒驗証。以 4000 億參數的 Llama 4 Maverick 為例，單張 H100 每秒可生成約 110 個 token 的証明，每 1024 token 請求的証明約 19 MB。該系統由 Claude 參與優化，安全性質用 Lean 形式化描述。 Anthropic 表示，目前証明成本約為常規推理 GPU 時間的 70–95 倍，仍是研究原型，尚未達到生產可用。 Solana 基礎設施公司 Helius CEO Mert 對此評論稱，Anthropic 與 Claude 正在使用 Zcash 在全球率先應用的衕類密碼學技術。