Prove It: Anthropic's zkSNARK System for Model Verification
Anthropic published FlashProve on November 2 — an open-source prototype that uses zkSNARKs to let users verify which model weights actually produced a given response. At ~110 tokens/sec proof generation on a single H100 (with 70–95x GPU overhead), it's not production-ready, but the problem it's solving is real and underexplored.
Read more →