Anthropic formalized FlashProve's cryptographic protocol in the Lean proof assistant to mathematically prove its completeness, soundness, and zero-knowledge properties

Overview Debates Related claims Topics Sources

FlashProve achieves ~110 tokens per second on Llama 4 Maverick, whereas competing open-source zkML system VerInf yields ~0.02 tokens per second on the same model

FlashProve enables regulators to verify that approved models run on compliant hardware, helping enforce AI pacing rules and output provenance

FlashProve prevents AI providers from swapping in cheaper models to cut costs or using more expensive models to inflate benchmark performance

FlashProve generates mathematical proofs without exposing an AI model's internal weights, allowing commercial AI developers to publish weight fingerprints while protecting proprietary IP

FlashProve prover hardware requires 1 Nvidia H100 80GB GPU, 24 CPU cores, and 290 GB of host RAM, while capping request context at 1,024 tokens

FlashProve uses hash-based cryptographic proofs to compile interactive oracle proofs, providing post-quantum security guarantees similar to Starknet's L2 validity proofs

FlashProve operates in two phases: an offline phase that publishes a weight commitment taking 39 minutes for 16 million requests, and an online phase where GPUs produce proof for each request

FlashProve verification requires no GPU and can be executed locally on a standard CPU

FlashProve allows third parties to cryptographically verify claims that specific tasks, such as vulnerability scans or business plans, were performed by specific AI models

FlashProve proving incurs a computational overhead of 72x to 94x the GPU time of unproven vLLM inference on Llama 4 Maverick

FlashProve produces 18.78 MB proofs for Llama 4 Maverick, compared to VerInf's 93.6 GB proof size and Attestable's 4.35 to 7.92 MiB proof size on Gemma 4 31B

FlashProve generates proof files of 18.78 MB, with client verification taking 17 seconds on 24 CPU threads and 21 seconds on a single thread

FlashProve provides both a C++ verifier for fast execution and a formally verified Lean verifier guaranteed to accept only proofs satisfying the mathematical soundness theorem

Cybersecurity executive Jack Willis contacted retired electrical engineer Frode Weierud on September 21, 2026, to report that Claude Opus 5 had broken an unsolved Enigma message.

The MVUEH Enigma message, sent to the SS-Totenkopf Division on July 10, 1941, had remained unsolved by human cryptanalysts since it was shared online in 2005.

Retired electrical engineer Frode Weierud validated the decryption of the MVUEH Enigma message on his website, Crypto Cellar, in September 2026.

The August 2026 Critical and Emerging Technologies list added post-quantum cryptography, integrated photonics, high entropy alloys, and hardened operating systems for consumer use

Two Anthropic human researchers spent nearly a month and several hundred hours verifying the mathematical correctness of the AES attack developed by Claude Mythos Preview

Claude Mythos Preview discovered a previously unexploited mathematical symmetry within HAWK's underlying lattice structure, reducing HAWK's effective key strength in half

The mathematical attack developed by Claude Mythos Preview reduced the expected cost of recovering a HAWK-256 key from 2^64 operations to 2^38 operations