Anthropic has released FlashProve, a zkSNARK-based verifiable reasoning system designed for large language models.