Ontem à noite, o líder do projeto ZeroSync lançou um white paper intitulado “BitVM: Compute Anything on Bitcoin” que causou acalorada discussão.

Conforme visto neste white paper revisado por Super Testnet e Sam Parker, BitVM é um novo paradigma de computação projetado por Robin Linus na Zero Sync que combina Optimistic Roll Up, Fraud Proof, Taproot Leaf e Bitcoin Script.

BitVM permite a expressão de contratos Bitcoin completos de Turing sem alterar as regras de consenso da rede Bitcoin e pode executar qualquer função computável para cálculos offline sem deixar rastros na cadeia. O white paper também apresenta a arquitetura, entrada e saída, limitações e perspectivas do BitVM.

O white paper atingiu 110.000 visualizações em apenas uma hora após ser lançado e, no momento em que este artigo foi escrito, o número de visualizações atingiu 1,82 milhão. As discussões na comunidade inglesa são extremamente acaloradas e se tornaram uma das maiores. pontos no círculo de criptografia nos últimos tempos. KOL @LeonidasNFT achou que esta era uma inovação emocionante, então ele gravou o papel do BitVM na inscrição do Bitcoin, fazendo-o existir para sempre de uma forma mais nativa.

O que pensam os desenvolvedores do Bitcoin?

O ecossistema Bitcoin está extremamente ativo este ano. O mercado de Ordinals gerou muitas narrativas de expansão do Bitcoin, e os desenvolvedores de Bitcoin também estão muito ativos.

Atualmente focado no mercado e na plataforma de lançamento da Ordinals, o CEO da BioniqMarket, @BobBodily, vem construindo ferramentas para ajudar os desenvolvedores a desenvolver o Bitcoin. Ele disse em suas redes sociais: "BitVM não é uma solução definitiva. BitVM não é tão bom quanto EVM, é mais lento, mais caro e complexo. A principal vantagem do BitVM é que podemos obter segurança adicional no Bitcoin agora . Programático sem atualização. Não são necessários novos op_codes.

Ao mesmo tempo, BobBodily também disse: “Os casos de uso potenciais que são fáceis de implementar com BitVM incluem a descentralização de partes de vários aplicativos que atualmente dependem de serviços centralizados, incluindo oráculos DLC, agregadores de controle de congestionamento/coinjoin e quorum sidechain. Além disso, BitVM não há solução para o problema de ponte confiável de sidechains, que pode exigir contratos que superam estritamente o exemplo de pagamento condicional ZKP de Greg Maxwell de 2016, BitVM. Muito complexo, difícil de entender e implementar. A atualização do Bitcoin pode conseguir a mesma coisa.”

Bitcoin não precisa mudar nada

O pesquisador relacionado Sam Parker vê o potencial que o BitVM oferece para permitir mais recursos de programação sem modificar o protocolo Bitcoin e como esse recurso pode ajudar a descentralizar e eliminar a necessidade de terceiros confiáveis. Ao mesmo tempo, ele também mencionou que este é um recurso opcional, e a comunidade Bitcoin e os usuários podem escolher se e como usar esse recurso.

Em um longo tweet, Sam Parker escreveu: "Mais uma vez, o Bitcoin agora é Turing completo como qualquer outra cadeia, e isso não requer nenhuma mudança no Bitcoin. Atualmente, alguns maximalistas do Bitcoin são" Algumas das visões clássicas em "Guiding the Country" são: Turing completo = ruim. Acho que isso parece estúpido. Primeiro, uma vez que a definição técnica da completude de Turing na verdade requer um tempo de execução infinito, nada será verdadeiramente Turing completo em nossa realidade porque não temos espaço e tempo infinitos para acomodar isso. "

Em relação ao conteúdo do white paper BitVM, Sam Parker disse: “No processo, um pequeno grupo de hackers de script, como @robin_linus e @super_testnet, descobriram como programar todas as funcionalidades que desejamos de um computador de uso geral em Bitcoin. Um conjunto limitado de maneiras de manipular o código, então a única coisa que impede a máquina virtual (VM) do Bitcoin de ser Turing completa como o Ethereum não é uma questão de poder expressivo, mas simplesmente uma questão de tempo de execução, a limitação mais severa. dos quais é o limite de tamanho da pilha.

Tudo o que o BitVM faz é nos permitir espalhar o tempo de execução de alguma lógica, além do escopo de uma única transação, em múltiplas transações. isso é tudo. Não adicionamos nenhum novo recurso semântico, apenas aumentamos exponencialmente a duração dos programas que podíamos executar. Portanto, por definição técnica, o Bitcoin não é realmente mais completo em Turing do que era antes, ele é apenas dotado de programas que podemos razoavelmente dizer que são “suficientemente completos em Turing para qualquer programa que realmente queiramos executar”.

Isso é voluntário, se você não confia que suas moedas serão bloqueadas em um contrato Turing completo (o que é perfeitamente razoável), então não as bloqueie em um contrato inteligente Turing completo. Uma vantagem do sistema UTXO é o sandbox de segurança. Se as pessoas acreditam fortemente que o Bitcoin não deveria ter esse recurso, talvez devido a incentivos ou algo assim, então esse deveria ser um assunto que vale a pena discutir, mas basicamente exigiria a eliminação do Taproot, o que parece bastante estúpido neste momento. ”Sam Parker escreveu.

"BitVM me deixa cautelosamente animado"

Como um grande apoiador do Drivechains, outro protocolo de extensão do Bitcoin, Eric Wall, fundador do Simp DAO e pesquisador sênior de criptografia, foi convidado pelos membros da comunidade para expressar suas opiniões sobre o BitVM e disse: “Acabei de ler este white paper e. todos os conceitos parecem corretos para mim. Não estou naturalmente interessado em soluções que exigem um grande número de trocas de transações pré-assinadas durante a fase de configuração - não sei quais problemas de sobrecarga tal solução pode criar. e permissão (permissão) são dois grandes problemas."

Por enquanto, ele continua cautelosamente entusiasmado com o BitVM, esperando para ver o que os experimentos reais trarão. Talvez exista uma solução elegante e trivial para o limite bilateral deste esquema, talvez não. Talvez para certos tipos de cálculos, como provas zk, a sobrecarga seja administrável. Seria interessante se o BitVM funcionasse bem para verificar as provas zk - o BitVM atuaria como a camada zkwasm que ele discutiu anteriormente.

“Como observação lateral, estou curioso para saber o que acontecerá quando as pessoas perceberem que o modelo de ataque é bastante semelhante ao Drivechains. Os mineradores podem roubar todo o saldo do BitVM conspirando com o provador e censurando o desafio, o que é o caso Provavelmente dura menos tempo do que na corrente de transmissão", escreveu Eric Wall.

Ao permitir que contratos completos de Turing sejam expressos na rede Bitcoin sem deixar rastros na cadeia, o BitVM fornece uma maneira completamente nova de explorar cálculos complexos de blockchain, mantendo os princípios e a segurança da rede Bitcoin. Isto também permite que o Bitcoin adote uma gama mais ampla de casos de uso e possibilidades inovadoras sem modificar diretamente seu protocolo principal.

Não se pode ignorar que o BitVM desencadeou muitas discussões aprofundadas sobre o design e a evolução do Bitcoin. Como ele será implementado e funcionará na rede Bitcoin no futuro, será uma jornada de exploração tecnológica extremamente fascinante. Isto também levanta uma questão crítica: estamos prontos para expandir o Bitcoin de uma moeda digital usada principalmente para armazenar valor e transações para uma plataforma global que possa realizar cálculos mais amplos e complexos? Isso também nos leva a pensar mais profundamente sobre a forma futura que queremos para o Bitcoin. O Bitcoin deveria adicionar mais programabilidade “nativa” ou deveria continuar a permanecer simples, seguro e imutável?

Conteúdo de referência

1. Artigo técnico da BitVM