Na corrida para herdar e construir sobre a Segurança Nativa do Bitcoin, temos visto um progresso acelerado em múltiplas frentes. Primeiro, @robin_linus apresentou o BitVM. Depois, ele publicou uma atualização empolgante, com o BitVM2. Em seguida, revelamos o GOAT BitVM2, uma inovação que turboalimentou o BTCFi e possibilitou um rendimento sustentável de BTC, via zkRollup (em vez de MPC). O GOAT BitVM2 combinou tanto padrões tecnológicos quanto econômicos para criar um novo padrão de Bitcoin zkRollup, resolvendo o problema de dupla despesa do operador e introduzindo desafios aleatórios de múltiplas rodadas para melhorar a eficiência dos desafios. Na Conferência da Economia do Bitcoin, organizada pela @HouseofZK (parte do Bitcoin Vegas 2025), Linus revelou sua nova ideia: BitVM3, que utiliza Circuitos Embaralhados para otimizar provas de fraude. Ele então publicou o primeiro artigo sobre o BitVM3 no início deste mês. Hoje, temos o orgulho de apresentar uma inovação em segurança e escalabilidade do Bitcoin, com uma nova iteração do BitVM3. Aqui estão algumas maneiras que nossa atualização do BitVM3 muda o cenário do Bitcoin: 1) Sem compromissos de segurança, o BitVM3 é muito mais prático em comparação ao BitVM2; o BitVM3 torna o zkRollup do Bitcoin viável, enquanto o BitVM3 torna o zkRollup do Bitcoin prático. O BitVM3 acelera significativamente a adoção em massa dos zkRollups do Bitcoin. Falando de forma conservadora, quando Robin Linus publicou pela primeira vez seu padrão BitVM, ele estimou de 5 a 10 anos para levar o BitVM2 a um caso de uso no mundo real. O BitVM3 reduz esse prazo para 6-12 meses. 2) Diferença principal: o tamanho do script do BitVM2 é de até aproximadamente 1GB. Isso significa que ele precisa da Rede Bitcoin para suportar transações não padrão (NST) para que um desafiador possa postar uma prova de fraude. O tamanho da transação de prova de fraude do BitVM3, por outro lado, é inferior a 200KB, o que significa que não precisamos mais depender de NSTs. Esse tamanho de script menor também incentiva cada vez mais desafiadores a submeter desafios otimistas. Isso está alinhado com uma das filosofias centrais do GOAT: criar o modelo econômico certo para desafiadores e outros participantes da rede, e você terá mais pessoas trabalhando juntas para melhorar a vivacidade e a segurança do zkRollup. tl;dr - Para nossa abordagem, em comparação com o primeiro artigo do BitVM3 (de Robin Linus), conseguimos: -- Redução de 1.000x no tamanho dos dados off-chain (de centenas de gigabytes para apenas alguns megabytes); -- Circuitos embaralhados reutilizáveis sem limites de uso pré-definidos; -- Provas ZK para consistência de compromisso de rótulo de entradas e saídas apenas, evitando a geração de provas de circuito completo dispendiosas. Então, o que tudo isso significa para construtores e usuários de BTCFi, no GOAT? Nosso zkRollup de Bitcoin baseado em BitVM3 estende o Bitcoin da camada de consenso para a camada de aplicação. Isso permite que qualquer aplicação BTCFi pronta para uso seja implantada rapidamente, com segurança e facilidade na Rede GOAT. Dado que os stakers de BTC ganham rendimento real e sustentável de BTC no GOAT de várias maneiras (desde autocustódia até opções mais avançadas de staking líquido e empréstimos/financiamentos, com espaço para muitas mais), isso é uma ótima notícia para todos que desejam avançar na missão e alcance centrais do Bitcoin, ou apenas acumular Sats!