Editor | Grok e outros
O Zcash, um projeto conhecido no espaço das criptomoedas como uma moeda de privacidade, é famoso por suas poderosas transações blindadas (shielded transactions). Essas transações utilizam a tecnologia de Provas de Conhecimento Zero (Zero-Knowledge Proof, ZKP), permitindo que os usuários realizem transferências sem revelar detalhes como valores específicos ou endereços, protegendo assim a privacidade.
Em abril e maio de 2026, o preço do ZEC teve uma alta significativa, chegando a disparar até 150%, com a capitalização de mercado ultrapassando a casa dos bilhões de dólares. Com o endurecimento da regulamentação global e o aumento da transparência on-chain, os usuários começaram a se preocupar mais com ativos "passíveis de apreensão/monitoramento". O pool de privacidade do Zcash (especialmente o pool Orchard) oferece proteção de privacidade opcional, atraindo investidores que buscam ativos "resistentes à censura e apreensão". Instituições como a Multicoin Capital posicionaram claramente o ZEC como um retorno aos ideais cypherpunk, enfatizando que, na era financeira on-chain, a privacidade será uma demanda central. Essa narrativa ressoou com o ambiente de mercado mais amplo (como discussões sobre possíveis impostos sobre riqueza), impulsionando o fluxo de capital.
A Cypherpunk Technologies (apoiada pelos Winklevoss) disparou, a empresa já adquiriu uma quantidade significativa de ZEC, possuindo cerca de 1,7%-2% do fornecimento total, tornando-se um detentor institucional importante. Os gêmeos Winklevoss (fundadores da Gemini) apoiam a Zcash há muito tempo, tendo doado várias vezes e aumentado suas participações através de suas entidades. A Foundry Digital lançou um pool de mineração institucional de ZEC; o Maelstrom Fund (associado a Arthur Hayes) também fez movimentos de aumento. A Grayscale submeteu uma proposta para converter o Zcash Trust no primeiro ETF de moeda privativa à vista dos EUA (potencial ticker ZCSH). Se aprovado, isso proporcionará uma entrada de conformidade para fundos institucionais, com expectativas de atrair bilhões.
No entanto, recentemente, o mais novo pool de privacidade da Zcash, o Orchard, apresentou uma vulnerabilidade significativa, resultando em forte volatilidade no mercado. A equipe rapidamente tomou medidas de emergência, desabilitando temporariamente as transações relacionadas através de um soft fork, e depois corrigiu com uma hard fork. Durante todo o processo, não foram encontrados sinais de exploração real, mas as características do design de privacidade também desafiaram a verificação da integridade do fornecimento. Este artigo, com base em anúncios oficiais, fóruns de desenvolvedores e relatórios de mídia confiáveis, organiza uma linha do tempo detalhada e explica termos técnicos importantes.
O que é o pool Orchard? Por que é tão importante?
Orchard é o mais recente pool blindado lançado pela Zcash em maio de 2022 através da atualização da rede NU5. Diferente dos pools Sprout e Sapling anteriores, o Orchard é baseado no sistema de provas Halo 2, uma tecnologia avançada de prova de conhecimento zero que não requer configuração confiável (trusted setup), podendo aumentar significativamente a eficiência e escalabilidade da privacidade.
Na época da divulgação da vulnerabilidade, o pool Orchard detinha mais de 4,5 milhões de ZEC, representando uma proporção significativa do fornecimento total, avaliada em bilhões de dólares. É o núcleo da arquitetura de privacidade da Zcash, mas os complexos circuitos de conhecimento zero também trouxeram desafios de auditoria a longo prazo.
Essência da vulnerabilidade: Detalhes do Bug de Solidez
Esta vulnerabilidade é um bug de soundness, localizado no circuito Orchard Action (circuito de prova de conhecimento zero que lida com ações de transações blindadas). Especificamente, é uma sub-restrição no circuito, permitindo a geração de provas inválidas que podem ser aceitas pela rede.
Explicação simples: em sistemas de prova de conhecimento zero, a 'solidez' garante que apenas transações legítimas possam passar pela verificação. Se a solidez falhar, um atacante teoricamente pode falsificar provas, realizando um double-spending no pool Orchard ou minerando ZEC falso, sem ser detectado. Essa vulnerabilidade está à espreita desde o lançamento do Orchard em 2022.
Vale ressaltar que, devido ao mecanismo de turnstile da Zcash (um sistema de verificação contábil entre pools), mesmo que ocorram anomalias no pool Orchard, o fornecimento total não será inflacionado indefinidamente — o turnstile limita o valor que pode sair do pool a não mais do que o valor que entrou. Mas as características de privacidade tornam difícil para o exterior provar 100% criptograficamente que o pool nunca foi explorado.
Processo de descoberta da vulnerabilidade (29 de maio)
Em 29 de maio de 2026: O pesquisador de segurança independente Taylor Hornby (ex-engenheiro de segurança da Electric Coin Company, contratado pela Shielded Labs para realizar a auditoria do protocolo) descobriu a vulnerabilidade durante uma auditoria de rotina. Ele utilizou o modelo de IA Claude Opus 4.8, recém-lançado pela Anthropic, para ajudar na análise do circuito e conseguiu construir um exploit completo (programa de exploração) em um ambiente de teste local, gerando ZEC falsificado ilimitado.
Hornby divulgou imediatamente em particular ao Zcash Open Development Lab (ZODL) e à Zcash Foundation. A equipe imediatamente iniciou um procedimento de resposta de emergência, coordenando mineradores, exchanges e operadores de nós.
Primeira fase da resposta de emergência: soft fork desabilita Orchard (1-2 de junho)
Coordenando em particular desde a noite de 31 de maio. A primeira tentativa de soft fork encontrou problemas de coordenação de implementação, e a equipe iterou rapidamente.
Em 2 de junho de 2026 (aproximadamente às 02:00 UTC, altura do bloco da mainnet 3.363.426): atualizações de emergência como Zebra 4.5.3 foram implementadas, ativando um soft fork de emergência. A rede exigiu que nós e mineradores rejeitassem todas as transações e blocos contendo ações do Orchard, desabilitando temporariamente as transações do Orchard (transações Sapling e transparentes não foram afetadas). Essa ação visou prevenir potenciais explorações durante o período de correção.
O período de transição da rede apresentou breves instabilidades, com várias cadeias concorrentes e blocos órfãos surgindo. Funcionalidade ZEC em carteiras como Cake Wallet ficou temporariamente limitada, mas a cadeia geral não parou de operar.
Segunda fase da resposta de emergência: correção da hard fork NU6.2 (3 de junho)
Em 3 de junho de 2026 (aproximadamente às 00:05 EDT, altura do bloco da mainnet 3.364.600): A hard fork NU6.2 foi ativada, suportada pela Zebra 5.0.0. Essa atualização implementou o circuito Orchard Action corrigido, introduzindo uma nova chave de verificação (per-circuit verifying key) e reabilitando as transações Orchard.
Desde a divulgação até a recuperação total, levou apenas cerca de 5 dias, sendo esta a segunda atualização de protocolo impulsionada por segurança na história da Zcash. O ZODL e a fundação confirmaram: sem perdas de fundos, sem criação de valor não autorizada, o mecanismo de turnstile não detectou anomalias, garantindo a privacidade e segurança dos fundos dos usuários.
Reação do mercado e impacto na comunidade
Após a divulgação da vulnerabilidade, o preço do ZEC experimentou uma volatilidade intensa, caindo quase 40%-50% de seu pico, resultando em uma evaporação de dezenas de bilhões de dólares em valor de mercado. Algumas figuras conhecidas (como Arthur Hayes) liquidaram suas posições, e a venda a descoberto nos derivativos disparou. Mas com a conclusão da correção, o preço começou a se estabilizar.
Os focos de discussão da comunidade incluem: o impacto da pausa no pool de privacidade sobre a narrativa descentralizada, o papel da IA na auditoria de segurança, os desafios de manutenção da implementação de nós duplos (zcashd + Zebra), e a iminente atualização NU7 (suporte a ativos blindados, blocos mais rápidos etc.). A Shielded Labs também propôs uma atualização adicional para fortalecer a verificabilidade do fornecimento com novos pools e turnstiles.
Este incidente destaca o dilema de equilíbrio entre privacidade extrema e auditabilidade das moedas de privacidade. A resposta rápida e profissional da equipe Zcash merece reconhecimento — coordenando eficientemente múltiplas partes e completando uma atualização complexa em um curto espaço de tempo, o que é um caso de alta eficiência na história do crypto.
Mas a característica de espada de dois gumes do design de privacidade também lembra a indústria: sistemas zk complexos precisam continuamente melhorar a verificação formal, auditorias de múltiplas partes e ferramentas assistidas por IA. Como pioneiro na corrida pela privacidade, a migração subsequente de nós (transição para Zebra), otimização da governança e oportunidades institucionais (como um potencial ETF) decidirão sua reconstrução de confiança a longo prazo.
Caso emblemático de auditoria de segurança assistida por IA
No caso da vulnerabilidade de soundness do pool Orchard da Zcash, um detalhe que chamou a atenção é que o pesquisador de segurança Taylor Hornby, utilizando o modelo AI Claude Opus 4.8 recém-lançado pela Anthropic, conseguiu descobrir e validar essa falha significativa que estava à espreita há quase 4 anos. Este processo não só destaca o enorme potencial da IA na auditoria de criptografia complexa, mas também oferece importantes insights para todo o campo da segurança blockchain.
A Anthropic lançou oficialmente o Claude Opus 4.8 em 28 de maio de 2026, que é o modelo mais recente de sua série Opus. Esse modelo atinge níveis de ponta em capacidade de codificação, tarefas de agente (agentic tasks), raciocínio de longo contexto e trabalho de conhecimento especializado, suportando janelas de contexto de até 1M tokens, e introduz novas características como 'fluxos de trabalho dinâmicos' (Dynamic Workflows) e 'controles de esforço' (effort controls).
Hornby, como engenheiro de segurança independente contratado pela Shielded Labs, começou uma revisão contínua do protocolo Zcash em abril de 2026. No dia seguinte ao lançamento do Claude Opus 4.8 (29 de maio), ele o combinou com uma estrutura de auditoria de IA personalizada para uma revisão direcionada do circuito Orchard Action.
Com a poderosa capacidade de compreensão de código e raciocínio complexo do modelo, Hornby não apenas localizou o problema de sub-restrição (under-constrained) no circuito, mas também conseguiu escrever um exploit completo (programa de exploração). Em um ambiente de teste local regtest, esse exploit pode gerar uma quantidade ilimitada de ZEC falsificado, indistinguível de ZEC legítimo dentro do pool de privacidade.
Esse processo combinou métodos tradicionais de pesquisa de segurança com as mais recentes ferramentas de IA: o Opus 4.8 ajudou a analisar a lógica de verificação da matemática das curvas elípticas, gerar casos de teste e auxiliar na construção do código de geração de provas, acelerando significativamente o ciclo de descoberta teórica até a validação prática. Hornby imediatamente divulgou de forma responsável para o Zcash Open Development Lab (ZODL), evitando qualquer risco à mainnet.
Este evento é visto como um caso emblemático de auditoria de segurança assistida por IA. Nos últimos anos, apesar de a Zcash ter passado por várias auditorias manuais e validações formais, os circuitos complexos de conhecimento zero (especialmente a implementação Orchard baseada em Halo 2) ainda apresentavam áreas cegas que eram difíceis de cobrir totalmente por humanos. A intervenção do Claude Opus 4.8 demonstra a vantagem única dos modelos grandes e de ponta em lidar com grandes volumes de código e descobrir sutis faltas de restrição.
A aplicação do Claude Opus 4.8 na descoberta de vulnerabilidades da Zcash marca a transição da IA de uma ferramenta auxiliar para uma força central de segurança. Isso não apenas acelerou a resposta (da divulgação à correção em apenas alguns dias), mas também estabeleceu um novo paradigma de 'white hat AI' para a indústria crypto. No futuro, com o surgimento de mais modelos de ponta como a série Anthropic Mythos, espera-se que a eficiência de auditoria de protocolos blockchain aumente significativamente.