標籤 可驗證推論

Anthropic 於 2026 年 11 月 2 日發布並開源 FlashProve：單張 H100 能為 Llama 4 Maverick 的回覆產生與權重綁定的 zkSNARK 證明，普通 CPU 約 17 到 21 秒驗完；但證明的是整數版模型的貪婪解碼，一般 vLLM 回覆在精確比對下 0 條通過，證明開銷約 70 到 95 倍，近期定位是稽核與抽查工具而非逐則回覆保證。