Como uma IA e um especialista humano encontraram o bug que varreu metade do valor da Zcash
Em maio de 2026, o pesquisador Taylor Hornby usou o Claude Opus 4.8, da Anthropic, para descobrir uma falha crítica de 4 anos na Zcash que permitia a criação ilimitada de moedas falsas indetectáveis. A vulnerabilidade era um erro de 'solidez' no circuito de prova de conhecimento zero do pool blindado Orchard, a prin...
What role did Anthropic's AI models play in the discovery of a critical Zcash protocol vulnerability, what was the technical nature of the bThe Zcash Orchard bug is the first publicly confirmed case of a frontier AI model finding a critical cryptographic vulnerability in a production zero-knowledge protocol.
Prompt de IA
Create a landscape editorial hero image for this Studio Global article: What role did Anthropic's AI models play in the discovery of a critical Zcash protocol vulnerability, what was the technical nature of the b. Article summary: Here is a comprehensive breakdown of the incident.. Topic tags: general, general web, user generated, news. Reference image context from search candidates: Reference image 1: visual subject "Multiple outlets, including The Block and Gizmodo, report that independent security researcher Taylor Hornby discovered a critical soundness bug in Zcash's Orchard shielded-pool ci" source context "Claude AI Exposes Critical Zcash Vulnerability | Let's Data Science" Reference image 2: visual subject "# A Controversial Altcoin Had Its Code Analyzed Using Anthropic’s State-of-the-Art AI Model – Founder Issues Statement. The founder of an altcoin that recently became the subje
openai.com
Em 28 de maio de 2026, a Anthropic lançou ao público seu modelo Claude Opus 4.8. Em menos de 24 horas, o pesquisador de segurança independente Taylor Hornby — contratado pela Shielded Labs para auditar o protocolo Zcash — usou o modelo para encontrar uma vulnerabilidade crítica que estava escondida havia quatro anos . A descoberta desencadeou um patch de emergência, uma divulgação pública e um colapso no mercado que varreu de 40% a 50% do valor do ZEC . Este é o primeiro caso confirmado publicamente de um modelo de linguagem de fronteira encontrando uma vulnerabilidade criptográfica crítica em um protocolo de conhecimento zero em produção .
A Descoberta: IA Como Acelerador, Não Substituta Humano
Taylor Hornby não simplesmente pediu ao Claude Opus 4.8 para "encontrar bugs". Ele construiu uma ferramenta sob medida, chamada "Zcash Full-Stack Auditor", que usou a capacidade de raciocínio do modelo para rastrear sistematicamente a lógica do circuito do pool blindado Orchard da Zcash . A ferramenta permitiu que Hornby direcionasse a análise da IA para o complexo sistema de prova de conhecimento zero baseado em Halo2, que protege as transações privadas na Zcash.
Studio Global AI
Search, cite, and publish your own answer
Use this topic as a starting point for a fresh source-backed answer, then compare citations before you share it.
Câu trả lời ngắn gọn cho "Como uma IA e um especialista humano encontraram o bug que varreu metade do valor da Zcash" là gì?
Em maio de 2026, o pesquisador Taylor Hornby usou o Claude Opus 4.8, da Anthropic, para descobrir uma falha crítica de 4 anos na Zcash que permitia a criação ilimitada de moedas falsas indetectáveis.
Những điểm chính cần xác nhận đầu tiên là gì?
Em maio de 2026, o pesquisador Taylor Hornby usou o Claude Opus 4.8, da Anthropic, para descobrir uma falha crítica de 4 anos na Zcash que permitia a criação ilimitada de moedas falsas indetectáveis. A vulnerabilidade era um erro de 'solidez' no circuito de prova de conhecimento zero do pool blindado Orchard, a principal tecnologia de privacidade da Zcash.
Tôi nên làm gì tiếp theo trong thực tế?
O incidente é um marco histórico que demonstra o potencial de dupla face da IA na cibersegurança: acelerando auditorias defensivas, mas também mostrando como a mesma capacidade pode ser usada para descobrir e explorar...
Em 29 de maio, a estrutura identificou uma inconsistência lógica que auditores humanos, em múltiplas auditorias formais desde a ativação do Orchard em maio de 2022, não haviam percebido . Hornby não apenas documentou uma fraqueza teórica; ele usou a abordagem assistida por IA para escrever um exploit funcional que forjou ZEC falsos em um ambiente de teste local com sucesso . A velocidade da descoberta — em apenas um dia após o lançamento do modelo — ressaltou um salto no que a pesquisa de segurança aumentada por IA pode alcançar .
É importante enfatizar que o avanço foi uma colaboração entre um especialista humano habilidoso e um modelo de fronteira. A IA forneceu raciocínio sistemático e reconhecimento de padrões em uma base de código massiva; o pesquisador humano definiu o problema, construiu o arcabouço de auditoria e validou as descobertas .
O Bug: Uma Restrição Falha em um Circuito de Conhecimento Zero
A vulnerabilidade era um bug crítico de "solidez" no circuito do pool blindado Orchard, o principal mecanismo de privacidade para as transações blindadas da Zcash . Em um sistema de prova de conhecimento zero, "solidez" significa que deve ser computacionalmente impossível criar uma prova válida para uma declaração falsa. O circuito Orchard continha um elemento com uma restrição insuficiente que quebrava essa propriedade.
Especificamente, um valor em uma parte profunda da biblioteca de componentes (gadgets) do Halo2 foi deixado "sem ancoragem" a um ponto base real, permitindo efetivamente que entradas matematicamente inválidas passassem por uma verificação de curva elíptica . Em termos mais simples, uma verificação que deveria validar os dados de uma transação não estava aplicando as regras que parecia aplicar . O resultado: um invasor poderia forjar provas de conhecimento zero válidas que autorizassem a criação de quantidades ilimitadas de ZEC falsos dentro do pool blindado.
Como as transações Orchard são privadas por design, as moedas falsificadas seriam indistinguíveis das legítimas na blockchain . Não haveria como auditar a rede e ver a oferta falsa. O bug estava ativo desde a introdução do Orchard em maio de 2022, ou seja, passou despercebido por cerca de quatro anos .
Crucialmente, devido às propriedades de privacidade do Orchard e à natureza da falha, a Shielded Labs afirmou que não há nenhum método criptográfico para determinar se a vulnerabilidade foi explorada enquanto esteve ativa . Essa incerteza se tornou uma fonte central de ansiedade após a divulgação.
Resposta dos Desenvolvedores: Um Hard Fork de Emergência
Após Hornby reportar o bug para o Zcash Open Development Lab, a resposta foi rápida :
29 de maio de 2026: Hornby descobre e relata a vulnerabilidade .
1º de junho de 2026: Os desenvolvedores implantam um patch de emergência por meio de uma atualização de rede (hard fork), desabilitando o pool Orchard vulnerável .
3 de junho de 2026: A correção é totalmente resolvida em toda a rede .
4 de junho de 2026: A Shielded Labs e o fundador da Zcash, Zooko Wilcox, divulgam publicamente o bug e a correção .
Wilcox confirmou que o patch foi implementado com sucesso antes do anúncio público, significando que nenhum fundo foi perdido para exploração após a divulgação . A abordagem coordenada de "corrigir primeiro, divulgar depois" seguiu a prática padrão de gerenciamento de vulnerabilidades, mas a velocidade necessária — da descoberta a um hard fork em toda a rede em três dias — foi extraordinária.
Após a correção de emergência, a Shielded Labs solicitou que a Anthropic executasse uma auditoria completa e separada do protocolo usando seu modelo de fronteira restrito, Mythos. Essa auditoria confirmou que não existiam outras vulnerabilidades críticas no protocolo em 12 de junho de 2026 . A revisão abrangente ajudou a restaurar parcialmente a confiança, embora a incerteza central sobre a exploração pré-patch permanecesse.
Impacto no Mercado: ZEC Despenca de 40% a 50%
Os mercados reagiram duramente à divulgação pública em 4 de junho. O preço do ZEC caiu cerca de 40% a 50% nos dias seguintes, com relatos descrevendo a moeda como tendo saído de "patamares muito mais altos apenas semanas antes" para uma queda vertiginosa . Múltiplas fontes citam uma faixa de queda entre 31% e 50%, sendo a magnitude mais comumente referenciada em aproximadamente 40-50% .
A liquidação refletiu pânico em várias frentes. Primeiro, a gravidade do bug — falsificação infinita e indetectável em uma importante criptomoeda de privacidade — minou a confiança fundamental nas garantias de segurança do protocolo. Segundo, o fato de um modelo de IA ter encontrado uma falha que anos de auditorias formais conduzidas por humanos não viram levantou questões preocupantes sobre a superfície de vulnerabilidade de outras criptomoedas, incluindo o Ethereum . Terceiro, a incerteza permanente sobre se o bug já havia sido explorado deixou um déficit de confiança que uma correção técnica sozinha não poderia fechar .
Os investidores reavaliaram a segurança de uma das redes de privacidade mais proeminentes do mundo cripto, e a reprecificação foi rápida e severa .
O Acerto de Contas do Duplo Uso: IA Como Defensora e Ameaça
O incidente da Zcash é amplamente visto como um momento divisor de águas para o potencial de dupla face da IA na segurança de software crítico .
O Caso Defensivo
O valor defensivo é claro. Um modelo de IA, combinado com a orientação de um especialista humano, encontrou um bug catastrófico que auditores humanos não viram por quatro anos — e o fez em um dia após o lançamento do modelo . Isso demonstra que a IA de fronteira pode melhorar drasticamente a velocidade, profundidade e abrangência das auditorias de segurança para sistemas criptográficos complexos. A auditoria de acompanhamento com o Mythos, que liberou o resto do protocolo, sugere um futuro onde a auditoria contínua baseada em IA se torna uma prática padrão para infraestruturas de alto risco .
A abordagem de Hornby — construir uma estrutura de agente personalizada em vez de simplesmente perguntar ao modelo — também mostrou que as aplicações defensivas mais poderosas vêm da integração da IA em fluxos de trabalho de segurança sistemáticos, não a tratando como um oráculo isolado.
O Caso Ofensivo
As implicações ofensivas são igualmente graves. A mesma capacidade que encontrou esse bug pode ser usada como arma por agentes maliciosos para descobrir e explorar vulnerabilidades de dia zero em velocidade de máquina . Se um grupo hacker tivesse aplicado técnicas semelhantes à Zcash antes de um pesquisador "chapéu branco", eles poderiam ter cunhado silenciosamente moedas falsas ilimitadas, drenado a liquidez e desaparecido — tudo antes que qualquer patch fosse implantado.
A Bloomberg descreveu o evento como mostrando "a magnitude da ameaça de hacking por IA" . A Bloomberg e outros veículos notaram que o incidente levantou questões urgentes sobre se as normas atuais de divulgação responsável estão calibradas para vulnerabilidades descobertas na velocidade da IA . Quando uma IA pode encontrar uma falha crítica em horas, a janela para correção coordenada antes da exploração hostil entra em colapso.
Pesquisadores de segurança alertaram que essa não é uma preocupação teórica. O incidente da Zcash é o primeiro exemplo confirmado publicamente, mas quase certamente não será o último .
A Incerteza Incômoda
Talvez o aspecto mais perturbador de todo o episódio seja a incerteza irresolvível. Como a Zcash é uma criptomoeda de privacidade, não há como provar criptograficamente se o bug foi explorado durante seus quatro anos de vida . A equipe de desenvolvimento julgou a exploração como "improvável", mas reconheceu que literalmente não pode confirmar isso . Isso cria um problema de confiança duradouro — não apenas para a Zcash, mas para qualquer sistema que preserve a privacidade, onde uma falha poderia ter sido explorada silenciosamente antes de ser descoberta.
O Que Isso Significa daqui para Frente
O incidente da Zcash marca o fim da era em que a segurança de protocolos criptográficos podia depender apenas de auditorias humanas periódicas. A descoberta de vulnerabilidades assistida por IA é agora uma capacidade demonstrada, com todo o poder assimétrico que isso implica.
Para desenvolvedores de protocolos, as implicações são claras: integrar modelos de IA de fronteira em ciclos contínuos de revisão de segurança não é mais opcional — é um imperativo, porque adversários certamente farão o mesmo. Para a comunidade de IA, o evento reforça a necessidade de uma implantação cuidadosa de capacidades que podem ser facilmente redirecionadas para ofensiva. E para o ecossistema cripto mais amplo, serve como um lembrete severo de que mesmo os sistemas revisados mais rigorosamente podem abrigar falhas catastróficas que uma IA bem direcionada pode trazer à tona em horas.
