The future of freedom depends on zero-knowledge proofs.