Verification Dilemmas, Law, and the Promise of Zero-Knowledge Proofs · Study