Anthropic is using cryptography StarkWare’s founders co-invented to prove which AI model answered you. With FlashProve, you can verify that a specific model produced an output while keeping its weights private. The report cites the original STARK paper, highlights the use of STARKs on @Starknet, and references formal verification work on Cairo and the S-two AIR. StarkWare co-founder Alessandro Chiesa is one of the report’s co-authors. Another big validation for our Proving System. The same cryptographic ideas that help scale blockchains are now helping make AI inference verifiable.