Why does Anthropic's FlashProve mention Mantle? How zero-knowledge proofs can self-prove that an AI model has not been swapped out

Anthropic’s new FlashProve research uses zkSNARKs to cryptographically bind model weights to each inference, letting providers prove an AI response came from the promised model without exposing proprietary parameters. The paper names Starknet and Mantle as representative zkSNARK systems for verifying state transitions, with StarkWare and Succinct—Mantle’s ZK proving partner—listed as co-authors. Mantle completed a full upgrade to OP Succinct in September 2025, shifting from an optimistic rollup to a ZK rollup using Succinct’s SP1 zkVM, cutting state finality to about one hour and withdrawals to under six hours from seven days, with per-transaction proof costs around $0.002. The mention matters because it validates Ethereum L2 ZK infrastructure as production-grade for AI trust, even though Mantle is not directly involved in Anthropic’s model training. Watch for further AI-ZK integrations and whether other model providers adopt proof-based inference verification.