De acordo com o Cointelegraph, um desenvolvedor de Bitcoin propôs um novo método para trazer contratos inteligentes off-chain mais expressivos para o Bitcoin (BTC) sem a necessidade de um soft fork. Em um white paper de 9 de outubro intitulado 'BitVM: Compute Anything on Bitcoin', do líder do projeto ZeroSync, Robin Linus, o BitVM permite contratos Bitcoin completos por Turing sem alterar as regras de consenso do Bitcoin. Um sistema Turing Complete pode, teoricamente, fornecer uma resposta para qualquer problema computacional.
Com o BitVM, a ‘lógica’ dos contratos Bitcoin seria executada fora da cadeia, mas a verificação seria feita no Bitcoin, semelhante aos rollups otimistas do Ethereum. A arquitetura do BitVM é baseada em provas de fraude e em um modelo de desafio-resposta onde um 'provador' pode fazer afirmações e um 'verificador' pode realizar uma prova de fraude para punir o provador quando são feitas afirmações falsas. Linus explicou que o Bitcoin, em sua forma atual, está limitado a operações básicas, como assinaturas, timelocks e hashlocks, mas isso agora pode ser ampliado com o BitVM, que, segundo Linus, pode computar uma série de aplicações interessantes.
Linus disse que uma limitação do modelo é que ele é limitado a um ambiente bipartido com um provador e um verificador e que uma quantidade significativa de computação e comunicação fora da cadeia é necessária para executar programas. Linus disse que o próximo ‘marco’ é implementar totalmente o BitVM além do Tree++ – uma linguagem de programação de alto nível para escrever e depurar contratos Bitcoin. BitVM é habilitado pelo soft fork Taproot que ocorreu em novembro de 2021.
