Ironwood entra em operação enquanto a Zcash bloqueia a Orchard e impõe uma migração de US$ 1,8 bilhão

A atualização NU6.3 entrou em operação em 28 de julho, na altura do bloco 3.428.143, introduzindo um pool protegido separado chamado Ironwood, um novo formato de transação e um ponto de verificação contábil obrigatório para fundos que saem do Orchard. Os novos pagamentos protegidos agora são direcionados para o Ironwood, enquanto o Orchard foi restrito a saques.

A mudança ocorre após a descoberta de uma falha criptográfica crítica que permanecia no Orchard desde o lançamento do pool, em maio de 2022. O pesquisador independente de segurança Taylor Hornby identificou a falha em 29 de maio, durante uma auditoria assistida por inteligência artificial (IA) realizada sob contrato para a Shielded Labs, utilizando o modelo Claude Opus 4.8 da Anthropic.

Uma falha com implicações de falsificação

A vulnerabilidade afetou um componente de multiplicação escalar de curva elíptica dentro do sistema de comprovação Halo 2. As restrições incompletas do circuito poderiam ter permitido que um usuário mal-intencionado gerasse notas falsificadas do Orchard que parecessem válidas e contivessem anuladores exclusivos indistinguíveis das transações legítimas.

Os desenvolvedores afirmaram que não havia evidências de que a falha tivesse sido explorada, nenhuma criação não autorizada de ZEC foi detectada e não há conhecimento de perda de fundos ou privacidade dos usuários. No entanto, o design de privacidade do Orchard impede que os pesquisadores possam reconstruir de forma conclusiva seu histórico interno para provar que a exploração nunca ocorreu.

A arquitetura de “turnstile” existente do Zcash impediu que a oferta global excedesse o limite de 21 milhões de ZEC do protocolo. Mesmo assim, a vulnerabilidade enfraqueceu a confiança de que todas as moedas circulando de forma privada dentro do Orchard tivessem sido criadas legitimamente.

Os desenvolvedores do Zcash responderam em poucos dias. Um soft fork de emergência restringiu temporariamente as atividades do Orchard, seguido pelo hard fork NU6.2, que corrigiu o circuito e restaurou a funcionalidade no início de junho. O Ironwood tornou-se a solução de longo prazo, em vez de deixar a rede dependente de uma versão corrigida do mesmo pool.

O Ironwood cria um novo limite contábil

O Ironwood mantém uma árvore de compromissos de notas, um conjunto de anuladores, um histórico da cadeia e um pool de valores separados. O antigo pool do Orchard não pode criar novas saídas nem processar transferências internas, fazendo com que seus fundos restantes saiam pelo “torniquete” público do protocolo.

Esse ponto de verificação garante que o valor total que sai do Orchard não possa exceder o valor que entrou legitimamente nele. Quaisquer notas falsificadas hipotéticas criadas por meio da antiga vulnerabilidade permaneceriam retidas, pois não poderiam passar para o Ironwood sem violar o limite contábil aplicado publicamente.

O projeto permite que os operadores de nós verifiquem a oferta circulante do Zcash examinando os saldos no Ironwood, no Sapling, no Sprout e no valor restante auditado do Orchard. À medida que os usuários legítimos migram, o saldo do Orchard deve diminuir, criando um limite superior cada vez mais restrito para quaisquer possíveis irregularidades ocultas.

Segundo relatos, o Orchard detinha cerca de 3,6 milhões a 3,76 milhões de ZEC no momento da ativação, no valor aproximado de US$ 1,7 bilhão a US$ 1,9 bilhão aos preços da época. O Ironwood começou sem saldo, embora os primeiros rastreadores tenham mostrado dezenas de milhares de ZEC entrando no novo pool logo após a ativação.

Verificação Formal e Recuperação Quântica

O Projeto Tachyon e outros colaboradores aplicaram verificação formal, auditorias independentes e análises assistidas por IA aos circuitos críticos e às bibliotecas de suporte da Ironwood. O trabalho buscou excluir matematicamente a categoria de operações criptográficas sem restrições que causaram a vulnerabilidade do Orchard.

A Ironwood também implementa notas recuperáveis quânticas sob o ZIP 2005. O recurso não torna o Zcash resistente à computação quântica atualmente, mas cria um caminho de recuperação que poderia permitir aos usuários resgatar fundos caso avanços futuros comprometam a criptografia que protege o pool.

Provedores de carteiras, exchanges e operadores de nós devem atualizar seus softwares para oferecer suporte ao NU6.3. O Zodl, o Cake Wallet e outros serviços lançaram ou planejam lançar ferramentas de migração, enquanto os operadores de infraestrutura foram orientados a adotar a pilha de software Z3 baseada no Zebra, uma vez que o suporte ao cliente zcashd legado foi encerrado.

ZEC recua, mas ganhos anuais se mantêm

O ZEC foi negociado perto de US$ 466 após a ativação, com queda de 4,8% nas últimas 24 horas, 14,1% nos últimos sete dias e 15,7% nos últimos 14 dias. A criptomoeda manteve alta de 19,2% nos últimos 30 dias e de mais de 1.000% no último ano, destacando a diferença entre as vendas de curto prazo e sua alta de longo prazo.

A queda levou a ZEC para abaixo de US$ 500, à medida que o mercado mais amplo de criptomoedas enfraqueceu antes da decisão de política monetária do Federal Reserve, marcada para 29 de julho. O volume de negociação permaneceu próximo a US$ 300 milhões, sugerindo um reposicionamento ativo, e não um colapso na liquidez.

O Ironwood não altera o modelo de privacidade nem a oferta máxima do Zcash. Seu teste imediato será verificar se carteiras, corretoras e usuários migrarão os saldos do Orchard sem problemas, mantendo a privacidade. Seu significado mais amplo depende de se métodos formais e a contabilidade pública de “turnstile” poderão fortalecer a confiança no dinheiro digital privado sem sacrificar o sigilo que esses sistemas foram projetados para oferecer.