MSTR Cat

Blockchain/Niveau VII · Évolution/7.1 Ethereum : l'ordinateur mondial/Leçon 1

Ethereum : la puissance et le prix de la programmabilité

Le piège de Turing : ce qui se passe quand un registre peut exécuter n’importe quel programme

MatérielUne copie du BIP-341 (Taproot)Le livre blanc d’Ethereum (2014)L’article sur BitVM (2023)

Curiosité

  1. Pourquoi la capacité d’exécuter du code arbitraire élargit-elle inévitablement la surface exposée au vol ?
  2. Comment une communauté a-t-elle forké sa propre chaîne pour annuler un piratage, et pourquoi Bitcoin a-t-il rejeté ce précédent ?
  3. Quel est le mécanisme précis par lequel Bitcoin vérifie des calculs intensifs sans les exécuter ?

Explorer

  1. Ethereum a été lancé en juillet 2015 avec un objectif distinct de celui de Bitcoin : la programmabilité généraliste. Alors que le script de Bitcoin avait été conçu pour des transactions financières spécifiques et auditables, Ethereum a introduit une machine virtuelle Turing-complète (l’EVM). Les développeurs ont ainsi pu écrire et déployer n’importe quel type de programme directement sur la chaîne. Il en a résulté une explosion de tokens, de protocoles de finance décentralisée et de tokens non fongibles, impossibles à reproduire dans l’environnement de script limité de Bitcoin.
  2. La puissance du calcul généraliste avait un prix. En juin 2016, un bug récursif dans le smart contract The DAO a permis à un attaquant de siphonner environ un tiers des fonds levés. La communauté Ethereum a fait face à une crise : fallait-il laisser le code s’exécuter tel qu’il était écrit (« code is law », le code fait loi) ou intervenir ? Elle a choisi d’intervenir, en exécutant un hard fork qui a transféré les fonds volés vers un contrat de remboursement au moyen d’un changement d’état irrégulier. Cette décision a scindé la chaîne en Ethereum et Ethereum Classic, prouvant que le consensus social pouvait l’emporter sur du code immuable.
  3. L’incident The DAO a mis en évidence une vulnérabilité structurelle : l’expressivité élargit la surface d’attaque. La plupart des vols ultérieurs sur les chaînes programmables ne provenaient pas de failles cryptographiques, mais de clés d’administration conservées, d’une logique de contrat modifiable (upgradeable) ou de simples erreurs de code. Lorsqu’une chaîne permet l’exécution de n’importe quel programme, chaque nouvelle fonctionnalité ajoute une complexité exploitable. La charge de la sécurité passe des concepteurs du protocole à des milliers de développeurs individuels, qui ne pratiquent pas toujours d’audit rigoureux.
  4. Une réponse à cette surface d’attaque est venue de l’intérieur même du langage. Move, conçu chez Facebook pour son projet abandonné Libra (devenu ensuite Diem), traite les tokens comme des ressources : une valeur que le système de types ne permet pas à un programme de copier ou de supprimer silencieusement, de sorte que des catégories entières de bugs de double comptage et de perte de fonds échouent dès la compilation plutôt qu’en production. Lorsque Diem a été arrêté en 2022, d’anciens ingénieurs de Diem ont emporté Move vers de nouvelles chaînes. Aptos, fondée par Avery Ching et Mo Shaikh, a lancé son mainnet le 17 octobre 2022 avec Block-STM, un moteur d’exécution parallèle qui exécute les transactions de manière optimiste, vérifie ensuite lesquelles ont touché aux mêmes données et ne réexécute que celles-ci. L’ingénierie était de pointe ; le lancement, non. Des plateformes d’échange ont listé le token APT avant la publication de sa distribution, les chiffres ont montré qu’environ la moitié de l’offre revenait aux investisseurs, aux contributeurs principaux et à la fondation, l’activité on-chain initiale est restée très en deçà du débit annoncé, et l’équipe a reconnu que les choses « auraient pu mieux se passer ». Sui, conçu par un autre groupe d’anciens ingénieurs de Diem, a suivi avec son propre mainnet basé sur Move en 2023. La leçon vaut dans les deux sens : des langages plus sûrs réduisent la surface d’attaque, mais la technologie ne sauve pas un lancement dans lequel les détenteurs ne peuvent pas voir clair.
  5. La réponse de Bitcoin a été une adoption sélective plutôt qu’une copie intégrale. Au lieu du calcul généraliste, Bitcoin a intégré des fonctionnalités spécifiques et auditables. Taproot, activé en novembre 2021, a introduit des arbres de scripts qui permettent des conditions de dépense complexes tout en préservant la confidentialité et l’efficacité. Les portefeuilles ont adopté le PSBT (Partially Signed Bitcoin Transactions), un format standard pour transmettre une transaction entre signataires. Ces ajouts enrichissent les fonctionnalités sans introduire de machine virtuelle généraliste où le moindre code bogué pourrait compromettre l’ensemble du réseau.
  6. Pour les calculs lourds que de simples scripts ne peuvent pas prendre en charge, l’approche BitVM ouvre une voie. Proposé par Robin Linus en 2023, BitVM maintient les calculs lourds off-chain ; seule une étape contestée est vérifiée sur Bitcoin, et uniquement si quelqu’un la conteste. Cela préserve la légèreté de la couche de base de Bitcoin tout en permettant des applications avancées, et garantit que le protocole de base reste simple, vérifiable et résistant aux défaillances en cascade observées dans les environnements de smart contracts généralistes.
  7. Le compromis est clair : Ethereum privilégie la flexibilité, au prix d’une sécurité plus complexe et des risques liés à la modifiabilité des contrats ; Bitcoin privilégie la stabilité et le caractère explicite en restreignant le calcul. Pour toute nouvelle fonctionnalité ajoutée à une chaîne, le critère est de savoir si elle introduit un état caché ou des pouvoirs d’administration susceptibles d’être détournés. Si une capacité ne peut pas être vérifiée au moyen de règles simples et transparentes, sans dépendre de tiers de confiance ni de forks complexes fondés sur le consensus social, elle comporte un risque inhérent. Cette distinction définit la divergence architecturale actuelle entre les deux principales chaînes.

Faits clés

  • Le mainnet d’Ethereum a été lancé en juillet 2015 avec une machine virtuelle Turing-complète.
  • Le piratage de The DAO a eu lieu en juin 2016 et a entraîné un hard fork qui a scindé la chaîne.
  • Taproot a été activé sur Bitcoin en novembre 2021 (bloc 709 632), introduisant les arbres de scripts.
  • La plupart des vols liés aux smart contracts proviennent de clés d’administration conservées ou de bugs de code, et non de défaillances cryptographiques.
  • Move (issu du projet Libra/Diem de Facebook) modélise les tokens comme des ressources qui ne peuvent être ni copiées ni supprimées ; Aptos a lancé son mainnet basé sur Move le 17 octobre 2022, avec l’exécution parallèle Block-STM.
  • BitVM permet d’effectuer des calculs off-chain avec une résolution des litiges on-chain, afin de préserver une couche de base légère.
  • Le PSBT permet des processus de signature de transactions à plusieurs parties, avec une responsabilité explicite.

Exercice neuf, six, trois, un

9RassemblerListez 9 fonctionnalités ou protocoles de smart contracts. Indiquez si chacun repose sur du calcul généraliste, sur une logique de script spécifique ou sur des oracles externes.
6RegrouperRegroupez les 9 en 6 groupes selon la surface d’attaque que chacun crée.
3DistillerRéduisez les 6 groupes à 3 raisons principales pour lesquelles le calcul généraliste accroît le risque systémique.
1CristalliserRédigez 1 phrase indiquant où vous placeriez la limite entre une capacité sûre et une capacité dangereuse, et pourquoi.

Vérification des faits

Les dates, les chiffres et les affirmations ont été vérifiés à l’aide des sources publiées listées ci-dessous.

Ouvrir dans l'académie interactive →

EN PT ES ZH JA KO RU DE MS