Editorial da ZonaBitcoinUma proposta surpreendente que já está chamando muita atenção, chamada “ BitVM » poderia potencialmente transformar profundamente o ecossistema Bitcoin. Anunciado recentemente pelo desenvolvedor Robin Linus que atualmente trabalha em ZeroSync, esta proposta oferece perspectivas interessantes para o desenvolvimento de aplicações Bitcoin usando a chamada Prova de Conhecimento Zero.
Assim, o BitVM tornaria possível introduzir praticamente qualquer cálculo arbitrário no ecossistema Bitcoin que seria executado fora da cadeia. O BitVM apresenta-se como um paradigma computacional que permite que contratos completos sejam expressos em Bitcoin sem a necessidade de qualquer modificação nas regras de consenso da rede. Resumindo o BitVM, podemos dizer que seria uma espécie de extensão que permitiria ao Bitcoin fazer cálculos mais sofisticados sem modificá-lo.
O aspecto mais notável do BitVM é que ele não requer nenhuma alteração no consenso Bitcoin existente. É também neste ponto preciso que a proposta é vista como interessante pela maioria da comunidade Bitcoin que não deseja modificar o protocolo ou sobrecarregá-lo com transações consideradas inúteis. No entanto, outros membros permanecem céticos sobre a inovação que o BitMV acarreta.
Proposta técnica do BitVM
Para entender como isso funciona, é essencial aprofundar os fundamentos da proposição. Em primeiro lugar, é importante saber que o cálculo computacional, incluindo as transações Bitcoin, depende de operações lógicas básicas realizadas por portas lógicas. As portas lógicas aceitam valores binários (1 ou 0) como entrada e produzem um valor binário como saída com base em uma operação lógica simples. O BitVM é baseado em uma porta lógica chamada “porta NAND”, que pode realizar todas as operações lógicas necessárias.
Para construir uma porta NAND no script Bitcoin, o BitVM usa hashlocks e dois opcodes específicos: OP_BOOLAND e OP_NOT. O hachuras são scripts bifurcados que podem ser gastos de duas maneiras diferentes, revelando a pré-imagem de um hashlock específico. Uma dessas maneiras coloca 1 na pilha, enquanto a outra coloca 0. Isso permite que esses hashlocks sejam usados para "desbloquear" um bit para entrada em uma porta NAND.
O BitVM então usa OP_BOOLAND e OP_NOT para realizar operações lógicas. OP_BOOLAND produz 1 como saída se ambas as entradas forem 1s, enquanto OP_NOT inverte o valor de entrada (1 se torna 0 e vice-versa). Ao combinar esses opcodes com os hashlocks, o BitVM pode realizar operações NAND dentro do script Bitcoin, verificando se a saída corresponde ao que o usuário afirma.
O aspecto revolucionário do BitVM reside na sua capacidade de construir circuitos complexos usando essas portas NAND. Os usuários podem dividir qualquer cálculo arbitrário em uma série de portas NAND e, em seguida, codificar cada porta em uma árvore de taptrees que pode ser bloqueada com um UTXO. Eles então pré-assinam uma série de transações para um jogo de desafio e resposta que pode ser executado em cadeia.
A ideia a lembrar é que o cálculo complexo é primeiro verificado fora da rede, mas em caso de desacordo ou comportamento que possa ser considerado desonesto, pode ser contestado dentro da rede. Segundo o autor, eles seriam verificados da mesma forma que se faz com os “rollups otimistas”.
Quais são as dúvidas em relação ao bitVM?
Embora a proposta pareça promissora na medida em que será mais fácil criar programas na rede Bitcoin sem modificá-la, ainda existem desafios a serem superados. Por exemplo, gerir as enormes quantidades de dados gerados pelo BitVM é um grande desafio. Na verdade, o custo de gestão de dados fora da cadeia seria absolutamente colossal. Alguns questionam então os méritos de tal iniciativa. Isto, por exemplo, é o que tem sido criticado pelo conceito de Ordinais e este é um ponto sensível para os usuários de Bitcoin.
O outro problema que o BitMV levanta é que esta solução só funciona entre duas partes (aquela que prova e aquela que verifica), o que limita a sua utilidade em determinados casos. Certamente haverá pesquisas adicionais para generalizar com vários participantes.
Palavra final sobre a contribuição do BitVM
Em última análise, o BitVM representa um avanço significativo no campo Bitcoin ao permitir a introdução de cálculos arbitrários enquanto preserva a integridade da rede Bitcoin. Assim, graças ao BitVM, seria possível considerar cálculos mais avançados que só seriam possíveis através da realização de softforks, por exemplo.
Alguns chegam a dizer que é o fim das altcoins em outras blockchains e que agora tudo será feito no Bitcoin.
Embora subsistam questões, esta proposta está a gerar grande interesse na comunidade Bitcoin e merece atenção contínua.
BitVM pode ser apenas a inovação definitiva que o Bitcoin precisa para evoluir para novas possibilidades de uso do Bitcoin.
Veja também:
