3 ms·Proofs That Yield Nothing but Their Validity [ZKPs Forall Languages in NP](1991) [pdf]2 points by pizza 10y ago