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