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

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%20Sy...