Para contratos inteligentes Turing-complete em Bitcoin, o usuário do Twitter @robin_linus propôs uma nova proposta - BitVM.
Ele afirma que isso pode ser alcançado sem quaisquer alterações no código do Bitcoin.
Como a linguagem de script nativa do Bitcoin é bastante limitada, é por isso que precisamos estender o Bitcoin com várias camadas.
Essas diferentes camadas atuam como vários blocos de construção, trazendo mais funcionalidade para o Bitcoin. E hoje temos um avanço importante: os contratos inteligentes.
Este ano, vimos um aumento dramático na discussão sobre Rollups no Bitcoin, com os tópicos mais comuns sendo soberania, provas de conhecimento zero e Rollups Otimistas.
Essas soluções de dimensionamento são executadas em L2, mas eventualmente voltam para a cadeia principal criptograficamente.
O que é BitVM
BitVM usa tecnologia semelhante ao Optimistic Rollups.
Os Rollups otimistas geralmente assumem que a transação é válida, mas atribuem um determinado período de tempo para a resolução de disputas.
Em caso de disputa, o Rollup retorna ao estado anterior.
O cálculo real do contrato inteligente da BitVM ocorre em uma camada separada e, no caso de uma disputa, essas disputas são "salvas" na cadeia principal do Bitcoin. Portanto, toda a atividade BitVM ocorre off-chain.
** (Nota do tradutor: Um registro público e imutável é mantido na cadeia principal que pode ser usado para resolver disputas.) Se não houver disputa, toda a atividade BitVM ocorrerá off-chain, ou seja, fora da cadeia principal do Bitcoin. Esta atividade off-chain pode ser realizada mais rapidamente e a validade das transações é assegurada usando a cadeia principal do Bitcoin como base para segurança e confiabilidade. ）**
BitVM depende principalmente de quatro componentes**
Bloqueio de hash
Bloqueio de tempo
Árvore Merkle
Multi-assinatura
Bloqueio de hash
Um bloqueio de hash é uma chave oculta criptográfica gerada pela pessoa que inicia a transação, o que garante que a transação só possa ser finalizada após a aprovação do iniciador.
Bloqueio de tempo
Uma transação sob um bloqueio de tempo deve ser executada após uma determinada data, hora ou altura do bloco.
Árvore Merkle
O ramo da árvore Merkle usa criptografia para registrar os resultados da execução de um script no blockchain, em vez de registrar todas as execuções possíveis de um script.
Isso reduz muito o espaço ocupado pelas transações, especialmente para as mais complexas!
** No passado, para verificar a validade de uma transação, era necessário registrar todos os caminhos de execução e resultados possíveis, o que ocupava muito espaço de armazenamento. Com a ramificação da árvore Merkle, registramos apenas os resultados da execução real, e essa otimização torna o processamento de transações mais eficiente, ao mesmo tempo em que reduz os requisitos de armazenamento do blockchain. ）**
Multisig
Multisig muitas vezes permite que várias partes compartilhem o controle sobre uma única carteira. Sob o design do BitVM, você teria uma assinatura múltipla de duas partes consistindo em um provador e um verificador.
**Então, como funciona o BitVM? **
Os provadores e validadores primeiro compilam o contrato inteligente em um mapa de instrução if-then que contém todos os resultados possíveis.
Para economizar espaço, usamos o formato Merkle para economizar on-chain.
Ambas as partes também devem pré-assinar uma série de transações de contestação e resposta que podem ser usadas em caso de disputa!
Depois de completar esses pré-requisitos, eles podem depositar Bitcoin em um endereço Taproot, que ativa o contrato inteligente e permite que ambas as partes comecem a trocar dados off-chain ou em uma camada separada.
Os validadores podem usar bloqueios de tempo para forçar o provador a tomar uma decisão dentro de um período de tempo definido.
Se o provador fizer uma alegação falsa, o verificador pode contestá-la e obter o seu depósito de volta.
Isso garante que todos os atacantes percam seu depósito e incentiva o bom comportamento.
Usos do BitVM
Agora que temos uma compreensão básica da estrutura do contrato BitVM, podemos mergulhar um pouco mais fundo no que ele é usado para.
Atualmente existem três "Compromisso" :
Compromisso de valor de bit
Compromisso Logic Gate
Compromisso de Circuito Binário
Compromisso de valor de bit
Isso permite que os aprovadores definam um valor de bit como "0" ou "1" em diferentes scripts e saídas de transação não utilizadas (UTXOs), permitindo que um script seja executado em várias transações, e esses binários 0s e 1s são a base para todos os cálculos
** (Nota do tradutor: Ao controlar o valor do bit, várias operações de cálculo, como julgamento condicional e operações lógicas, podem ser realizadas.) Essa flexibilidade permite que o BitVM suporte funções complexas de contratos inteligentes de forma mais robusta. ）**
Promessa de porta lógica
Isso permite o uso de portas NAND e implementa a funcionalidade de instruções como AND, NOT e OR.
A porta AND AND gera uma saída com base no estado de duas entradas (como valores de dois bits).
** O mecanismo de compromisso de porta lógica fornece ao BitVM funções mais flexíveis e poderosas, introduzindo portas E NÃO, permitindo que contratos inteligentes suportem cálculos complexos contendo operações lógicas. ）**
Promessa de Circuito Binário
Uma vez que as várias portas lógicas são definidas, você pode usar circuitos binários para construir sistemas digitais mais complexos.
Pense nisso como uma estrutura completa de contrato inteligente formada por vários blocos de construção NAND.
No BitVM, da mesma forma, podemos combinar várias portas lógicas para formar uma estrutura completa de contrato inteligente, assim como várias portas AND NOT formam uma implementação modular concreta. Esta abordagem modular à construção torna a conceção de contratos inteligentes mais flexível e escalável. ）**
Recursos de referência adicionais
Isso é tudo para os detalhes técnicos que podemos cobrir até agora, e há uma abundância de recursos adicionais para verificar se você quiser mergulhar mais fundo ou aprender mais sobre BitVM.
Aqui estão alguns recursos que vale a pena considerar:**
Mudança de atitude
Por observação, encontramos um fenômeno interessante:**
Houve uma enorme mudança nas atitudes em relação à construção de aplicativos no Bitcoin via BitVM.
Muitas pessoas reagiram friamente ou mesmo abertamente contra a introdução de contratos inteligentes no Bitcoin, mas agora começaram a expressar apoio, o que é encorajador!
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.
BitVM: Inaugurando a era dos contratos inteligentes do Bitcoin
Para contratos inteligentes Turing-complete em Bitcoin, o usuário do Twitter @robin_linus propôs uma nova proposta - BitVM.
Ele afirma que isso pode ser alcançado sem quaisquer alterações no código do Bitcoin.
Como a linguagem de script nativa do Bitcoin é bastante limitada, é por isso que precisamos estender o Bitcoin com várias camadas.
Essas diferentes camadas atuam como vários blocos de construção, trazendo mais funcionalidade para o Bitcoin. E hoje temos um avanço importante: os contratos inteligentes.
Este ano, vimos um aumento dramático na discussão sobre Rollups no Bitcoin, com os tópicos mais comuns sendo soberania, provas de conhecimento zero e Rollups Otimistas.
Essas soluções de dimensionamento são executadas em L2, mas eventualmente voltam para a cadeia principal criptograficamente.
O que é BitVM
BitVM usa tecnologia semelhante ao Optimistic Rollups.
Os Rollups otimistas geralmente assumem que a transação é válida, mas atribuem um determinado período de tempo para a resolução de disputas.
Em caso de disputa, o Rollup retorna ao estado anterior.
O cálculo real do contrato inteligente da BitVM ocorre em uma camada separada e, no caso de uma disputa, essas disputas são "salvas" na cadeia principal do Bitcoin. Portanto, toda a atividade BitVM ocorre off-chain.
** (Nota do tradutor: Um registro público e imutável é mantido na cadeia principal que pode ser usado para resolver disputas.) Se não houver disputa, toda a atividade BitVM ocorrerá off-chain, ou seja, fora da cadeia principal do Bitcoin. Esta atividade off-chain pode ser realizada mais rapidamente e a validade das transações é assegurada usando a cadeia principal do Bitcoin como base para segurança e confiabilidade. ）**
BitVM depende principalmente de quatro componentes**
Bloqueio de hash
Um bloqueio de hash é uma chave oculta criptográfica gerada pela pessoa que inicia a transação, o que garante que a transação só possa ser finalizada após a aprovação do iniciador.
Bloqueio de tempo
Uma transação sob um bloqueio de tempo deve ser executada após uma determinada data, hora ou altura do bloco.
Árvore Merkle
O ramo da árvore Merkle usa criptografia para registrar os resultados da execução de um script no blockchain, em vez de registrar todas as execuções possíveis de um script.
Isso reduz muito o espaço ocupado pelas transações, especialmente para as mais complexas!
** No passado, para verificar a validade de uma transação, era necessário registrar todos os caminhos de execução e resultados possíveis, o que ocupava muito espaço de armazenamento. Com a ramificação da árvore Merkle, registramos apenas os resultados da execução real, e essa otimização torna o processamento de transações mais eficiente, ao mesmo tempo em que reduz os requisitos de armazenamento do blockchain. ）**
Multisig
Multisig muitas vezes permite que várias partes compartilhem o controle sobre uma única carteira. Sob o design do BitVM, você teria uma assinatura múltipla de duas partes consistindo em um provador e um verificador.
**Então, como funciona o BitVM? **
Os provadores e validadores primeiro compilam o contrato inteligente em um mapa de instrução if-then que contém todos os resultados possíveis.
Para economizar espaço, usamos o formato Merkle para economizar on-chain.
Ambas as partes também devem pré-assinar uma série de transações de contestação e resposta que podem ser usadas em caso de disputa!
Depois de completar esses pré-requisitos, eles podem depositar Bitcoin em um endereço Taproot, que ativa o contrato inteligente e permite que ambas as partes comecem a trocar dados off-chain ou em uma camada separada.
Os validadores podem usar bloqueios de tempo para forçar o provador a tomar uma decisão dentro de um período de tempo definido.
Se o provador fizer uma alegação falsa, o verificador pode contestá-la e obter o seu depósito de volta.
Isso garante que todos os atacantes percam seu depósito e incentiva o bom comportamento.
Usos do BitVM
Agora que temos uma compreensão básica da estrutura do contrato BitVM, podemos mergulhar um pouco mais fundo no que ele é usado para.
Atualmente existem três "Compromisso" :
Compromisso de valor de bit
Isso permite que os aprovadores definam um valor de bit como "0" ou "1" em diferentes scripts e saídas de transação não utilizadas (UTXOs), permitindo que um script seja executado em várias transações, e esses binários 0s e 1s são a base para todos os cálculos
** (Nota do tradutor: Ao controlar o valor do bit, várias operações de cálculo, como julgamento condicional e operações lógicas, podem ser realizadas.) Essa flexibilidade permite que o BitVM suporte funções complexas de contratos inteligentes de forma mais robusta. ）**
Promessa de porta lógica
Isso permite o uso de portas NAND e implementa a funcionalidade de instruções como AND, NOT e OR.
A porta AND AND gera uma saída com base no estado de duas entradas (como valores de dois bits).
** O mecanismo de compromisso de porta lógica fornece ao BitVM funções mais flexíveis e poderosas, introduzindo portas E NÃO, permitindo que contratos inteligentes suportem cálculos complexos contendo operações lógicas. ）**
Promessa de Circuito Binário
Uma vez que as várias portas lógicas são definidas, você pode usar circuitos binários para construir sistemas digitais mais complexos.
Pense nisso como uma estrutura completa de contrato inteligente formada por vários blocos de construção NAND.
No BitVM, da mesma forma, podemos combinar várias portas lógicas para formar uma estrutura completa de contrato inteligente, assim como várias portas AND NOT formam uma implementação modular concreta. Esta abordagem modular à construção torna a conceção de contratos inteligentes mais flexível e escalável. ）**
Recursos de referência adicionais
Isso é tudo para os detalhes técnicos que podemos cobrir até agora, e há uma abundância de recursos adicionais para verificar se você quiser mergulhar mais fundo ou aprender mais sobre BitVM.
Aqui estão alguns recursos que vale a pena considerar:**
Mudança de atitude
Por observação, encontramos um fenômeno interessante:**
Houve uma enorme mudança nas atitudes em relação à construção de aplicativos no Bitcoin via BitVM.
Muitas pessoas reagiram friamente ou mesmo abertamente contra a introdução de contratos inteligentes no Bitcoin, mas agora começaram a expressar apoio, o que é encorajador!