Anthropic 發布開源零知識證明系統 FlashProve

Anthropic 發布基於零知識證明（zkSNARK）的開源 AI 推理驗證系統 FlashProve，StarkWare 聯合創始人 Alessandro Chiesa 參與研究。該系統利用與區塊鏈 ZK 技術同源的密碼學方法，使使用者無需獲取模型權重或重新運行模型，即可驗證 AI 輸出是否由指定模型生成。Claude 參與了系統優化，目前已開源相關代碼及 Lean 形式化證明。該系統仍處於研究原型階段，證明生成的 GPU 時間開銷約為普通推理的 70--95 倍。測試顯示，FlashProve 在單張 H100 GPU 上，可為 Meta 旗下 4000 億參數模型 Llama 4 Maverick 以約每秒 110 Token 的速度生成證明，單個證明約 19 MB。