How to Use Bitcoin to Incentivize Correct Computations

  title={How to Use Bitcoin to Incentivize Correct Computations},
  author={Ranjit Kumaresan and Iddo Bentov},
  booktitle={ACM Conference on Computer and Communications Security},
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: Verifiable computation. We consider a setting where a delegator outsources computation to a worker who expects to get paid in return for delivering correct outputs… CONTINUE READING
Highly Cited
This paper has 67 citations. REVIEW CITATIONS

1 Figure or Table



Citations per Year

67 Citations

Semantic Scholar estimates that this publication has 67 citations based on the available data.

See our FAQ for additional information.