Engenharia do Caminho Infeliz: Compreendendo a Arquitetura do BitVM2 Parte Um: A Segurança Vive no Caminho de Disputa Um L2 do Bitcoin vive ou morre no seu caminho infeliz. No Bitcoin, você não obtém "executar o verificador na cadeia e seguir em frente". Você obtém um ambiente de execução restrito, gráficos de transações pré-assinadas e bloqueios de tempo que definem exatamente quando cada parte pode agir. O BitVM2 é um padrão de aplicação otimista para o Bitcoin: execute fora da cadeia, depois torne a correção aplicável através de um protocolo de disputa na cadeia construído a partir de transações pré-assinadas. Isso leva a uma regra de engenharia simples: Se as disputas são caras ou podem ser atrasadas por taxas, o modelo de segurança simplesmente não funciona. Sistemas baseados em BitVM funcionam permitindo que operadores executem fora da cadeia, depois dando a qualquer um a capacidade de desafiar na cadeia e forçar o protocolo a um caminho de disputa sob uma suposição de honestidade 1-de-n (pelo menos um desafiador honesto para validade; pelo menos um operador honesto para vivacidade). 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. Portanto, quando falamos sobre construir no BitVM2, a estrela do norte não são termos de marketing como "sem confiança". A estrela do norte é: • disputas que são baratas o suficiente para executar, • contexto da cadeia que é objetivo o suficiente para prevenir saídas de "provar o estado errado" • fluxos de transações que continuam progredindo sob condições reais de taxas. Esta série detalha como abordamos essas restrições no design do GOAT BitVM2, uma peça de cada vez. Próximo na Parte Dois: os bloqueadores práticos para implantar um zkRollup pronto para produção no Bitcoin.