O Fundador da BitForex, a Falha de 4 Anos do Zcash e a Aposta Alavancada de US$ 13,5 Milhões

No início de junho de 2026, a comunidade cripto assistiu a dois eventos se desenrolando ao mesmo tempo: um frenético upgrade de emergência na rede Zcash e um lucro contábil de US$ 13,5 milhões em uma posição vendida (short) muito bem cronometrada. A venda pertencia a Garrett Jin, fundador da exchange colapsada BitForex. O gatilho foi uma vulnerabilidade crítica no pool privado Orchard do Zcash, descoberta por um pesquisador de segurança usando o modelo de IA Claude, da Anthropic. O desdobramento revela tanto sobre negociações de alto risco em DeFi quanto sobre segurança de protocolos.

A IA que Encontrou um Bug de Quatro Anos

Em 29 de maio de 2026, o pesquisador de segurança independente Taylor Hornby, trabalhando com o recém-lançado modelo Opus 4.8 da Anthropic, encontrou uma vulnerabilidade crítica de solidez no circuito de transações privadas Orchard do Zcash . A falha existia desde o lançamento do Orchard, em maio de 2022 — quase quatro anos .

Uma vulnerabilidade de solidez em um circuito de prova de conhecimento zero significa, em teoria, que um invasor poderia forjar provas com aparência válida. No caso do Zcash, isso se traduzia na capacidade de criar ZEC falsificado e indetectável dentro do pool privado, efetivamente realizando um gasto duplo .

A descoberta desencadeou uma coordenação imediata e confidencial entre os engenheiros do Zcash Open Development Lab, a Zcash Foundation, mineradores e corretoras . A equipe precisava agir rápido: a vulnerabilidade existia em um pool de privacidade ativo que gerenciava fundos reais de usuários, mas qualquer divulgação pública antes de uma correção poderia convidar à exploração.

O Upgrade de Emergência em Duas Fases

A Zcash Foundation executou uma resposta em duas fases ao longo de cinco dias.

Fase 1: Soft Fork de Emergência (2 de junho)

Na altura do bloco 3.363.426 — aproximadamente 02:00 UTC de 2 de junho — a rede ativou um soft fork de emergência por meio do cliente Zebra 4.5.3 . O soft fork desativou temporariamente todas as transações que continham o Orchard, congelando efetivamente o pool privado. Essa medida de contenção interrompeu qualquer exploração teórica enquanto os desenvolvedores finalizavam uma correção permanente no circuito.

Fase 2: Hard Fork NU6.2 (3 de junho)

Na altura do bloco 3.364.600 — aproximadamente 00:05 EDT de 3 de junho — o hard fork NU6.2 foi ativado . A atualização introduziu uma chave de verificação de prova de conhecimento zero corrigida por meio do lançamento do Zebra 5.0.0, fechando permanentemente a vulnerabilidade e reativando o pool Orchard .

A Zcash Foundation confirmou que nenhum fundo de usuário foi perdido, nenhuma privacidade foi violada e não havia evidências de que o bug tivesse sido explorado . No entanto, como várias fontes observam, o design de privacidade do Zcash torna criptograficamente impossível confirmar de forma conclusiva a ausência de ZEC falso oculto dentro do pool privado . Um mecanismo interno de "catraca" foi citado como uma salvaguarda adicional .

A Queda de 30% e suas Consequências

Quando a notícia da vulnerabilidade se tornou pública, o ZEC despencou cerca de 30% . A queda desencadeou uma pressão vendedora imediata nas corretoras, com traders reagindo à gravidade de um potencial bug de inflação ilimitada dentro de uma criptomoeda de privacidade.

O movimento brusco recompensou uma posição alavancada em particular.

A Venda a Descoberto de US$ 13,5 Milhões de Garrett Jin

Garrett Jin, fundador da agora extinta exchange BitForex, detém uma posição vendida alavancada em 3x em ZEC, executada na Hyperliquid, uma corretora de derivativos totalmente on-chain . A empresa de análise on-chain Onchain Lens relatou que a posição havia gerado aproximadamente US$ 13,5 milhões em lucro não realizado após a queda do ZEC .

Detalhes importantes da negociação, com base em dados on-chain:

• Preço de entrada: ~US$ 626 por ZEC
• Tamanho nocional: Jin fez uma ordem limite de US$ 36 milhões para vender ZEC no final de maio, juntamente com uma ordem de compra separada para o token HYPE
• Alavancagem: 3x na venda de ZEC
• Plataforma: Corretora descentralizada Hyperliquid

Notavelmente, Jin também carrega uma posição comprada (long) alavancada em 5x em Bitcoin, com uma perda não realizada superior a US$ 17 milhões . As apostas direcionais contrastantes — comprado em BTC, vendido em ZEC — sugerem uma tese específica de mercado, em vez de uma estratégia ampla de proteção (hedge) .

O Histórico da BitForex

A atividade de trading de Jin não existe no vácuo. A BitForex interrompeu abruptamente os saques no início de 2024, bloqueando os usuários fora de seus ativos. Investigadores on-chain descreveram o evento como um golpe de saída de US$ 56,5 milhões . A exchange é agora amplamente caracterizada como "extinta" e "acusada de fraude", com vários órgãos reguladores — incluindo autoridades em Hong Kong e no Japão — investigando alegações de fraude e má gestão de fundos de usuários .

A corretora teve um histórico problemático muito antes do colapso de 2024. A Agência de Serviços Financeiros do Japão (FSA) sinalizou a BitForex em 2023 por operar sem o registro adequado . A exchange também foi acusada anteriormente de fabricar volume de negociação . Jin atuou como CEO da BitForex de 2017 a 2020 e anteriormente ocupou o cargo de diretor de operações na Huobi (HTX) .

Um Padrão de Vendas Suspeitas Cronometradas

A negociação de Zcash de junho de 2026 não é a primeira aparição de Jin em investigações on-chain. Em outubro de 2025, o pesquisador on-chain anônimo Eye publicou uma análise ligando Jin a uma carteira de baleia na Hyperliquid que controlava mais de 100.000 BTC . Essa carteira havia aberto uma venda alavancada de US$ 1,1 bilhão em Bitcoin e Ethereum pouco antes de o presidente Trump anunciar tarifas de 100% sobre importações chinesas, um evento "cisne negro" que desencadeou US$ 19 bilhões em liquidações e, segundo relatos, rendeu à baleia mais de US$ 80 milhões em lucro .

O momento da negociação de 2025 — a venda foi feita minutos antes do anúncio das tarifas — gerou imediatamente alegações de insider trading. Eye rastreou os endereços da baleia até Jin por meio dos domínios ENS ereignis.eth e garrettjin.eth, conectando fundos retirados de corretoras como HTX e Binance anos antes ao seu período na Huobi e ao colapso da BitForex .

Jin negou controlar a carteira, alegando que ela pertencia a um cliente. Ele afirmou não ter "nenhuma conexão com a família Trump" e criticou as alegações como infundadas . Apesar das negativas, a atribuição on-chain e o padrão de apostas direcionais com timing preciso intensificaram o escrutínio de investigadores de criptomoedas e reguladores.

O que Isso Significa para DeFi e Segurança de Protocolos

O episódio combinado destaca três temas interconectados nos mercados cripto modernos.

A auditoria de segurança assistida por IA funciona. O bug do Orchard passou despercebido por quase quatro anos em auditorias tradicionais. O Claude Opus 4.8 o encontrou em um único dia . À medida que os sistemas de conhecimento zero se tornam mais complexos, a verificação formal assistida por IA está se tornando uma camada crítica de defesa.

Criptomoedas de privacidade enfrentam um problema único de auditabilidade. A maior força do Zcash — transações privadas — também impossibilitou que a Fundação provasse definitivamente a inexistência de ZEC falso oculto. O incidente ressalta uma tensão fundamental entre privacidade e solidez comprovável.

A alavancagem on-chain amplifica o risco do protocolo em risco de mercado. Uma venda de US$ 36 milhões em uma criptomoeda de privacidade de médio porte pode parecer uma operação rotineira. Quando essa venda é mantida por um trader com um histórico de alegações de timing suspeito, operando por meio de um ambiente totalmente on-chain sem barreiras de KYC e executando contra o pior cenário de um protocolo, a fronteira entre trading informado, pesquisa de segurança e potencial manipulação de mercado se torna significativamente nebulosa.