On the cryptographic hardness of finding a Nash equilibrium - Nir Bitansky