Cryptocurrency: Demystifiying SMPC (Secure multi-party computation) and its threat model

[grarpamp]

> The Knowledge Complexity Of Interactive Proof Systems
> Shafi Goldwasser , Silvio Micali , and Charles Rackoff
> Abstract. Usually, a proof of a theorem contains more knowledge
> than the mere fact that the theorem is true.

http://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/The_Knowledge_Complexity_Of_Interactive_Proof_Systems.pdf