BitVM

Origine et idée centrale

BitVM est un papier publié en octobre 2023 par Robin Linus (ZeroSync) qui propose, pour la première fois, d'exécuter des contrats Turing-complets sur Bitcoin sans modifier le protocole. L'idée s'inspire des Optimistic Rollups : deux parties s'engagent dans un programme dont l'exécution est garantie par un mécanisme de défi-réponse. Si l'une triche, l'autre peut prouver la fraude on-chain et saisir les fonds en jeu.

Comment ça marche

BitVM s'appuie sur trois briques bien connues :

1. Taproot et MAST pour précompiler un arbre gigantesque représentant la circuit logique
2. Hashlocks et Lamport signatures pour engager une partie sur chaque bit de la sortie d'un calcul
3. Pré-signatures échangées off-chain entre les parties à l'instanciation du contrat

En cas d'accord, le contrat se règle off-chain (coopératif). En cas de désaccord, un protocole de bissection on-chain force le menteur à exposer la ligne précise où il triche, à coût exponentiellement croissant.

Évolutions BitVM2 et BitVM3

| Version | Apport | |---------|--------| | BitVM (2023) | 2 participants, défi exponentiel | | BitVM2 (2024) | n→1 vérifieurs, bridges multi-opérateurs | | BitVMX / BitVM3 (2025) | CPU virtuelle, fraud proofs courts |

Ces variantes rendent BitVM exploitable pour de vrais ponts vers les sidechains et rollups. Citrea, Bitlayer, Build On Bitcoin (BOB) ou Botanix annoncent toutes des ponts inspirés.

Limites pratiques

BitVM reste très coûteux : un défi complet peut nécessiter des centaines de transactions on-chain et plusieurs jours. Le protocole exige une fédération d'opérateurs honnêtes au moins partiellement (1-of-n trust assumption), et la couverture économique d'un dépôt par un seul opérateur limite la taille des transactions sortantes. Les implémentations sont jeunes, encore en testnet ou en bêta sécurisée.

À retenir

BitVM est l'innovation théorique majeure depuis Taproot : elle ouvre la porte aux rollups et aux ponts trustless sans soft fork, en exploitant uniquement ce que Bitcoin permet déjà. Son adoption réelle dépendra des progrès en efficacité et de la robustesse économique des fédérations d'opérateurs.