Engenharia do Caminho Infeliz: Entendendo a Arquitetura BitVM2 Parte Um: A Segurança Vive no Caminho da Disputa Um L2 do Bitcoin vive ou morre em seu caminho infeliz. No Bitcoin, você não tem "execute o verificador on-chain e siga em frente". Você obtém um ambiente de execução restrito, gráficos de transações pré-assinados e timelocks que definem exatamente quando cada parte pode agir. O BitVM2 é um padrão otimista de aplicação para o Bitcoin: executar fora da cadeia e depois tornar a correção aplicável por meio de um protocolo de disputa on-chain construído a partir de transações pré-assinadas. Isso leva a uma regra simples de engenharia: se disputas são caras ou podem ser adiadas por honorários, o modelo de segurança simplesmente não funciona. Sistemas baseados em BitVM funcionam permitindo que operadores executem fora da cadeia e, em seguida, dando a qualquer pessoa a capacidade de contestar on-chain e forçar o protocolo a seguir um caminho de disputa sob a suposição de honestidade de 1 em n (pelo menos um desafiante honesto para validade; pelo menos um operador honesto para vividade). Esse caminho de disputa é o mecanismo. Transações pré-assinadas e assinaturas únicas (janelas de desafio, prazos de resposta, finalização) são o "tempo de execução" da ponte e suas saídas. Então, quando falamos em construir sobre o BitVM2, a estrela polar não são termos de marketing como "trustless". A estrela polar é: • disputas que sejam baratas o suficiente para serem executadas, • contexto em cadeia que seja objetivo o suficiente para evitar saídas "provar o estado errado" • fluxos de transações que continuam progredindo sob condições de taxa real. Esta série detalha como abordamos essas limitações no design do GOAT BitVM2, uma peça de cada vez. A seguir na Parte Dois: os obstáculos práticos para implantar um zkRollup pronto para produção no Bitcoin.