Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems | Synapse