BitVM déplace un calcul borné hors chaîne et soumet à Bitcoin une preuve de fraude préparée à l'avance ; ce n'est pas une machine virtuelle généraliste exécutée directement dans Bitcoin Script.
Le BitVM initial décrit une relation bilatérale entre prover et verifier. Le prover exécute un programme hors chaîne, s'engage sur sa trace d'exécution et le verifier n'intervient que s'il affirme que le résultat est erroné. [1]
BitVM2 vérifie un SNARK au moyen de scripts divisés en sous-programmes plus petits. Le parcours optimiste n'inscrit pas tout le calcul onchain ; en cas de litige, un challenger sans permission peut contester une affirmation invalide dans un protocole raccourci. [2]
BitVM Bridge vise à transférer des BTC vers des secondes couches de façon plus sûre : lors du setup, il réduit l'hypothèse d'une majorité honnête à au moins un participant honnête, et toute personne, pas seulement un verifier prédéfini, peut contester une preuve invalide. [2]
Un challenge sans permission ne signifie pas une absence totale de confiance. Pour la liveness, le pont exige encore au moins un opérateur rationnel actif ; si tous échouent, les fonds peuvent rester bloqués, et le protocole concret dépend aussi du setup, de la disponibilité des données, des incitations et d'un graphe de transactions correct. [3]
L'implémentation officielle de BitVM Bridge se présente comme non destinée à la production et déconseille explicitement cet usage. Le dépôt est un prototype de verifier SNARK et de pont, pas une garantie auditée de transfert sûr des BTC. [4]
Les challenges sans permission ne suppriment pas les coûts d'exploitation. Le protocole emploie de grands scripts, des preuves fragmentées, du collatéral, des délais et des frais ; l'inactivité ou la censure peut nuire à la liveness même si un attaquant ne peut pas produire de preuve valide. [3]
BitVM ne transforme pas Bitcoin Script en machine virtuelle classique pour des programmes onchain arbitraires. La construction est conçue sans modification du consensus : sa généralité vient du calcul offchain, des engagements, des timelocks et d'un litige présigné que Bitcoin peut faire respecter. [5]
Le nom BitVM recouvre plusieurs conceptions distinctes et évolutives : BitVM1, BitVM2 et les protocoles de pont précis n'ont ni les mêmes rôles ni les mêmes hypothèses. Avant toute utilisation, il faut vérifier la version exacte, le graphe de transactions, le setup, le nombre d'opérateurs, le chemin de challenge et les sorties d'urgence. [4]
Pour une vision complète, lisez aussi Bitcoin Script, Taproot, Covenants, Multisig, Sidechain, Soft Fork.
01BitVM exécute-t-il des programmes directement sur Bitcoin ?+
Non. Le programme est calculé hors chaîne ; Bitcoin sert de juge à un litige préparé à l'avance sur des engagements cryptographiques et une petite étape de preuve.
02BitVM est-il un pont trustless achevé ?+
Non. BitVM2 réduit certaines hypothèses de confiance et permet les challenges sans permission, mais un pont concret dépend toujours de son setup, de ses opérateurs, de sa liveness et d'une implémentation non destinée à la production.