Proofs That Yield Nothing but Their Validity [ZKPs Forall Languages in NP](1991) [pdf]groups.csail.mit.edu2 pointspizza9 years ago