Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
prevent a malicious Bob from impersonating Alice in future, expect from the protocol that Bob learns no partial information about Alice’s secret. Vice versa, a party impersonating Alice shall not produce a valid proof and get access to the GoT streams. 2. Formal Definitions: The Devil is in the