Anthropic 開源 FlashProve，用 zkSNARK 推進大模型可證明推理

2026年11月2日，Anthropic Frontier Red Team 發佈可證明推理進展並開源 FlashProve 原型，採用 zkSNARK 在隱藏權重下證明輸出來自已承諾模型。Llama 4 Maverick（400B MoE、4-bit 量化）在單張 H100 上約 110 tokens/s 證明速度，1024 token 請求證明約 19 MB，GPU 時間約爲 vLLM 同 prompt 的 70–95 倍。同步發佈技術報告、協議規範、prover/verifier 代碼及 Lean 形式化陳述，Apache 2.0 許可。