Według Cointelegraph twórca Bitcoina zaproponował nową metodę wprowadzenia bardziej wyrazistych inteligentnych kontraktów poza łańcuchem do Bitcoin (BTC) bez konieczności stosowania miękkiego forka. W białej księdze z 9 października zatytułowanej „BitVM: Oblicz wszystko na Bitcoinie” autorstwa lidera projektu ZeroSync, Robina Linusa, BitVM umożliwia kompletne kontrakty Bitcoin w technologii Turinga bez zmiany zasad konsensusu Bitcoin. System Turing Complete może teoretycznie zapewnić odpowiedź na każdy problem obliczeniowy.
Dzięki BitVM „logika” kontraktów Bitcoin byłaby wykonywana poza łańcuchem, ale weryfikacja byłaby dokonywana na Bitcoinie, podobnie jak w optymistycznych zestawieniach Ethereum. Architektura BitVM opiera się na dowodach oszustwa i modelu wyzwanie-odpowiedź, w którym „weryfikator” może formułować twierdzenia, a „weryfikator” może przeprowadzać zabezpieczenia przed oszustwami, aby ukarać dowódcę w przypadku złożenia fałszywych twierdzeń. Linus wyjaśnił, że Bitcoin w swojej obecnej formie ogranicza się do podstawowych operacji, takich jak podpisy, blokady czasowe i hashlocki, ale można to teraz rozszerzyć za pomocą BitVM, który według Linusa może obliczyć wiele interesujących zastosowań.
Linus powiedział, że ograniczeniem modelu jest to, że ogranicza się on do ustawień dwustronnych z testerem i weryfikatorem oraz że do wykonania programów potrzebna jest znaczna ilość obliczeń i komunikacji poza łańcuchem. Linus powiedział, że kolejnym „kamieniem milowym” będzie pełne wdrożenie BitVM jako dodatku do Tree++ – języka programowania wysokiego poziomu do pisania i debugowania kontraktów Bitcoin. BitVM jest obsługiwany przez miękki fork Taproot, który miał miejsce w listopadzie 2021 r.
