За даними Cointelegraph, розробник біткойнів запропонував новий метод передачі більш експресивних смарт-контрактів поза ланцюгом у біткойн (BTC) без необхідності софтфорку. У офіційному документі під назвою «BitVM: будь-що обчислюйте на біткойнах» керівника проекту ZeroSync Робіна Лінуса від 9 жовтня йдеться про те, що BitVM дозволяє укладати повні за Тьюрінгом контракти біткойнів, не змінюючи консенсусних правил біткойнів. Повна система Тьюринга теоретично може дати відповідь на будь-яку обчислювальну проблему.
За допомогою BitVM «логіка» контрактів на біткойн виконуватиметься поза мережею, але перевірка здійснюватиметься на біткойнах, подібно до оптимістичних зведень Ethereum. Архітектура BitVM базується на захисті від шахрайства та моделі виклик-відповідь, де «доказник» може висувати претензії, а «верифікатор» може виконати перевірку від шахрайства, щоб покарати перевіряча за помилкові заяви. Лінус пояснив, що біткойн у його поточній формі обмежений основними операціями, такими як підписи, блокування часу та хеш-блокування, але тепер це можна розширити за допомогою BitVM, який, за словами Лінуса, може обчислювати безліч цікавих програм.
Лінус сказав, що обмеження моделі полягає в тому, що вона обмежена двостороннім налаштуванням із прувером і верифікатором, і що для виконання програм необхідний значний обсяг обчислень і зв’язку поза мережею. Лінус сказав, що наступною «віхою» є повне впровадження BitVM на додаток до Tree++ — мови програмування високого рівня для написання та налагодження контрактів Bitcoin. BitVM увімкнено програмним форком Taproot, який відбувся в листопаді 2021 року.
