O Upgrade do Ironwood no Zcash substitui o pool Orchard por um sistema verificado

Os desenvolvedores do Zcash ativaram a atualização Ironwood na altura do bloco 3.428.143 como parte da atualização de rede NU6.3, substituindo o pool shielded Orchard por uma alternativa formalmente verificada. A substituição seguiu a descoberta, no fim de maio, feita pela pesquisadora Taylor Hornby de um bug de “infinity” no Orchard que representava um risco teórico de criação fraudulenta de ZEC não detectável. A vulnerabilidade em um dos mecanismos centrais de privacidade do Zcash levou a um que os desenvolvedores descreveram como um sprint de desenvolvimento em “modo de guerra” para implantar uma substituição completa, em vez de um patch.

Hornby Descobriu o Bug de Infinity do Orchard no Fim de Maio

Taylor Hornby, pesquisadora do Shielded Labs, descobriu o bug de infinity do Orchard no fim de maio. A falha existia profundamente dentro do circuito de zero conhecimento do Orchard e representava um risco teórico de cunhar ZEC falsos sem deixar nenhum rastro publicamente detectável. Não surgiu evidência de que a vulnerabilidade tivesse sido explorada alguma vez. O ZEC perdeu mais da metade de seu valor após a divulgação se tornar pública.

Patches de emergência implantados no início de junho desativaram temporariamente o Orchard. Um circuito corrigido chegou via hard fork NU6.2 dentro de cinco dias. Os desenvolvedores afirmaram que era matematicamente impossível provar com certeza que a inflação oculta nunca havia ocorrido dentro do pool antigo, tornando a substituição completa o único caminho para restaurar a integridade verificável da oferta.

O cofundador do Shielded Labs, Zooko Wilcox, inicialmente propôs substituir o Orchard integralmente. O que se seguiu foi aproximadamente 60 dias de desenvolvimento coordenado entre Shielded Labs, o Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group e a Zcash Foundation. O Diretor Executivo do ZODL, Josh Swihart, afirmou que engenheiros de sua organização contribuíram com 82% das mudanças mescladas nos repositórios do protocolo e da carteira do Zcash durante o esforço de substituição.

Ironwood Introduziu um Sistema Separado de Contabilidade e Notas Recuperáveis por Quantum

O Ironwood introduziu um sistema de contabilidade totalmente separado, com sua própria árvore de compromisso de notas, conjunto de nullifiers e pool de valor da cadeia. A estrutura permite que qualquer nó acompanhe o novo pool shielded de forma independente de tudo o que veio antes.

A atualização instalou um checkpoint público de contabilidade descrito pelo projeto como uma catraca (“turnstile”). Os fundos podem sair do Orchard por essa catraca, mas o mecanismo impede matematicamente que mais valor saia do que foi legitimamente entrado no pool antigo. Qualquer moeda contrafeita hipotética cunhada dentro do Orchard antes ou durante a janela de vulnerabilidade ficaria presa ali permanentemente, incapaz de contaminar a contabilidade da oferta do Ironwood.

O novo pool incorporou notas recuperáveis por quantum ZIP 2005. O recurso não torna as transações do Zcash seguras contra computação quântica hoje — um protocolo separado de recuperação ainda precisaria ser projetado e ativado no futuro. A atualização NU6.3 fez com que Zebra se tornasse a implementação de nó exigida, encerrando o suporte ao software zcashd mais antigo em toda a rede.

Project Tachyon Concluiu Verificação Formal com 2.700 Teoremas

O Project Tachyon concluiu uma prova matemática verificada por máquina junto com desenvolvedores do Zcash. Escrita na linguagem de programação Lean, a prova consiste em mais de 2.700 teoremas desenvolvidos ao longo de mais de um mês por três equipes de pesquisadores e criptógrafos. A prova verifica formalmente que o Ironwood não pode criar ZEC contrafeitos não detectáveis sob as premissas de design declaradas.

A prova cobre os componentes necessários para a integridade de saldo: o sistema de prova de zero conhecimento do Ironwood, suas regras de circuito e a contabilidade no nível do ledger. O cofundador do Zcash Sean Bowe afirmou: “A colaboração entre equipes acabou de mudar a história do Zcash para sempre, eliminando todas as fontes de bugs de contrafação não detectável do novo protocolo Ironwood.”

A verificação formal cobre a integridade de saldo, mas não se estende às garantias separadas de privacidade do Ironwood. A solidez da oferta (“supply soundness”) e a privacidade transacional são propriedades distintas, e a prova aborda apenas a primeira.

Migration Tracker Mostra 40.207 ZEC Movidos para o Ironwood

O Orchard entrou em uma fase apenas de saída (“exit-only”). O pool não aceita mais novas atividades shielded, mas os usuários ainda podem sacar fundos a seu critério. De acordo com o migration tracker do Zcash, aproximadamente 40.207 ZEC migraram para o Ironwood desde a ativação. Cerca de 3,6 milhões de ZEC permanecem dentro do Orchard aguardando migração.

No pico, o Orchard respondia por quase 88% da oferta de token shielded do Zcash, segundo dados do The Block, com os pools Sapling e Sprout mais antigos formando o restante.

FAQ

O que é a atualização do Zcash Ironwood?

O Ironwood é uma atualização de rede do Zcash que substituiu o pool shielded vulnerável Orchard por um pool shielded formalmente verificado. Ele foi ativado na altura do bloco 3.428.143 como parte do hard fork NU6.3.

Por que a atualização do Ironwood foi necessária?

A atualização era necessária porque um bug de infinity descoberto no pool Orchard no fim de maio representava um risco teórico de criação fraudulenta de ZEC não detectável. Os desenvolvedores afirmaram que era matematicamente impossível provar que o bug nunca foi explorado, tornando necessária uma substituição completa em vez de confiar apenas em um patch.

O que acontece com os fundos que ainda estão no pool Orchard?

O Orchard entrou em uma fase apenas de saída (“exit-only”). Os usuários ainda podem sacar fundos a partir dele, mas o pool não aceita mais novas transações shielded. Aproximadamente 3,6 milhões de ZEC permanecem no Orchard aguardando migração para o Ironwood, enquanto cerca de 40.207 ZEC já se moveram para lá.