NEW: Anthropic's new AI verification prototype was developed with contributions from StarkWare co-founder Alessandro Chiesa, among other researchers. FlashProve applies zero-knowledge cryptography, also used in Ethereum scaling, to help verify AI model outputs without revealing their underlying weights.