Remix.run Logo
jstanley 2 hours ago

They're not my arbitrary requirements, see https://en.wikipedia.org/wiki/Zero-knowledge_proof

Specifically:

> In light of the fact that one should be able to generate a proof of some statement only when in possession of certain secret information connected to the statement, the verifier, even after having become convinced of the statement's truth by means of a zero-knowledge proof, should nonetheless remain unable to prove the statement to further third parties.