Podle Cointelegraphu vývojář bitcoinů navrhl novou metodu, jak do bitcoinu (BTC) přinést výraznější off-chain smart kontrakty, aniž by vyžadoval soft fork. V bílé knize z 9. října nazvané „BitVM: Compute Anything on Bitcoin“ od vedoucího projektu ZeroSync Robina Linuse umožňuje BitVM bitcoinové kontrakty kompletní Turing, aniž by se změnila konsensuální pravidla Bitcoinu. Systém Turing Complete může teoreticky poskytnout odpověď na jakýkoli výpočetní problém.
S BitVM by se „logika“ bitcoinových kontraktů prováděla mimo řetězec, ale ověřování by se provádělo na bitcoinech, podobně jako u optimistických rollupů Etherea. Architektura BitVM je založena na důkazech o podvodu a modelu reakce na výzvu, kde „ověřovatel“ může vznést nároky a „ověřovatel“ může provést důkaz proti podvodu, aby potrestal dokazovatele v případě nepravdivých tvrzení. Linus vysvětlil, že bitcoin je ve své současné podobě omezen na základní operace, jako jsou podpisy, časové zámky a hashlocky, ale to lze nyní rozšířit pomocí BitVM, který podle Linuse dokáže vypočítat řadu zajímavých aplikací.
Linus řekl, že omezení modelu spočívá v tom, že je omezen na dvoustranné nastavení s ověřovatelem a ověřovatelem a že ke spouštění programů je zapotřebí značné množství mimořetězových výpočtů a komunikace. Linus řekl, že dalším „milníkem“ je plná implementace BitVM vedle Tree++ – programovacího jazyka na vysoké úrovni pro psaní a ladění bitcoinových kontraktů. BitVM je umožněn softforkem Taproot, který se uskutečnil v listopadu 2021.
