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...
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 |
Similar Items
-
Fiat-Shamir for Repeated Squaring with Applications to PPAD-Hardness and VDFs
by: Lombardi, Alex, et al.
Published: (2021) -
Field-induced Optically Isotropic State in Bent Core Nematic Liquid Crystals: Unambiguous Proof of Field-induced Optical Biaxiality
by: Hegde, Gurumurthy, et al.
Published: (2013) -
Temporal, delegable and cheap update access control to published XML documents.
by: Halboob, Waleed, et al.
Published: (2013) -
GARCH PROOF OF CONCEPT _ UPDATED 18 DEC 2008
by: Datta, Shoumen
Published: (2008) -
Beyond natural proofs: hardness magnification and locality
by: Chen, Lijie, et al.
Published: (2022)