Anthropic open-sources FlashProve, its provable inference prototype for MoE models

Anthropic's Frontier Red Team, working with EPFL, MIT and StarkWare, released FlashProve, an open-source prototype that generates a cryptographic proof that a specific language model produced a specific reply. The prover, two verifiers, the formal proofs behind them and a protocol specification are published on GitHub under the Apache 2.0 license, addressing the inability of API users to confirm which model answered a hosted prompt.

Anthropic’s Frontier Red Team, with collaborators at EPFL, MIT and StarkWare, built FlashProve, a prototype that produces a cryptographic proof that one specific language model generated one specific reply. The prover, two verifiers, the formal proofs behind them and a protocol specification are on GitHub under the Apache 2.0 license. Source: Anthropic When you send a prompt to a hosted API, you can’t confirm which model answered it. A provider could route the request to … More https://www.helpnetsecurity.com/2026/11/04/anthropic-flashprove-provable-inference/ The post Anthropic open-sources FlashProve, its provable inference prototype for MoE models https://www.helpnetsecurity.com/2026/11/04/anthropic-flashprove-provable-inference/ appeared first on Help Net Security https://www.helpnetsecurity.com .