Por que construir um verdadeiro zkRollup no Bitcoin é um dos problemas de engenharia mais difíceis no espaço atualmente? No Ethereum, os zkRollups podem publicar uma prova e ter um contrato verificador onchain que verifica sua validade. E como os Rollups do Ethereum, a maior parte do tempo um zkRollup do Bitcoin funciona rapidamente offchain. O caminho feliz. Mas o Bitcoin não tem esse tipo de verificação de prova onchain, então você não pode simplesmente postar uma prova e fazer o Bitcoin verificá-la da mesma forma. É por isso que um zkRollup do Bitcoin também precisa de uma espécie de modo 'caso judicial' para os piores casos. O caminho infeliz. Se alguém trapacear ou ficar offline, o sistema muda para um processo de desafio otimista: o Bitcoin impõe um jogo de disputa pré-definido usando transações pré-assinadas e limites de tempo, até que a reivindicação inválida seja refutada ou o trapaceiro esgote o tempo. É 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á entregando: 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 projetando para o caminho infeliz com nossa nova série sobre a compreensão da arquitetura do BitVM2 👇