Um white paper intitulado "BitVM: Compute Anything On Bitcoin" provocou uma discussão acalorada entre os desenvolvedores, o que parece significar que a rede Bitcoin implementa contratos Turing-complete que podem executar qualquer função computável?
Isso significa que a rede Bitcoin pode replicar todas as narrativas do Ethereum e outros ecossistemas? E não há necessidade de mudar o consenso Bitcoin existente, ou mesmo quaisquer atualizações, apenas confiar na base Bitcoin atual op_code pode dar à rede Bitcoin programação "complexa", para que a rede Bitcoin possa Turing-completar o cálculo de tudo?
Espere, vamos parar de sonhar e explorar o caminho da ideia do BitVM. Como o espaço de script executa uma programação complexa? A que se refere a ideia do Optimism Rollup? Prova de FraudeO que é o Princípio da Prova de Fraude? Quais são os obstáculos para a implementação do BitVM? **Em seguida, vamos levá-lo a analisar seu quadro lógico geral passo a passo, para que todos possam entendê-lo em geral. (Mas não me detenho em detalhes específicos de implementação técnica)
Como faço para implementar recursos programáveis complexos?
Como as capacidades de programação do Bitcoin são muito limitadas, suportando apenas lógica simples e opcodes limitados em scripts de script, é impossível desenvolver contratos inteligentes complexos na rede Bitcoin. O ponto central da proposta da BitVM é que várias instruções de programa semelhantes a circuitos binários são implementadas através da matriz de endereços taproot ou taptree, que são equivalentes à execução completa do contrato. **
Especificamente, podemos tratar a instrução condicional de gastos UTXO em cada script de script como a menor unidade do programa, uma execução de script nada mais é do que verdadeiros e falsos dois resultados, se você inserir um determinado código no endereço taproot pode obter um determinístico 0 ou 1, se um grande número de endereços taproot em uma matriz pode formar uma árvore de execução ordenada, e o resultado da execução tem um grande número de efeitos de texto de circuito binário, como 011001, Pode ser considerado um programa binário executável. A complexidade do programa depende do número de endereços taproot combinados, quanto mais endereços, mais ricas as instruções predefinidas para cada script sob o escopo da estrutura Bitcoin, mais complexo o programa que toda a taptree pode executar. Maker Sense, certo?
Isso é grande o suficiente. No entanto, de acordo com essa lógica, a menor instrução de unidade é realmente completada pelo nó completo do Bitcoin, e o endereço taproot é infinitamente sobreposto, e a possibilidade de combinação infinita pode sobrepor muitos cálculos complexos. De certa forma, não seria exagero dizer que é uma máquina Turing-completa. Mas a sobreposição infinita de endereços taproot só aumentará o consumo de custos, e teoricamente tudo pode ser alcançado em Turing, mas é impraticável.
Portanto, a completude de Turing mencionada no white paper é apenas uma declaração extremamente ideal, um pouco de "conceito de roubo", mesmo o chamado supercomputador Ethereum não pode atingir totalmente Turing-completo, muito menos a rede Bitcoin que só depende de script?
Análise de alguns conceitos complexos
Com base no entendimento da estrutura básica acima, veja o Optimism Rollup e o Fraud Proof and Bit Commitment mencionados no white paper, o que é o Logic Gate? Uma vez que um único espaço taproot e lógica de código executável são limitados, não é uma ideia de rollup executar programas complexos off-chain e apenas colocar links de verificação de chave na cadeia?
E a Prova de Fraude pode ser entendida desta forma, Prover e verificador primeiro compilam um enorme circuito binário, a rede Bitcoin ao executar o circuito, há uma premissa de que Prover para pré-assinar e prometer um determinado ativo Bitcoin, se o Verificador verificar que Prover é mau, ele pode enviar transações para a cadeia para acionar as condições de desbloqueio UTXO do "programa" taptree on-chain, se bem-sucedido, verificador Os bens garantidos pelo provador podem ser confiscados, o que equivale a um processo à prova de fraude.
Nesta lógica, não é difícil entender por que o BitVM só é adequado para duas partes com consenso acordado, ou seja, o diagrama geral do circuito deve ser compartilhado antes da execução, o procedimento de certificação do fraudador deve ser executado dentro do prazo de validade e certos ativos devem ser penhorados e pré-assinados. **Se as duas partes não cooperarem em um conjunto de consenso acordado off-chain, é difícil promover uma execução real de "contrato" confiando apenas no ambiente de execução on-chain limitado da rede Bitcoin. **
**Quais são os obstáculos para o pouso do BitVM? **
**1) Atualmente, o BitVM só é adequado para implementar operações on-chain entre duas partes que concordam em consenso, e o ambiente on-chain é apenas um processo aberto e transparente de execução de contratos. Atualmente, só pode ser implementado entre dois organismos adjudicantes e a implementação da N-N exige uma conceção lógica técnica mais complexa.
**2) BitVM como aplicar um único script de endereço taproot para implementar a unidade de programação mínima, não pode exceder a estrutura lógica de execução do Bitcoin ** como hashlock, timelock, não pode exceder as condições de armazenamento limitadas, caso otimista Um endereço taproot pode programar centenas de portas lógicas, mais tem que combinar um grande número de endereços para construção taptree. O problema é que a execução das condições de desbloqueio predefinidas do endereço taproot requer uma taxa de minerador, e quanto mais combinações de endereços, maior o custo. No futuro, a tecnologia de canal bidirecional da Lightning Network pode reduzir custos, mas, em geral, confiar na rede Bitcoin para executar circuitos de porta lógica não é apenas lento, mas também caro de se pensar.
**3) O BitVM idealmente suporta cenários limitados, o que é mais adequado para computação off-chain pesada, e apenas alguns consensos e transferência de ativos precisam depender de cenários on-chain, como a alienação de ativos de jogos;
Em geral, o BitVM é uma ideia que abre o cérebro e é muito criativa, mas de acordo com sua estrutura técnica de implementação de pouso, sabe-se que ele será limitado ao estágio de conceção do white paper no curto prazo, e a exploração do cenário de aplicação de longo prazo e a aplicação de aterrissagem ainda enfrentam grandes desafios. Para ilustrar com um exemplo muito popular: **BitVM é como construir um computador gigante maior do que uma sala na era em que todos podem usar terminais móveis. **
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.
A rede Bitcoin pode alcançar Turing-complete? Quais são os obstáculos à implementação do BitVM?
Originalmente escrito por Haotian
Um white paper intitulado "BitVM: Compute Anything On Bitcoin" provocou uma discussão acalorada entre os desenvolvedores, o que parece significar que a rede Bitcoin implementa contratos Turing-complete que podem executar qualquer função computável?
Isso significa que a rede Bitcoin pode replicar todas as narrativas do Ethereum e outros ecossistemas? E não há necessidade de mudar o consenso Bitcoin existente, ou mesmo quaisquer atualizações, apenas confiar na base Bitcoin atual op_code pode dar à rede Bitcoin programação "complexa", para que a rede Bitcoin possa Turing-completar o cálculo de tudo?
Espere, vamos parar de sonhar e explorar o caminho da ideia do BitVM. Como o espaço de script executa uma programação complexa? A que se refere a ideia do Optimism Rollup? Prova de FraudeO que é o Princípio da Prova de Fraude? Quais são os obstáculos para a implementação do BitVM? **Em seguida, vamos levá-lo a analisar seu quadro lógico geral passo a passo, para que todos possam entendê-lo em geral. (Mas não me detenho em detalhes específicos de implementação técnica)
Como faço para implementar recursos programáveis complexos?
Como as capacidades de programação do Bitcoin são muito limitadas, suportando apenas lógica simples e opcodes limitados em scripts de script, é impossível desenvolver contratos inteligentes complexos na rede Bitcoin. O ponto central da proposta da BitVM é que várias instruções de programa semelhantes a circuitos binários são implementadas através da matriz de endereços taproot ou taptree, que são equivalentes à execução completa do contrato. **
Especificamente, podemos tratar a instrução condicional de gastos UTXO em cada script de script como a menor unidade do programa, uma execução de script nada mais é do que verdadeiros e falsos dois resultados, se você inserir um determinado código no endereço taproot pode obter um determinístico 0 ou 1, se um grande número de endereços taproot em uma matriz pode formar uma árvore de execução ordenada, e o resultado da execução tem um grande número de efeitos de texto de circuito binário, como 011001, Pode ser considerado um programa binário executável. A complexidade do programa depende do número de endereços taproot combinados, quanto mais endereços, mais ricas as instruções predefinidas para cada script sob o escopo da estrutura Bitcoin, mais complexo o programa que toda a taptree pode executar. Maker Sense, certo?
Isso é grande o suficiente. No entanto, de acordo com essa lógica, a menor instrução de unidade é realmente completada pelo nó completo do Bitcoin, e o endereço taproot é infinitamente sobreposto, e a possibilidade de combinação infinita pode sobrepor muitos cálculos complexos. De certa forma, não seria exagero dizer que é uma máquina Turing-completa. Mas a sobreposição infinita de endereços taproot só aumentará o consumo de custos, e teoricamente tudo pode ser alcançado em Turing, mas é impraticável.
Portanto, a completude de Turing mencionada no white paper é apenas uma declaração extremamente ideal, um pouco de "conceito de roubo", mesmo o chamado supercomputador Ethereum não pode atingir totalmente Turing-completo, muito menos a rede Bitcoin que só depende de script?
Análise de alguns conceitos complexos
Com base no entendimento da estrutura básica acima, veja o Optimism Rollup e o Fraud Proof and Bit Commitment mencionados no white paper, o que é o Logic Gate? Uma vez que um único espaço taproot e lógica de código executável são limitados, não é uma ideia de rollup executar programas complexos off-chain e apenas colocar links de verificação de chave na cadeia?
E a Prova de Fraude pode ser entendida desta forma, Prover e verificador primeiro compilam um enorme circuito binário, a rede Bitcoin ao executar o circuito, há uma premissa de que Prover para pré-assinar e prometer um determinado ativo Bitcoin, se o Verificador verificar que Prover é mau, ele pode enviar transações para a cadeia para acionar as condições de desbloqueio UTXO do "programa" taptree on-chain, se bem-sucedido, verificador Os bens garantidos pelo provador podem ser confiscados, o que equivale a um processo à prova de fraude.
Nesta lógica, não é difícil entender por que o BitVM só é adequado para duas partes com consenso acordado, ou seja, o diagrama geral do circuito deve ser compartilhado antes da execução, o procedimento de certificação do fraudador deve ser executado dentro do prazo de validade e certos ativos devem ser penhorados e pré-assinados. **Se as duas partes não cooperarem em um conjunto de consenso acordado off-chain, é difícil promover uma execução real de "contrato" confiando apenas no ambiente de execução on-chain limitado da rede Bitcoin. **
**Quais são os obstáculos para o pouso do BitVM? **
**1) Atualmente, o BitVM só é adequado para implementar operações on-chain entre duas partes que concordam em consenso, e o ambiente on-chain é apenas um processo aberto e transparente de execução de contratos. Atualmente, só pode ser implementado entre dois organismos adjudicantes e a implementação da N-N exige uma conceção lógica técnica mais complexa.
**2) BitVM como aplicar um único script de endereço taproot para implementar a unidade de programação mínima, não pode exceder a estrutura lógica de execução do Bitcoin ** como hashlock, timelock, não pode exceder as condições de armazenamento limitadas, caso otimista Um endereço taproot pode programar centenas de portas lógicas, mais tem que combinar um grande número de endereços para construção taptree. O problema é que a execução das condições de desbloqueio predefinidas do endereço taproot requer uma taxa de minerador, e quanto mais combinações de endereços, maior o custo. No futuro, a tecnologia de canal bidirecional da Lightning Network pode reduzir custos, mas, em geral, confiar na rede Bitcoin para executar circuitos de porta lógica não é apenas lento, mas também caro de se pensar.
**3) O BitVM idealmente suporta cenários limitados, o que é mais adequado para computação off-chain pesada, e apenas alguns consensos e transferência de ativos precisam depender de cenários on-chain, como a alienação de ativos de jogos;
Em geral, o BitVM é uma ideia que abre o cérebro e é muito criativa, mas de acordo com sua estrutura técnica de implementação de pouso, sabe-se que ele será limitado ao estágio de conceção do white paper no curto prazo, e a exploração do cenário de aplicação de longo prazo e a aplicação de aterrissagem ainda enfrentam grandes desafios. Para ilustrar com um exemplo muito popular: **BitVM é como construir um computador gigante maior do que uma sala na era em que todos podem usar terminais móveis. **