Robin Linus (chef du projet ZeroSync) a récemment publié un livre blanc intitulé « BitVM : Performing Any Computation on Bitcoin », proposant que BitVM puisse mettre en œuvre des contrats Bitcoin complets de Turing sans modifier les règles de consensus de Bitcoin. BitVM peut effectuer presque tous les calculs et exploiter ces calculs pour effectuer des transactions Bitcoin en chaîne.

La façon dont BitVM fonctionne est que la « logique » d'un contrat Bitcoin est exécutée hors chaîne, tandis que la vérification a lieu sur la blockchain Bitcoin, similaire au cumul optimiste d'Ethereum. L'architecture est basée sur un modèle de preuve de fraude et de défi-réponse, dans lequel un « prouveur » peut faire des déclarations et un « vérificateur » peut effectuer des preuves de fraude pour punir le prouveur lorsqu'il fait de fausses déclarations.

La nouvelle proposition a attiré l'attention de nombreuses personnalités de la communauté Bitcoin, notamment le co-fondateur d'Arcane Assets, Eric Wall, l'analyste Bitcoin Dylan LeClair et le co-fondateur et inventeur du hashcash de Blockstream, Adam Back.