Zero-knowledge proofs separate what is verified from what is revealed, ending the forced choice between participation and privacy.