How to Use Bitcoin to Incentivize Correct Computations
Ranjit Kumaresan, Iddo Bentov · 2014
We study a model of incentivizing correct computations in a variety of cryptographic tasks. For each of these tasks we propose a formal model and design protocols satisfying our model's constraints in a hybrid model where parties have access to special ideal functionalities that enable monetary transactions. We summarize our results: