PARIS CRYPTOFINANCE SEMINAR: Monnaies cryptographiques et complexité

Le "minage" du Bitcoin apparaît au premier abord absurde : une colossale quantité de moyens (puces spécialisées, installations, électricité) est dépensée pour décider qui gagnera chaque 10 minutes les quelques Bitcoins créés par le protocole de Satoshi Nakamoto, et non pas pour participer à la gestion de la blockchain et à la surveillance des transactions qui ont un coût négligeable comparé à la course pour le calcul du "hash". Pourtant une analyse plus fine montre que ces calculs apparemment absurdes se retrouvent "contenus" dans la blockchain et contribuent à la rendre infalsifiable, ce qui est essentiel pour la robustesse du protocole général. En cas de "fork" c'est d'ailleurs ce contenu en calcul qui permet de résoudre l'état incohérent du réseau dû à la présence de plusieurs blockchains valides concurrentes. Nous étudierons cette étrange situation mal théorisée aujourd'hui, nous parlerons de la notion mathématique de "contenu en calcul" (la "profondeur logique de Bennett" liée mais différente de la "complexité de Kolmogorov") qui aide à penser proprement le problème des algorithmes de consensus, dont on ne sait pas aujourd'hui s'ils peuvent réellement éviter ce coût du minage d'une blockchain publique et ouverte comme celle du Bitcoin.