Anthropic formalized FlashProve's cryptographic protocol in the Lean proof assistant to mathematically prove its completeness, soundness, and zero-knowledge properties

From the articleAnthropic Releases FlashProve: Cryptographic Proofs That a Reply Came From Committed Weights
Opening sign-in…