Delegation with Updatable Unambiguous Proofs and PPAD-Hardness

In this work, we construct an updatable and unambiguous delegation scheme based on the decisional assumption on bilinear groups introduced by Kalai, Paneth and Yang [STOC 2019]. Using this delegation scheme, we show PPAD-hardness (and hence the hardness of computing Nash equilibria) based on the qua...

Full description

Bibliographic Details
Main Author: Yang, Lisa L.
Other Authors: Vaikuntanathan, Vinod
Format: Thesis
Published: Massachusetts Institute of Technology 2022
Online Access:https://hdl.handle.net/1721.1/140059