Lançado o white paper da BitVM, o que os desenvolvedores seniores pensam da visão de “computar qualquer coisa em Bitcoin”?

Escrito por: Jaleel, BlockBeats

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

Como pode ser 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, integrando Optimistic Roll Up, Fraud Proof, Taproot Leaf e Bitcoin.

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 alcançou 110.000 visualizações em apenas uma hora após ser lançado. 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 tornou um dos maiores pontos quentes 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 os desenvolvedores do Bitcoin pensam?

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

Atualmente focado no mercado e plataforma de lançamento 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ável sem atualizações. Não são necessários novos códigos de operação. Não são necessários soft forks. Funciona agora.”

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, o BitVM não resolve o problema de pontes confiáveis de sidechains, que podem exigir contratos. O BitVM é estritamente superior ao exemplo de pagamentos condicionais ZKP de Greg Maxwell de 2016. O BitVM é muito complexo e difícil de entender e implementar. Atualizar o Bitcoin com um op_code pode alcançar a mesma coisa."

Bitcoin não requer nenhuma alteração

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 de completude de Turing na verdade requer um tempo de execução infinito, nada será verdadeiramente completo de Turing em nossa realidade porque não temos espaço e tempo infinitos para acomodar isso. "

Em relação ao conteúdo do white paper da BitVM, Sam Parker disse: "No processo, um pequeno grupo de hackers de script, como @robin_linus e @super_testnet, descobriram como programar todas as funções que queremos de um computador de uso geral. Existem maneiras de explorar o conjunto extremamente limitado de códigos operacionais do Bitcoin, 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 expressividade, mas simplesmente uma questão de tempo de execução, onde A limitação mais severa é 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 Turing-completo do que era antes, ele é apenas dotado de programas que podemos razoavelmente dizer que são “suficientemente Turing-completos 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. Eric Wall disse: “Acabei de ler este white paper e todos os conceitos estão corretos para mim. Naturalmente, não estou interessado em soluções que exijam um grande número de trocas de transações pré-assinadas durante a fase de configuração - não sei quais problemas 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.Documento técnico da BitVM