Distributed Computing Meets Game Theory: Fault Tolerance and Implementation with Cheap Talk (Invited Talk)

Author Joseph Y. Halpern



PDF
Thumbnail PDF

File

OASIcs.Tokenomics.2021.1.pdf
  • Filesize: 321 kB
  • 2 pages

Document Identifiers

Author Details

Joseph Y. Halpern
  • Cornell University, Ithaca, NY, USA

Cite As Get BibTex

Joseph Y. Halpern. Distributed Computing Meets Game Theory: Fault Tolerance and Implementation with Cheap Talk (Invited Talk). In 3rd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2021). Open Access Series in Informatics (OASIcs), Volume 97, pp. 1:1-1:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022) https://doi.org/10.4230/OASIcs.Tokenomics.2021.1

Abstract

Traditionally, work in distributed computing has divided the agents into "good guys" and "bad guys". The good guys follow the protocol; the bad guys do everything in their power to make sure it does not work. By way of contrast, game theory has focused on "rational" agents, who try to maximize their utilities. Here I try to combine these viewpoints. Specifically, following the work of Abraham et al. [I. Abraham et al., 2006], I consider (k,t)-robust protocols/strategies, which tolerate coalitions of rational players of size up to k and up to t malicious players. I focus in particular on the problem that economists have called implementing a mediator. That is, can the players in the system, just talking among themselves (using what economists call "cheap talk") simulate the effects of the mediator (see, e.g., [I. Barany, 1992; E. Ben-Porath, 2003; Forges, 1990; D. Gerardi, 2004; Y. Heller, 2005; A. Urbano and J. E. Vila, 2002; A. Urbano and J. E. Vila, 2004]). In computer science, this essentially amounts to multiparty computation [O. Goldreich et al., 1987; A. Shamir et al., 1981; A. Yao, 1982]. Ideas from cryptography and distributed computing allow us to prove results on how many agents are required to implement a (k,t)-robust mediator just using cheap talk. These results subsume (and, in some cases, correct) results from the game theory literature.
The results of Abraham et al. [I. Abraham et al., 2006] were proved for what are called synchronous systems in the distributed computing community; this is also the case for all the results in the economics literature cited above. In synchronous systems, communication proceeds in atomic rounds, and all messages sent during round r are received by round r + 1. But many systems in the real world are asynchronous. In an asynchronous setting, there are no rounds; messages sent by the players may take arbitrarily long to get to their recipients. Markets and the internet are best viewed as asynchronous. Blockchain implementations assume partial synchrony, where there is an upper bound on how long messages take to arrive. The partial synchronous setting already shows some of the difficulty of moving away from synchrony: An agent i can wait to take its action until it receives a message from j (on which its action can depend). This cannot happen in a synchronous setting. Abraham, Dolev, Geffner, abnd Halpern [I. Abraham et al., 2019] extend the results on implementing mediators to the asynchronous setting.

Subject Classification

ACM Subject Classification
  • Theory of computation → Algorithmic game theory and mechanism design
Keywords
  • robust equilibrium
  • implementing mediators
  • asynchronous systems

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. I. Abraham, D. Dolev, I. Geffner, and J. Y. Halpern. Implementing mediators with asynchronous cheap talk. In Proc. 38th ACM Symposium on Principles of Distributed Computing, pages 501-510, 2019. Google Scholar
  2. I. Abraham, D. Dolev, R. Gonen, and J. Y. Halpern. Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation. In Proc. 25th ACM Symposium on Principles of Distributed Computing, pages 53-62, 2006. Google Scholar
  3. I. Barany. Fair distribution protocols or how the players replace fortune. Mathematics of Operations Research, 17(2):327-340, 1992. Google Scholar
  4. E. Ben-Porath. Cheap talk in games with incomplete information. Journal of Economic Theory, 108(1):45-71, 2003. Google Scholar
  5. F. Forges. Universal mechanisms. Econometrica, 58(6):1341-64, 1990. Google Scholar
  6. D. Gerardi. Unmediated communication in games with complete and incomplete information. Journal of Economic Theory, 114:104-131, 2004. Google Scholar
  7. O. Goldreich, S. Micali, and A. Wigderson. How to play any mental game. In Proc. 19th ACM Symposium on Theory of Computing, pages 218-229, 1987. Google Scholar
  8. Y. Heller. A minority-proof cheap-talk protocol. Unpublished manuscript, 2005. Google Scholar
  9. A. Shamir, R. L. Rivest, and L. Adelman. Mental poker. In D. A. Klarner, editor, The Mathematical Gardner, pages 37-43. Prindle, Weber, and Schmidt, Boston, MA, 1981. Google Scholar
  10. A. Urbano and J. E. Vila. Computational complexity and communication: coordination in two-player games. Econometrica, 70(5):1893-1927, 2002. Google Scholar
  11. A. Urbano and J. E. Vila. Computationally restricted unmediated talk under incomplete information. Economic Theory, 23(2):283-320, 2004. Google Scholar
  12. A. Yao. Protocols for secure computation (extended abstract). In Proc. 23rd IEEE Symp. Foundations of Computer Science, pages 160-164, 1982. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail