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.
Anthropic open-sources FlashProve, its provable inference prototype for MoE models
About this summary. This is a short excerpt from the description that Help Net Security published with its article. Cyber Security News did not report or verify the underlying story. Read the original: https://www.helpnetsecurity.com/2026/11/04/anthropic-flashprove-provable-inference/
Source attribution: headline and facts are from Help Net Security (helpnetsecurity.com). Summary method: excerpt of the source description. See our source attribution policy.
Related coverage
PP-Mark: Provable and Publicly Verifiable Watermarking for Generative AI
arXiv:2610.41170v1 Announce Type: new Abstract: Generative AI models now produce images indistinguishable from real data, making publicly verifiable provenance…
SCSM: A Traffic-Native Foundation Model for Transferable Website Fingerprinting
arXiv:2610.07776v1 Announce Type: new Abstract: Website fingerprinting infers the websites visited by users from encrypted traffic metadata. However, models trained…
LoRA-Patch: Defending Against Backdoored LoRA Adapters via Directional Steering
arXiv:2611.03752v1 Announce Type: new Abstract: Third-party LoRA adapters introduce serious backdoor risks: malicious adapters can maintain normal task performance while…
What Malware Actually Does: An Empirical Analysis of Post-Infection Behavior Across Malware Families
arXiv:2611.03774v1 Announce Type: new Abstract: Most malware detection research focuses on identifying whether a file is malicious before it executes. Far less attention…
On the (Quantum) Communication Complexity of Secure MPC from a Random Oracle
arXiv:2611.04052v1 Announce Type: new Abstract: Information-theoretic MPC among $n$ parties with $t$ corruptions can securely evaluate a circuit $C$ with $O(|C| \cdot…
The Native Menace: Host-to-Browser Cross-Boundary Attacks via Native Messaging
arXiv:2611.04291v1 Announce Type: new Abstract: Modern browsers are complex software platforms that users can customize through browser extensions to further expand…