Pavel Hubáček: "Barriers in Algorithmic Game Theory Through the Cryptographic Lens"
The central result in game theory due to Nash ensures that every finite strategic game has an equilibrium. However, all the known proofs of the Nash theorem are non-constructive and, as of today, there is no polynomial time algorithm for finding a Nash equilibrium. Some recent works have tried to explain this status by showing lower bounds for finding Nash equilibria under strong cryptographic assumptions such as the notion of secure code obfuscation.