Autor: Haotian, Crypto Observer Fonte: X (Twitter) @tmel0211
O white paper "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-completa computando 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 Método de Prova? 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.
Como 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, o que é equivalente à execução completa do contrato.
Especificamente, podemos tratar a instrução condicional de custo 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 um taptree ordenado, 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 instrução da unidade mínima é 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 é exagero dizer que é uma máquina Turing-completa. Mas a superposição ilimitada de endereços taproot só aumentará o consumo de custos, teoricamente é possível alcançar tudo 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 compromisso Optimism Rollup e Fraud Proof and Bit mencionado 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 do Rollup executar programas complexos off-chain e apenas colocar links de verificação de chave na cadeia?
A Prova de Fraude pode ser entendida desta forma, Prover e verificador primeiro compilam um enorme circuito binário, a rede Bitcoin executa o circuito, há uma premissa de que Prover deve pré-assinar e prometer um determinado ativo Bitcoin, se o Verificador verificar que Prover é mau, ele pode enviar transações para a cadeia da mesma forma para acionar a condição de desbloqueio UTXO do "programa" taptree on-chain, se bem-sucedido. O verificador pode perder a garantia do Prover, que é 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 de circuito total deve ser compartilhado antes da execução, o procedimento de prova de fraude deve ser executado dentro do prazo de validade, e certos ativos devem ser penhorados e pré-assinados. Se as duas partes não cooperarem para se envolver 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 à implementação do BitVM? **
Atualmente, o BitVM só é adequado para 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 duas entidades contratuais e a implementação da N-N exige uma conceção lógica técnica mais complexa.
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 para agrupar
Um grande número de endereços foram usados para construir um 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.
O BitVM idealmente suporta cenários limitados, o que é mais adequado para computação de cadeia 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, 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 supercomputador maior do que uma sala na era em que todos podem usar terminais móveis.
Nota: A interpretação acima só é aplicável para entender a estrutura técnica geral do BitVM, para que todos possam entender a lógica técnica por trás dele, o método de prática específico pode ser tendencioso, se houver mestres técnicos que tenham uma pesquisa aprofundada de detalhes técnicos.
Ver original
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
O BitVM será capaz de revolucionar as capacidades de contrato inteligente do Bitcoin?
Autor: Haotian, Crypto Observer Fonte: X (Twitter) @tmel0211
O white paper "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-completa computando 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 Método de Prova? 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.
Como 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, o que é equivalente à execução completa do contrato.
Especificamente, podemos tratar a instrução condicional de custo 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 um taptree ordenado, 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 instrução da unidade mínima é 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 é exagero dizer que é uma máquina Turing-completa. Mas a superposição ilimitada de endereços taproot só aumentará o consumo de custos, teoricamente é possível alcançar tudo 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 compromisso Optimism Rollup e Fraud Proof and Bit mencionado 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 do Rollup executar programas complexos off-chain e apenas colocar links de verificação de chave na cadeia?
A Prova de Fraude pode ser entendida desta forma, Prover e verificador primeiro compilam um enorme circuito binário, a rede Bitcoin executa o circuito, há uma premissa de que Prover deve pré-assinar e prometer um determinado ativo Bitcoin, se o Verificador verificar que Prover é mau, ele pode enviar transações para a cadeia da mesma forma para acionar a condição de desbloqueio UTXO do "programa" taptree on-chain, se bem-sucedido. O verificador pode perder a garantia do Prover, que é 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 de circuito total deve ser compartilhado antes da execução, o procedimento de prova de fraude deve ser executado dentro do prazo de validade, e certos ativos devem ser penhorados e pré-assinados. Se as duas partes não cooperarem para se envolver 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 à implementação do BitVM? **
Atualmente, o BitVM só é adequado para 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 duas entidades contratuais e a implementação da N-N exige uma conceção lógica técnica mais complexa.
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 para agrupar
Um grande número de endereços foram usados para construir um 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.
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, 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 supercomputador maior do que uma sala na era em que todos podem usar terminais móveis.
Nota: A interpretação acima só é aplicável para entender a estrutura técnica geral do BitVM, para que todos possam entender a lógica técnica por trás dele, o método de prática específico pode ser tendencioso, se houver mestres técnicos que tenham uma pesquisa aprofundada de detalhes técnicos.