
Anthropic develops FlashProve for provable AI model identity
An open-source system offering cryptographic proofs that outputs come from claimed models without revealing weights; lightweight and local verification possible.
2 stories, newest first · one card per story

An open-source system offering cryptographic proofs that outputs come from claimed models without revealing weights; lightweight and local verification possible.
The honest prover is linear in the original computation, and the verifier is nearly linear in input length after preprocessing.
Today 498 readers · 563 views · 127 reads · all time 173K views