Inteligência artificial acaba de encontrar uma falha de segurança de 4 anos que derrubou o preço do ZEC em 38% — O que isso significa para a segurança da mineração em 2026?

⚠️ Isenção de responsabilidade: A rentabilidade da mineração flutua de acordo com os custos de eletricidade, os preços das criptomoedas e a dificuldade da rede. Todos os valores neste artigo refletem as condições de 10 de junho de 2026, com base nos dados de rentabilidade em tempo real da BT-Miners. Os detalhes de segurança discutidos abaixo são um resumo de relatórios públicos e não foram verificados de forma independente pela BT-Miners. O desempenho passado não indica resultados futuros. Realize sua própria pesquisa antes de adquirir equipamentos de mineração.

Em 29 de maio de 2026 — um dia após a Anthropic lançar seu modelo Claude Opus 4.8 — o pesquisador de segurança independente Taylor Hornby teria usado o novo modelo juntamente com uma estrutura de auditoria personalizada para descobrir uma falha crítica no pool protegido Orchard do Zcash. De acordo com divulgações públicas da Shielded Labs e da Fundação Zcash, a falha estava presente desde o lançamento do Orchard em 2022 e poderia ter permitido que um invasor cunhasse ZEC falsificado sem ser detectado. A divulgação desencadeou um hard fork de emergência e uma queda de preço de aproximadamente 38% antes que o ZEC se recuperasse parcialmente. Para quem usa ou considera usar um ASIC para Zcash, como o Antminer Z15 Pro ou Z15, a movimentação de preço em si é menos importante do que o que esse episódio revela sobre uma categoria de risco raramente discutida: a segurança do código subjacente de uma criptomoeda.

Conteúdo

• O que aconteceu: o inseto do pomar, em resumo.
• A parte de IA desta história
• Por que a complexidade do protocolo constitui uma categoria de risco própria?
• Z15 Pro e Z15 ROI após a queda
• Adicionando o “Risco de Código” à sua lista de verificação para compra de ASICs
• O que isso significa para os compradores neste momento?

O que aconteceu: o inseto do pomar, em resumo.

De acordo com as divulgações, o problema residia em um elemento sub-restringido no circuito de conhecimento zero do Orchard — especificamente no código halo2_gadgets que sustenta as transações protegidas do Zcash. O Orchard é o sistema criptográfico que permite aos usuários do Zcash enviar ZEC com remetente, destinatário e valor ocultos, usando provas zk-SNARK para verificar a validade das transações sem revelar seu conteúdo. A falha supostamente permitia que entradas matematicamente inválidas passassem por uma verificação que deveria tê-las rejeitado — em teoria, abrindo caminho para a falsificação de ZEC dentro do pool protegido.

A resposta foi rápida para os padrões da blockchain. Os desenvolvedores implementaram um soft fork de emergência em 2 de junho, que desativou temporariamente todas as transações da Orchard, e em seguida ativaram o hard fork NU6.2 em 3 de junho com um circuito corrigido, restaurando a operação normal. A Fundação Zcash afirmou que a integridade do fornecimento foi protegida durante todo o processo pelo mecanismo de controle de acesso da rede e que nenhuma evidência de exploração foi encontrada.

A reação do mercado foi acentuada. O ZEC estava cotado em torno de US$ 624 em 4 de junho, caiu para uma mínima intradiária próxima a US$ 304-US$ 309 em 5 de junho — uma queda de aproximadamente 50% — e desde então se recuperou para cerca de US$ 433 em 10 de junho. Diversos veículos de comunicação relataram uma queda de 24 horas que variou de 31% a 38% e até 57%, dependendo do período analisado, o que por si só demonstra o quão voláteis podem ser as divulgações de preços de criptomoedas durante eventos de rápida evolução.

A parte de IA desta história

O detalhe que diferencia este caso de uma típica história de "bug crítico encontrado, hard fork implementado" é o momento e o método utilizados. Segundo diversos relatos, a descoberta de Hornby ocorreu apenas um dia após o lançamento do Opus 4.8, utilizando o modelo em conjunto com uma estrutura de auditoria personalizada com auxílio de IA para realizar uma revisão direcionada de restrições específicas do circuito. O próprio bug teria sobrevivido a várias rodadas de auditorias realizadas por empresas especializadas em criptografia ao longo dos quatro anos anteriores.

Duas coisas podem ser verdadeiras ao mesmo tempo aqui. Primeiro, a descoberta e a correção podem ser vistas como um resultado positivo para a segurança desta rede — uma falha grave foi encontrada e corrigida antes que, pelo que indicam os relatos atuais, fosse explorada. Mas esse resultado não elimina a incerteza subjacente: também levanta uma questão para todos os outros protocolos com código igualmente complexo. Se um bug de quatro anos em um dos protocolos de privacidade mais rigorosamente analisados ​​em criptomoedas pôde ser encontrado em 24 horas após o lançamento de um novo modelo de IA, isso sugere que bases de código complexas que ainda não foram revisadas dessa forma podem conter problemas ainda não descobertos — embora não haja como saber quantos, ou quão graves, sem que essa revisão realmente aconteça. O CoinDesk relatou que Hornby supostamente aplicou a mesma abordagem para auditar a base de código do Monero em seguida — algo que vale a pena acompanhar para quem possui um Antminer X9.

Também é importante ter em mente as limitações da auditoria assistida por IA. Essas ferramentas podem sinalizar problemas potenciais rapidamente, mas distinguir uma falha genuína de integridade de um falso positivo ainda exige que criptógrafos humanos verifiquem a descoberta — que foi o que aconteceu aqui antes de qualquer divulgação. A revisão assistida por IA é um complemento útil ao conjunto de ferramentas de auditoria, não um substituto, e a própria tecnologia ainda está evoluindo rapidamente.

Por que a complexidade do protocolo constitui uma categoria de risco própria?

Vale a pena ser preciso sobre o tipo de "segurança" envolvido neste evento, pois se trata de uma categoria diferente daquela em que a maioria dos conteúdos sobre mineração se concentra. Segurança em nível de rede — aquela medida pelo poder computacional e pela concentração dos pools de mineração — diz respeito à possibilidade de alguém reescrever o blockchain controlando poder computacional suficiente. O bug do Orchard não tinha nada a ver com isso. Era uma falha no próprio código criptográfico, explorável independentemente do poder computacional da rede.

Essa segunda categoria — que podemos chamar de segurança em nível de protocolo ou código — tende a escalar com a complexidade. Uma criptomoeda que usa um modelo UTXO simples e um algoritmo de prova de trabalho bem compreendido tem uma superfície de ataque relativamente pequena e bem conhecida. Uma criptomoeda que adiciona pools protegidos por zk-SNARK à sua blockchain base, como o Zcash faz com o Orchard, tem uma área de superfície dramaticamente maior para bugs de implementação sutis — o tipo de bug que pode passar por auditorias formais porque a matemática em si é difícil de decifrar manualmente. Isso não é uma crítica específica ao Zcash; é uma compensação inerente à construção de recursos de privacidade com criptografia avançada. Mas significa que, tudo o mais constante, criptomoedas criptograficamente mais complexas carregam mais desse risco de "desconhecido desconhecido" do que as mais simples.

Z15 Pro e Z15 ROI após a queda

Para proprietários e potenciais compradores de ASICs Zcash, a questão prática é simples: isso alterou os cálculos da mineração? De acordo com os dados da BT-Miners de hoje, não muito — o preço do ZEC caiu em relação às máximas do final de maio, mas a receita bruta para ambos os lados permaneceu a mesma. Antminer Z15 Pro e Antminer Z15 permanece próximo ao nível anterior à queda, o que sugere que a dificuldade da rede Equihash ainda não se ajustou significativamente para baixo em resposta ao preço mais baixo. Isso pode mudar conforme a época de dificuldade for atualizada, portanto, esses números são um instantâneo, não uma garantia.

Antminer Z15 Pro (840 KSol/s, ,600) — Retorno sobre o investimento em diferentes tarifas de eletricidade (10 de junho de 2026)

Observação: A receita bruta diária para o Z15 Pro é de US$ 33.41 ao preço atual do ZEC (US$ 433) e dificuldade Equihash em 10 de junho de 2026. Esses valores podem variar se o preço do ZEC continuar a se ajustar ou se a dificuldade Equihash reagir à volatilidade recente. Modele seu próprio cenário com o Calculadora de rentabilidade da BT-Miners.

Antminer Z15 (420 KSol/s, ,600) — Retorno sobre o investimento em diferentes tarifas de eletricidade (10 de junho de 2026)

Observação: A receita bruta diária do Z15 é de US$ 16.71 com o preço e a dificuldade atuais do ZEC. O Z15 consome 1,510 W, enquanto o Z15 Pro consome 2,780 W — um consumo absoluto de energia menor, mas um retorno do investimento mais longo em todos os níveis de consumo de energia mostrados aqui. Faça as simulações para a sua tarifa de energia usando a ferramenta de cálculo. calculadora de rentabilidade antes de decidir entre os dois.

Adicionando o “Risco de Código” à sua lista de verificação para compra de ASICs

A maioria das discussões sobre o risco dos ASICs de altcoins se concentra na volatilidade de preços, nas tendências de dificuldade e nos custos de eletricidade. Esses continuam sendo os principais fatores. Mas este evento é um lembrete útil para adicionar algumas perguntas sobre o risco em nível de protocolo à lista — não para classificar as moedas como “seguras” ou “inseguras”, mas para entender que tipo de surpresas são possíveis:

• Qual é o grau de complexidade criptográfica do protocolo? Uma criptomoeda com um modelo UTXO simples e prova de trabalho padrão (por exemplo, Litecoin, Dogecoin) tem uma superfície de ataque de código menor do que uma que utiliza camadas de privacidade ou contratos inteligentes baseadas em zk-SNARK ou zk-STARK (por exemplo, o pool Orchard do Zcash).
• Qual é o histórico de auditoria e quão recente ele é em relação aos principais lançamentos de recursos? O Orchard foi auditado diversas vezes desde 2022, mas esse bug persistiu — um lembrete de que "ter sido auditado" não significa "não ter bugs", especialmente em módulos mais novos e complexos.
• Existe um programa de recompensas por bugs e um histórico de divulgação responsável? O relatório de Hornby seguiu um caminho de divulgação privada antes que quaisquer detalhes públicos viessem à tona, que é o resultado desejado.
• Como a equipe respondeu historicamente a questões críticas? Nesse caso, o intervalo entre a divulgação privada e a implementação do hard fork foi de apenas alguns dias — uma resposta rápida para os padrões da indústria.
• Existem múltiplas implementações independentes do protocolo? O Zcash executa tanto o zcashd quanto o cliente Zebra, desenvolvido independentemente, o que pode ajudar a detectar bugs específicos de implementação — embora, neste caso, a falha estivesse no código de circuito compartilhado usado por ambos.

O que isso significa para os compradores neste momento?

Algumas dicas práticas:

• O erro foi corrigido e os dados reportados mostram que não houve perda de fundos. Os números atuais de ROI (retorno sobre o investimento) para o Z15 Pro e o Z15 permanecem próximos aos níveis pré-evento, indicando que o lado econômico da mineração relacionado a este evento se estabilizou parcialmente por enquanto — embora isso possa mudar à medida que o preço do ZEC e a dificuldade do Equihash continuarem a oscilar.
• A oscilação de preços foi impulsionada tanto pela incerteza e pelas vendas de grandes acionistas quanto pelo próprio problema técnico. Devido ao funcionamento das transações protegidas, não há, segundo relatos, como provar criptograficamente que a falha nunca foi explorada no passado — e essa incerteza, e não uma perda confirmada, parece ser o que motivou grande parte da onda de vendas.
• Isso pode não ser um caso isolado. Se ferramentas de auditoria assistidas por IA conseguem detectar bugs antigos em códigos amplamente revisados ​​com tanta rapidez, divulgações semelhantes podem surgir para outros protocolos complexos nos próximos meses — algo a se considerar ao avaliar a volatilidade esperada de altcoins criptograficamente complexas em geral, e não apenas do ZEC.
• A complexidade do protocolo agora é uma variável real (embora difícil de quantificar) nas decisões de ASIC para altcoins., juntamente com preço, dificuldade e custo da eletricidade.

Use o Calculadora de rentabilidade da BT-Miners para modelar os números atuais para o Antminer Z15 Pro e Antminer Z15 à sua própria tarifa de eletricidade. Em um artigo futuro, vamos desenvolver uma estrutura mais completa para comparar as considerações de segurança — tanto em nível de rede (taxa de hash, concentração do pool) quanto em nível de protocolo (histórico de auditoria, complexidade do código, revisão assistida por IA) — entre as moedas de prova de trabalho cobertas pela BT-Miners.