Escrito por Bob Bodily; CEO do Mercado Bioniq; Tradução: Golden Finance Cryptonaitive
BitVM é um novo rollup otimista + à prova de fraude + Taproot Leaf + Bitcoin Script paradigma de computação projetado por Robin Linus da ZeroSync. Na manhã de 9 de outubro, eles publicaram um excelente white paper que foi revisado por pares por Super Testnet e Sam Parker (o artigo já foi visto 1,5 milhão de vezes).
Muito tempo para ler:
BitVM não é uma panaceia para resolver problemas
BitVM não é tão bom quanto EVM, BitVM é mais lento, mais caro e mais complexo
O principal benefício do BitVM é que obtemos imediatamente programabilidade adicional no Bitcoin sem a necessidade de atualizações. Não são necessários novos opcodes. Nenhum garfo macio é necessário. Está pronto para usar agora.
Casos de uso potenciais simples incluem partes de aplicativos descentralizados que atualmente dependem de serviços centralizados (oráculos para DLC, agregadores de controle de congestionamento/coinjunte, classificações de sidechain)
5, BitVM não resolve o problema de ponte sem confiança de sidechains (contrato pode ser necessário — Covenant)
Sim, o BitVM é definitivamente melhor do que o exemplo de pagamento condicional ZKP de 2016 de Greg Maxwell
BitVM é muito complexo e difícil de entender e implementar. Atualizar o Bitcoin com um opcode pode alcançar o mesmo efeito.
Escavação técnica
Agora vamos mergulhar no lado técnico das coisas. Nas minhas discussões, cito em grande parte outras pessoas porque é a maneira mais segura de me manter fiel ao que dizem e evitar citações falsas.
O objetivo do BitVM é que "qualquer função computável pode ser verificada no Bitcoin". —Livro branco sobre BitVM
Isso significa que "Bitcoin agora é Turing-complete como qualquer outra cadeia, e isso não requer nenhuma mudança no Bitcoin." " ——Sam Parker
Existem algumas limitações (que discutiremos mais adiante), mas basicamente isso significa que, desde que você:
(1) Existem fundos suficientes para pagar cálculos/provas fora da cadeia,
(2) Há largura de banda suficiente para receber e enviar os dados necessários (possivelmente centenas de megabytes) também
(3) pode executar o número necessário de transações bitcoin,
Então você pode calcular o que quiser.
"A única coisa que o BitVM faz é nos permitir dividir certos tempos de execução lógicos do escopo de uma única transação em várias transações. É tudo. " ——Sam Parker
Por isso, pode demorar muito tempo. Pode ser muito caro. Pode levar centenas de transações. Mas você pode fazer o que quiser.
O próprio Sam reiterou: "Assim, ** tecnicamente o Bitcoin não se tornou mais Turing-completo do que antes, só podemos razoavelmente dizer que é 'Turing-completo' o suficiente para qualquer programa que possamos realmente querer executar." **"
Um dos principais benefícios é que não são necessárias atualizações. Você pode fazer tudo isso agora.
E se você não quiser usá-lo, você também pode optar por: "Isso é opcional. Se você não confia no bloqueio de bitcoins para algum contrato inteligente Turing-complete (perfeitamente razoável), não os bloqueie em um contrato inteligente Turing-complete. "——Sam Parker
Uma vez que você pode estar sujeito a algumas limitações computacionais, acho que o resultado mínimo para BitVM provavelmente substituirá o serviço centralizado "Bitcoin Edge" que muitas pessoas usam atualmente.
Por exemplo, podemos "nos livrar de todos os serviços de hospedagem confiáveis ou semiconfiáveis de que precisamos no momento". Os agregadores de controle de congestionamento/coinjunção, quóruns de sidechain e certos tipos de oráculos DLC podem passar de confiáveis/semiconfiáveis a 100% sem confiança. A falta de confiança do Bitcoin é tão forte quanto o elo mais fraco no link com o qual você interage. " - Sam Parker
Agora vamos ver o que Eric Wall tem a dizer sobre isso:
"Acabei de ler o white paper e todos os conceitos estão corretos para mim. Tenho uma aversão natural a cenários que exigem transações pré-assinadas muito grandes durante a fase de estabelecimento. Não sei que problemas podem surgir com tais cenários. Sobrecarga e permissões são dois problemas significativos.
Por enquanto, estou cautelosamente animado para ver quais resultados o experimento do mundo real produzirá. Talvez existam soluções elegantes e subtis que abordem ambas as limitações deste esquema, ou não. Talvez a sobrecarga seja gerenciável para um tipo específico de computação, como provas de conhecimento zero.
Seria interessante se o BitVM verificasse que a camada zkwasm funcionava bem nela — o BitVM cumpriria o papel da camada zkwasm que discuti anteriormente. "
Ele então continuou dizendo o que é provavelmente o resumo mais sucinto do BitVM:
"O BitVM apenas descreve a maneira pela qual um validador pode roubar uma margem de um provador com base nos resultados dos cálculos Turing-complete, mas não descreve realmente a arquitetura de peg-in/outs para participantes externos, o que pode estar correto."
Sim, BitVM é exatamente isso.
Adam Back junta-se com um comentário mais crítico (com muitos pontos): "É legal para as pessoas que ficam (excessivamente) animadas, mas na verdade é apenas uma generalização de um jogo bidirecional – explicitamente mencionado no abstrato – então é um pouco como o exemplo de 2016 de Greg Maxwell de implementação de pagamento condicional ZKP." "
Além do fato de que Adam não notou parte do white paper, este BitVM é realmente melhor do que o exemplo ZKP de 2016 de Greg Maxwell. Para citar Robin: "É absolutamente superior no ZKCP [em comparação com o exemplo ZKP de 2016 de Greg Maxwell], porque no ZKCP, o provador deve conhecer a solução de antemão." "
Super Testnet, um dos revisores do artigo, ofereceu sua opinião: "Esta é provavelmente a descoberta mais emocionante na história do Bitcoin Script. Parece resolver quase todos os problemas e dá-nos acesso a Covenants, sidechains e funcionalidades como Liquid ou EVM sem quaisquer forks. Mal posso esperar para lançar minha demonstração. "
Em resposta à pergunta de Eric Wall sobre a configuração do esquema 1-to-N, o Super Testnet postou o seguinte: "Ele também suporta o esquema 1-N, semelhante aos rollups. Você pode ter uma parte central recebendo taxas para realizar cálculos para um grupo. Todos no grupo sabem que o partido central não pode mentir, caso contrário o grupo pode obter uma margem enorme e dividi-la entre os seus membros. "
Uma grande desvantagem do BitVM é a complexidade. **Para que o BitVM funcione, é necessária muita pré-assinatura.
Rijndael comentou: "Parece que o CTV reduzirá as pré-assinaturas. Seria uma ótima solução para construir com o Bitcoin atual e, em seguida, descobrir quanta interatividade pode ser reduzida com CTV, e se isso é uma coisa boa ou uma necessidade. "
Se você ainda não sabe, CTV = BIP-119 = Pacto Simples. Portanto, se atualizarmos o Bitcoin para habilitar o CTV, o BitVM será muito melhor e mais eficiente. **
Post Capone acrescentou sua própria perspetiva ao discutir a positividade atual dentro do ecossistema Bitcoin: "BitVM gerou comentários positivos líquidos de 8 fações diferentes dentro do Bitcoin, que normalmente denegrem umas às outras até o ponto de destruição. Grande coisa, cara. Muita análise/feedback é passado em um curto período de tempo, o que é muito legal. Ordinais foi um momento mágico. Parece que está motivado o suficiente para ir além. Estamos todos amontoados para torná-lo operacional. "
BitVM é muito semelhante ao Lightning Network, com pelo menos um requisito 2:2 multisig no papel.
Dylan LeClair comentou: "Corrija-me se eu estiver errado: embora tecnicamente muito diferente, é como o LN, pois é um multisig 2:2 onde TXs/apps/contratos podem ser construídos em Bitcoin, mas a verificação e liquidação ocorrem on-chain. Como eu entendo, isso permitiria peg-ins BTC sem confiança(?) ）"。
Sam respondeu: "Ele pode fazer o que quiser, incluindo peg-ins sem confiança." A este respeito, é muito semelhante à Lightning Network. Acho que executar esse protocolo dentro do Lightning Channel seria um movimento estratégico real. Suspeito que há uma maneira de cavalgar as transações da Justiça do Lightning de uma forma muito sinérgica. "
Havia dúvidas de que o BitVM seria capaz de suportar o estado global, já que a descrição no artigo é semelhante a um canal de estado, mas o Super Testnet respondeu: "Ele suporta o estado global". A Parte A pode provar à Parte B declarações sobre o livro-razão global (como Bitcoin ou sidechains ou até mesmo outras cadeias). "
No geral, o BitVM "torna os contratos de Bitcoin mais expressivos". Em particular, ele possibilita recursos que originalmente pensávamos que precisavam de um garfo macio. Pode implementar sidechains sem confiança, mas isso ainda não está completamente resolvido. "——Super Testnet
Rijndale respondeu que ainda podemos precisar de convênios para implementar sidechains sem confiança: "BitVM permite que você gaste todas as quantidades de UTXOs que contêm contratos inteligentes. Para sidechains sem confiança, precisamos ser capazes de gastar a parte do UTXO contendo o contrato inteligente. "
A minha opinião
Mais um white paper, mais uma rodada de podcasts. BitVM é muito interessante, mas ainda está em fase de pesquisa e ainda há muitas questões a serem exploradas, então quantos problemas BitVM será capaz de resolver ainda não foi determinado.
Pode haver alguns casos de uso chave simples para começar a alavancar o BitVM imediatamente para reduzir as suposições de confiança (por exemplo, oráculos DLC).
Precisamos de uma variedade de maneiras diferentes para fornecer mais programabilidade para Bitcoin, então eu aplaudo qualquer um que trabalhe neste espaço (incluindo BitVM). Espero que haja muitos desenvolvedores usando-o para construir demonstrações muito legais que resolvam os problemas importantes das pessoas.
Ver original
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
Tudo o que precisa de saber sobre BitVM
Escrito por Bob Bodily; CEO do Mercado Bioniq; Tradução: Golden Finance Cryptonaitive
BitVM é um novo rollup otimista + à prova de fraude + Taproot Leaf + Bitcoin Script paradigma de computação projetado por Robin Linus da ZeroSync. Na manhã de 9 de outubro, eles publicaram um excelente white paper que foi revisado por pares por Super Testnet e Sam Parker (o artigo já foi visto 1,5 milhão de vezes).
Muito tempo para ler:
BitVM não é uma panaceia para resolver problemas
BitVM não é tão bom quanto EVM, BitVM é mais lento, mais caro e mais complexo
O principal benefício do BitVM é que obtemos imediatamente programabilidade adicional no Bitcoin sem a necessidade de atualizações. Não são necessários novos opcodes. Nenhum garfo macio é necessário. Está pronto para usar agora.
Casos de uso potenciais simples incluem partes de aplicativos descentralizados que atualmente dependem de serviços centralizados (oráculos para DLC, agregadores de controle de congestionamento/coinjunte, classificações de sidechain)
5, BitVM não resolve o problema de ponte sem confiança de sidechains (contrato pode ser necessário — Covenant)
Escavação técnica
Agora vamos mergulhar no lado técnico das coisas. Nas minhas discussões, cito em grande parte outras pessoas porque é a maneira mais segura de me manter fiel ao que dizem e evitar citações falsas.
O objetivo do BitVM é que "qualquer função computável pode ser verificada no Bitcoin". —Livro branco sobre BitVM
Isso significa que "Bitcoin agora é Turing-complete como qualquer outra cadeia, e isso não requer nenhuma mudança no Bitcoin." " ——Sam Parker
Existem algumas limitações (que discutiremos mais adiante), mas basicamente isso significa que, desde que você:
(1) Existem fundos suficientes para pagar cálculos/provas fora da cadeia,
(2) Há largura de banda suficiente para receber e enviar os dados necessários (possivelmente centenas de megabytes) também
(3) pode executar o número necessário de transações bitcoin,
Então você pode calcular o que quiser.
"A única coisa que o BitVM faz é nos permitir dividir certos tempos de execução lógicos do escopo de uma única transação em várias transações. É tudo. " ——Sam Parker
Por isso, pode demorar muito tempo. Pode ser muito caro. Pode levar centenas de transações. Mas você pode fazer o que quiser.
O próprio Sam reiterou: "Assim, ** tecnicamente o Bitcoin não se tornou mais Turing-completo do que antes, só podemos razoavelmente dizer que é 'Turing-completo' o suficiente para qualquer programa que possamos realmente querer executar." **"
Um dos principais benefícios é que não são necessárias atualizações. Você pode fazer tudo isso agora.
E se você não quiser usá-lo, você também pode optar por: "Isso é opcional. Se você não confia no bloqueio de bitcoins para algum contrato inteligente Turing-complete (perfeitamente razoável), não os bloqueie em um contrato inteligente Turing-complete. "——Sam Parker
Uma vez que você pode estar sujeito a algumas limitações computacionais, acho que o resultado mínimo para BitVM provavelmente substituirá o serviço centralizado "Bitcoin Edge" que muitas pessoas usam atualmente.
Por exemplo, podemos "nos livrar de todos os serviços de hospedagem confiáveis ou semiconfiáveis de que precisamos no momento". Os agregadores de controle de congestionamento/coinjunção, quóruns de sidechain e certos tipos de oráculos DLC podem passar de confiáveis/semiconfiáveis a 100% sem confiança. A falta de confiança do Bitcoin é tão forte quanto o elo mais fraco no link com o qual você interage. " - Sam Parker
Agora vamos ver o que Eric Wall tem a dizer sobre isso:
Ele então continuou dizendo o que é provavelmente o resumo mais sucinto do BitVM:
"O BitVM apenas descreve a maneira pela qual um validador pode roubar uma margem de um provador com base nos resultados dos cálculos Turing-complete, mas não descreve realmente a arquitetura de peg-in/outs para participantes externos, o que pode estar correto."
Sim, BitVM é exatamente isso.
Adam Back junta-se com um comentário mais crítico (com muitos pontos): "É legal para as pessoas que ficam (excessivamente) animadas, mas na verdade é apenas uma generalização de um jogo bidirecional – explicitamente mencionado no abstrato – então é um pouco como o exemplo de 2016 de Greg Maxwell de implementação de pagamento condicional ZKP." "
Além do fato de que Adam não notou parte do white paper, este BitVM é realmente melhor do que o exemplo ZKP de 2016 de Greg Maxwell. Para citar Robin: "É absolutamente superior no ZKCP [em comparação com o exemplo ZKP de 2016 de Greg Maxwell], porque no ZKCP, o provador deve conhecer a solução de antemão." "
Super Testnet, um dos revisores do artigo, ofereceu sua opinião: "Esta é provavelmente a descoberta mais emocionante na história do Bitcoin Script. Parece resolver quase todos os problemas e dá-nos acesso a Covenants, sidechains e funcionalidades como Liquid ou EVM sem quaisquer forks. Mal posso esperar para lançar minha demonstração. "
Em resposta à pergunta de Eric Wall sobre a configuração do esquema 1-to-N, o Super Testnet postou o seguinte: "Ele também suporta o esquema 1-N, semelhante aos rollups. Você pode ter uma parte central recebendo taxas para realizar cálculos para um grupo. Todos no grupo sabem que o partido central não pode mentir, caso contrário o grupo pode obter uma margem enorme e dividi-la entre os seus membros. "
Uma grande desvantagem do BitVM é a complexidade. **Para que o BitVM funcione, é necessária muita pré-assinatura.
Rijndael comentou: "Parece que o CTV reduzirá as pré-assinaturas. Seria uma ótima solução para construir com o Bitcoin atual e, em seguida, descobrir quanta interatividade pode ser reduzida com CTV, e se isso é uma coisa boa ou uma necessidade. "
Se você ainda não sabe, CTV = BIP-119 = Pacto Simples. Portanto, se atualizarmos o Bitcoin para habilitar o CTV, o BitVM será muito melhor e mais eficiente. **
Post Capone acrescentou sua própria perspetiva ao discutir a positividade atual dentro do ecossistema Bitcoin: "BitVM gerou comentários positivos líquidos de 8 fações diferentes dentro do Bitcoin, que normalmente denegrem umas às outras até o ponto de destruição. Grande coisa, cara. Muita análise/feedback é passado em um curto período de tempo, o que é muito legal. Ordinais foi um momento mágico. Parece que está motivado o suficiente para ir além. Estamos todos amontoados para torná-lo operacional. "
BitVM é muito semelhante ao Lightning Network, com pelo menos um requisito 2:2 multisig no papel.
Dylan LeClair comentou: "Corrija-me se eu estiver errado: embora tecnicamente muito diferente, é como o LN, pois é um multisig 2:2 onde TXs/apps/contratos podem ser construídos em Bitcoin, mas a verificação e liquidação ocorrem on-chain. Como eu entendo, isso permitiria peg-ins BTC sem confiança(?) ）"。
Sam respondeu: "Ele pode fazer o que quiser, incluindo peg-ins sem confiança." A este respeito, é muito semelhante à Lightning Network. Acho que executar esse protocolo dentro do Lightning Channel seria um movimento estratégico real. Suspeito que há uma maneira de cavalgar as transações da Justiça do Lightning de uma forma muito sinérgica. "
Havia dúvidas de que o BitVM seria capaz de suportar o estado global, já que a descrição no artigo é semelhante a um canal de estado, mas o Super Testnet respondeu: "Ele suporta o estado global". A Parte A pode provar à Parte B declarações sobre o livro-razão global (como Bitcoin ou sidechains ou até mesmo outras cadeias). "
No geral, o BitVM "torna os contratos de Bitcoin mais expressivos". Em particular, ele possibilita recursos que originalmente pensávamos que precisavam de um garfo macio. Pode implementar sidechains sem confiança, mas isso ainda não está completamente resolvido. "——Super Testnet
Rijndale respondeu que ainda podemos precisar de convênios para implementar sidechains sem confiança: "BitVM permite que você gaste todas as quantidades de UTXOs que contêm contratos inteligentes. Para sidechains sem confiança, precisamos ser capazes de gastar a parte do UTXO contendo o contrato inteligente. "
A minha opinião
Mais um white paper, mais uma rodada de podcasts. BitVM é muito interessante, mas ainda está em fase de pesquisa e ainda há muitas questões a serem exploradas, então quantos problemas BitVM será capaz de resolver ainda não foi determinado.
Pode haver alguns casos de uso chave simples para começar a alavancar o BitVM imediatamente para reduzir as suposições de confiança (por exemplo, oráculos DLC).