O Bug do Orchard no Zcash: Como uma Falha de 4 Anos Quase Quebrou uma Criptomoeda de Privacidade

No fim de maio de 2026, uma verdadeira bomba-relógio de quatro anos foi descoberta no coração de uma das criptomoedas de privacidade mais conhecidas do mundo. Um pesquisador de segurança independente, trabalhando com um poderoso modelo de inteligência artificial, encontrou uma falha crítica no protocolo Zcash que poderia ter sido explorada para cunhar, silenciosamente, uma quantidade ilimitada de moedas. O bug, escondido na complexa criptografia que sustenta as transações privadas do Zcash, havia sobrevivido a múltiplas auditorias de segurança feitas por humanos. A correção de emergência e a divulgação pública do problema geraram ondas de choque no mercado, eliminando mais de 40% do valor do ativo e reabrindo uma pergunta fundamental: será que o dinheiro digital totalmente privado é realmente viável?

A Falha Silenciosa: Como um Bug em Prova de Conhecimento Zero Poderia ter Impresso ZEC Infinitos

A vulnerabilidade era um "bug de solidez" descoberto no pool privado Orchard, a camada de privacidade mais avançada do Zcash. O Orchard, que entrou no ar em maio de 2022, usa um sistema de ponta chamado Halo 2, baseado em provas de conhecimento zero (ZKPs, na sigla em inglês), para permitir que usuários transacionem sem revelar remetente, destinatário ou valor .

O bug foi descoberto em 29 de maio de 2026 pelo pesquisador de segurança independente Taylor Hornby durante uma auditoria para o grupo do ecossistema Zcash, a Shielded Labs . Hornby contou com a assistência do modelo de IA Claude Opus 4.8, da Anthropic, que ajudou a identificar a falha em um único dia — um contraste gritante com as múltiplas auditorias profissionais que, nos últimos quatro anos, não a encontraram .

Como funcionava: O problema residia no "Action circuit" do Orchard, a lógica de prova de conhecimento zero que valida as transações privadas. Um erro de lógica em suas restrições permitia que um invasor forjasse uma prova Halo 2 aparentemente válida que a rede aceitaria como genuína. Essa prova não precisava ser lastreada por fundos reais ou por uma queima válida de valor existente. Era, na prática, um botão silencioso de criação infinita de moedas, que poderia ter permitido a um invasor criar uma quantidade ilimitada e indetectável de ZECs falsos .

O fundador do Zcash, Zooko Wilcox, confirmou a gravidade, afirmando que a vulnerabilidade "poderia ter sido explorada para criar, de forma indetectável, uma quantidade ilimitada de ZEC falsos" . Por ser uma falha na própria lógica da prova, e não um bug de software tradicional, as moedas falsas seriam indistinguíveis das reais na blockchain.

O Perigo Invisível: Por Que um Bug 'Confia em Mim' é um Pesadelo Para a Tecnologia de Privacidade

O aspecto mais assustador dessa vulnerabilidade não era apenas o potencial de inflação infinita, mas a total impotência da rede em detectá-la. A principal proposta de valor do protocolo Orchard — privacidade transacional completa — tornou-se o seu maior risco.

A Fundação Zcash confirmou que "não há evidências de que o bug tenha sido explorado", e o limite de 21 milhões de ZEC permaneceu intacto . No entanto, devido às propriedades de privacidade do Orchard, o fundador Zooko Wilcox teve que admitir que é criptograficamente impossível provar se o bug foi explorado antes de ser corrigido . Um invasor poderia estar cunhando moedas silenciosamente por anos, e o registro contábil da blockchain não conteria nenhum vestígio do crime.

Isso cria o que especialistas chamam de um problema de "confia em mim" para os ativos de privacidade. Ao contrário do Bitcoin, onde qualquer pessoa pode verificar a oferta total e auditar cada transação, usuários de um pool privado precisam confiar que a matemática subjacente é perfeita. A falha no Orchard provou que essa confiança pode ser quebrada, e o pior: sem deixar rastros.

Corrida Contra o Tempo: A Correção de Emergência do Zcash

A resposta ao incidente foi rápida e coordenada, executada em duas etapas principais:

1. Soft fork de emergência (1 a 2 de junho): Os desenvolvedores do Zcash lançaram a versão

   zcashd v6.12.5

   , que, juntamente com as atualizações do Zebra, desativou temporariamente todas as transações privadas do Orchard. O objetivo foi conter qualquer possível exploração enquanto analisavam a causa raiz .
2. Hard fork NU 6.2 (2 a 3 de junho): Uma correção permanente foi implementada por meio de uma atualização de rede de emergência (NU 6.2), que corrigiu a lógica falha do circuito e reativou as transações do Orchard com as restrições de prova de conhecimento zero já corrigidas .

A correção foi bem-sucedida e, embora o pool Orchard tenha ficado temporariamente pausado, o restante da rede Zcash continuou operando.

Banho de Água Fria no Mercado: ZEC Despenca Mais de 40%

Assim que a notícia se tornou pública, em 4 e 5 de junho, o pânico tomou conta dos investidores.

• Queda brusca: O ZEC despencou mais de 40% em relação ao preço pré-divulgação, impulsionado pelo medo de que a oferta circulante real pudesse ser maior do que se acreditava .
• Efeito dominó: A queda foi amplificada por liquidações de posições alavancadas e um movimento geral de baixa no mercado de criptomoedas .
• Baleia pula fora: O cofundador da BitMEX, Arthur Hayes, que era um conhecido defensor do Zcash, confirmou publicamente que liquidou toda a sua posição em ZEC após a divulgação do bug .

O baque foi um dos maiores em um curto período para uma criptomoeda de primeira linha, refletindo a crise de confiança que se instalou.

O Debate que Não Quer Calar: Auditoria Humana vs. IA, e os Limites da Privacidade

O caso do bug no Orchard fez muito mais do que derrubar o preço do ZEC. Ele reacendeu debates profundos e incômodos no mundo das criptomoedas.

A superioridade da IA na auditoria: O fato de uma IA ter encontrado em horas o que equipes de especialistas não viram em quatro anos gerou um intenso questionamento. Será que a verificação formal assistida por IA deveria se tornar um padrão obrigatório, especialmente para circuitos complexos de conhecimento zero que lidam com valores financeiros? A eficácia das auditorias de segurança tradicionais, feitas por humanos, foi colocada em xeque .

O paradoxo da privacidade: O incidente destacou o risco extraordinário da implementação de circuitos criptográficos complexos como o Halo 2. Surge a pergunta: a complexidade dos protocolos modernos de privacidade já não teria superado a capacidade da indústria de protegê-los com revisões convencionais? Se a oferta de uma moeda não pode ser verificada por observadores externos, o problema do "confia em mim" substitui o modelo de transparência que faz a força do Bitcoin .

Governança de emergência: A resposta rápida, com um soft fork seguido de hard fork, mostrou o valor de se ter uma equipe de desenvolvimento de confiança com poder para desligar um recurso central. Mas também levantou questões espinhosas sobre o quão verdadeiramente descentralizada uma rede é se um pequeno grupo pode, do dia para a noite, paralisar sua funcionalidade principal de privacidade .

O susto do Zcash serviu como um doloroso alerta para toda a indústria. A corrida por transações cada vez mais privadas e complexas traz consigo o risco de falhas sistêmicas que podem permanecer ocultas por anos. A solução, talvez, esteja em uma parceria entre a engenhosidade humana e o olhar incansável da inteligência artificial.