Le théorème populaire de la blockchain.

Résumé Les blockchains sont des grands livres distribués, exploités au sein de réseaux peer-to-peer. Nous modélisons le protocole de preuve de travail des blockchains comme un jeu stochastique et analysons les stratégies d'équilibre des mineurs rationnels et stratégiques. L'extraction de la chaîne la plus longue est un équilibre parfait de Markov, sans bifurcation, conformément à Nakamoto (2008). Le protocole blockchain, cependant, est un jeu de coordination, avec des équilibres multiples. Il existe des équilibres avec des bifurcations, conduisant à des blocs orphelins et à une divergence persistante entre les chaînes. Nous montrons également comment les forks peuvent être générés par des retards d'information et des mises à jour logicielles. Enfin, nous identifions des externalités négatives qui impliquent que l'investissement d'équilibre dans la capacité de calcul est excessif.