Background Blockchain technology has gained a great public interest due to the appearance of cryptocurrencies, a digital asset used for exchanging funds. Although blockchain calculations offer the benefits of security and reduced costs, blockchain is still strongly criticised for its lack of...

In one of the most influential existence theorems in mathematics, John F. Nash proved in 1950 that any normal form game has an equilibrium. More than five decades later, it was shown that the computational task of finding such an equilibrium is intractable, that is, unlikely to be carried out...