Selon Cointelegraph, un développeur Bitcoin a proposé une nouvelle méthode pour apporter des contrats intelligents hors chaîne plus expressifs à Bitcoin (BTC) sans nécessiter de soft fork. Dans un livre blanc du 9 octobre intitulé « BitVM : Compute Anything on Bitcoin » rédigé par Robin Linus, chef de projet de ZeroSync, BitVM permet à Turing de compléter les contrats Bitcoin sans modifier les règles de consensus de Bitcoin. Un système Turing Complete peut théoriquement apporter une réponse à tout problème informatique.
Avec BitVM, la « logique » des contrats Bitcoin serait exécutée hors chaîne, mais la vérification serait effectuée sur Bitcoin, à l'instar des cumuls optimistes d'Ethereum. L'architecture de BitVM est basée sur des preuves de fraude et un modèle défi-réponse dans lequel un « prouveur » peut faire des déclarations et un « vérificateur » peut effectuer une preuve de fraude pour punir le prouveur lorsque de fausses déclarations sont faites. Linus a expliqué que Bitcoin, dans sa forme actuelle, est limité aux opérations de base, telles que les signatures, les timelocks et les hashlocks, mais que cela peut désormais être élargi avec BitVM, qui, selon Linus, peut calculer une multitude d'applications intéressantes.
Linus a déclaré qu'une limitation du modèle est qu'il est limité à un environnement bipartite avec un prouveur et un vérificateur et qu'une quantité importante de calculs et de communications hors chaîne est nécessaire pour exécuter les programmes. Linus a déclaré que la prochaine « étape » consiste à implémenter pleinement BitVM en plus de Tree++ – un langage de programmation de haut niveau pour écrire et déboguer les contrats Bitcoin. BitVM est activé par le soft fork Taproot qui a eu lieu en novembre 2021.
