MSTR Cat

Blockchain/Nível VII · Evolução/7.1 Ethereum: o computador mundial/Lição 1

Ethereum: o poder e o preço da programabilidade

A armadilha de Turing: o que acontece quando um livro-razão pode executar qualquer programa

MateriaisUma cópia do BIP-341 (Taproot)O white paper do Ethereum (2014)O artigo sobre BitVM (2023)

Curiosidade

  1. Por que a capacidade de executar código arbitrário inevitavelmente amplia a área de risco para roubo?
  2. Como uma comunidade criou sua própria cadeia para reverter um hack, e por que o Bitcoin rejeitou esse precedente?
  3. Qual é o mecanismo preciso pelo qual o Bitcoin verifica cálculos intensivos sem executá-los?

Explorar

  1. O Ethereum foi lançado em julho de 2015 com um objetivo distinto do do Bitcoin: a capacidade de programação para fins gerais. Enquanto o script do Bitcoin foi projetado para transações financeiras específicas e auditáveis, o Ethereum introduziu uma máquina virtual completa de Turing (a EVM). Isso permitiu que desenvolvedores escrevessem e implementassem qualquer tipo de programa diretamente na cadeia. O resultado foi um aumento exponencial de tokens, protocolos de finanças descentralizadas e tokens não fungíveis, que eram impossíveis de replicar no ambiente de script limitado do Bitcoin.
  2. O poder da computação geral veio com um preço. Em junho de 2016, um erro recursivo no contrato inteligente do The DAO permitiu que um invasor desviasse aproximadamente um terço dos fundos arrecadados. A comunidade Ethereum enfrentou uma crise: deveriam deixar o código ser executado conforme escrito (“o código é a lei”) ou intervir? Eles escolheram intervir, realizando um hard fork que transferiu os fundos roubados para um contrato de reembolso por meio de uma alteração irregular no estado do sistema. Essa decisão dividiu a cadeia em Ethereum e Ethereum Classic, provando que o consenso social pode anular um código imutável.
  3. O incidente da DAO destacou uma vulnerabilidade estrutural: a expressividade aumenta a superfície de ataque. A maioria dos roubos subsequentes em cadeias programáveis não se deveu a quebras criptográficas, mas a chaves administrativas retidas, lógica de contratos atualizável ou simples erros de codificação. Quando uma cadeia permite que qualquer programa seja executado, cada novo recurso adiciona complexidade que pode ser explorada. O ônus da segurança passa dos projetistas do protocolo para milhares de desenvolvedores individuais que podem não ter uma auditoria rigorosa.
  4. Uma solução para essa superfície de ataque veio de dentro da própria linguagem. O Move, desenvolvido no Facebook para seu projeto abandonado Libra (mais tarde Diem), trata os tokens como recursos: um valor que o sistema de tipos não permite que um programa copie ou perca silenciosamente, fazendo com que todo tipo de erro relacionado a contagens duplicadas ou perda de fundos falhe na compilação, em vez de ocorrer em produção. Quando o Diem foi desativado em 2022, ex-engenheiros do projeto levaram o Move para novas redes. A Aptos, fundada por Avery Ching e Mo Shaikh, lançou sua mainnet em 17 de outubro de 2022 com o Block-STM, um mecanismo de execução paralela que processa as transações de forma otimista, verifica posteriormente quais delas afetaram os mesmos dados e reexecuta apenas essas. A engenharia por trás disso era de ponta; o lançamento, no entanto, não foi. As exchanges listaram o token APT antes mesmo da divulgação de sua distribuição; estatísticas mostraram que aproximadamente metade do total foi para investidores, colaboradores-chave e a fundação. A atividade inicial na rede ficou bem abaixo do desempenho prometido, e a equipe admitiu que “poderia ter sido melhor”. O Sui, desenvolvido por outro grupo de ex-engenheiros do Diem, seguiu com sua própria mainnet baseada no Move em 2023. A lição é dupla: linguagens mais seguras reduzem a superfície de ataque, mas a tecnologia não salva um lançamento que os holders não conseguem auditar.
  5. A resposta do Bitcoin tem sido uma adoção seletiva, em vez de uma cópia total. Em vez de computação geral, o Bitcoin integrou funcionalidades específicas e auditáveis. O Taproot, ativado em novembro de 2021, introduziu árvores de script que permitem condições complexas de gasto, mantendo ao mesmo tempo a privacidade e a eficiência. As carteiras adotaram o PSBT (Transações Bitcoin Parcialmente Assinadas), um formato padrão para transmitir transações entre signatários. Essas adições melhoram a funcionalidade sem introduzir uma máquina virtual de uso geral, na qual qualquer código com erro poderia comprometer toda a rede.
  6. Para cálculos complexos que não podem ser realizados por scripts simples, a abordagem BitVM oferece uma solução. Proposta por Robin Linus em 2023, a BitVM mantém esses cálculos fora da cadeia; apenas os passos controversos são verificados no Bitcoin, e somente se alguém fizer uma contestação. Isso preserva a camada básica simples do Bitcoin, ao mesmo tempo em que permite o uso de aplicações avançadas, garantindo que o protocolo principal permaneça simples, verificável e resistente aos tipos de falhas em cascata observados em ambientes de contratos inteligentes de uso geral.
  7. O trade-off é claro: o Ethereum prioriza a flexibilidade em detrimento da complexidade de segurança e dos riscos relacionados às atualizações; o Bitcoin prioriza a estabilidade e a clareza, restringindo as operações de computação. Para qualquer novo recurso adicionado a uma cadeia, o teste é se ele introduz estados ocultos ou poderes de administração que possam ser explorados. Se uma funcionalidade não puder ser verificada por meio de regras simples e transparentes, sem depender de terceiros confiáveis ou de processos complexos de consenso social, ela traz um risco inerente. Essa distinção define a divergência arquitetônica atual entre as duas principais cadeias.

Fatos-chave

  • A mainnet do Ethereum foi lançada em julho de 2015, com uma máquina virtual completa de Turing.
  • O hack do DAO ocorreu em junho de 2016, levando a um hard fork que dividiu a cadeia.
  • O Taproot foi ativado no Bitcoin em novembro de 2021 (bloco 709.632), introduzindo árvores de script.
  • A maioria dos roubos de contratos inteligentes decorre de chaves administrativas retidas ou erros de codificação, e não de falhas criptográficas.
  • O Move (do projeto Libra/Diem do Facebook) trata os tokens como recursos que não podem ser copiados ou descartados; a Aptos lançou sua mainnet baseada em Move em 17 de outubro de 2022, com execução paralela via Block-STM.
  • O BitVM permite computação fora da cadeia, com resolução de disputas dentro da cadeia, para manter uma camada básica enxuta.
  • O PSBT permite fluxos de trabalho de assinatura de transações multipartidárias com responsabilização explícita.

Exercício nove, seis, três, um

9ReunirListe 9 recursos ou protocolos de contrato inteligente. Indique se cada um depende de computação geral, lógica de script específica ou oráculos externos.
6AgruparAgrupe os 9 em 6 de acordo com a superfície de ataque que cada um cria.
3DestilarReduza os 6 para 3 razões principais pelas quais o cálculo de uso geral aumenta o risco sistêmico.
1CristalizarEscreva 1 frase sobre onde você traçaria a linha entre uma capacidade segura e uma perigosa, e por quê.

Verificação de fatos

Datas, números e afirmações verificados com as fontes publicadas listadas abaixo.

Abrir na academia interativa →

EN ES ZH JA KO RU DE FR MS