Um desenvolvedor de Bitcoin propõe contratos inteligentes off-chain sem soft fork
BitVM é uma nova abordagem para o desenvolvimento de contratos inteligentes off-chain completos de Turing para Bitcoin, que são capazes de resolver qualquer problema computável. O BitVM verifica a lógica do contrato no Bitcoin usando provas e desafios de fraude, sem alterar os regulamentos subjacentes do protocolo. Ele permite inúmeras aplicações e expande a funcionalidade do Bitcoin, mas o BitVM requer muito trabalho fora da cadeia e funciona apenas para duas partes. Além disso, Tree++ é um requisito de linguagem de programação para BitVM, que é baseado na atualização Taproot.

Um desenvolvedor de Bitcoin propôs um novo método para incorporar contratos inteligentes off-chain mais expressivos no Bitcoin (BTC) sem um cisma suave. BitVM, de acordo com um white paper publicado em 9 de outubro pelo líder do projeto ZeroSync, Robin Linus, e intitulado “BitVM: Compute Anything on Bitcoin”, facilita contratos de Bitcoin completos por Turing sem modificar as regras de consenso do Bitcoin. Em teoria, é possível que um sistema Turing Complete ofereça uma solução para qualquer problema computacional.
O BitVM visa implementar a execução fora da cadeia da 'lógica' do contrato Bitcoin, garantindo ao mesmo tempo a comprovação no blockchain Bitcoin, semelhante aos acúmulos otimistas observados no Ethereum. Um modelo de desafio-resposta e provas de fraude sustentam a arquitetura do BitVM, na qual um 'provador' pode fazer afirmações e um 'verificador' pode executar uma prova de fraude para penalizar o provador por fazer afirmações falsas. O Bitcoin, tal como está atualmente, está restrito a operações fundamentais, como hashlocks, timelocks e assinaturas, de acordo com Linus. No entanto, esta restrição pode ser ampliada com a adição do BitVM, que, na sua opinião, é capaz de computar uma variedade de aplicações intrigantes.
Conforme afirma Linus, a funcionalidade do modelo está restrita a uma configuração bipartida composta por um provador e um verificador. Além disso, a execução do programa requer uma quantidade substancial de computação e comunicação fora da cadeia. Linus afirmou que o próximo “marco” será a implementação completa de BitVM e Tree++, uma linguagem de programação de alto nível utilizada para o desenvolvimento e depuração de contratos Bitcoin. A funcionalidade BitVM foi iniciada pelo soft fork Taproot em novembro de 2021.
Desconto de bônus para auxiliar os investidores a se desenvolverem no mundo das negociações!