Por que construir um verdadeiro zkRollup com Bitcoin é um dos maiores problemas de engenharia do setor atualmente? No Ethereum, os zkRollups podem publicar uma prova e ter um contrato de verificador onchain para verificar sua validade. E, assim como os Ethereum Rollups, na maioria das vezes um zkRollup de Bitcoin roda rápido fora da cadeia. O caminho feliz. Mas o Bitcoin não tem esse tipo de verificação de provas onchain, então você não pode simplesmente postar uma prova e fazer o Bitcoin verificar da mesma forma. Por isso, um Bitcoin zkRollup também precisa de um tipo de modo 'caso judicial' para os piores casos. O caminho infeliz. Se alguém trapacear ou sair offline, o sistema entra em um processo otimista de contestação: o Bitcoin impõe um jogo de disputa pré-definido usando transações e prazos pré-assinados, até que a alegação inválida seja refutada ou o trapaceiro expire. É por isso que construir isso é difícil: você não está apenas construindo o Rollup – você está projetando o mecanismo completo de aplicação do pior caso que o Bitcoin pode realmente executar. E é isso que a mainnet GOAT BitVM2 está oferecendo: um caminho de disputa aplicável pelo Bitcoin que torna a escalabilidade segura prática, enquanto mantém as saídas aplicáveis no próprio Bitcoin. Saiba tudo sobre como estamos desenvolvendo o caminho infeliz com nossa nova série sobre como entender a arquitetura 👇 BitVM2