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