A Zcash concluiu sua atualização de rede Ironwood, substituindo seu vulnerável pool protegido Orchard por uma alternativa formalmente verificada, projetada para prevenir falsificação indetectável, enquanto inicia a migração de fundos protegidos para o novo pool.
Resumo
- A Zcash ativou a atualização Ironwood e substituiu o Orchard por um novo pool protegido formalmente verificado.
- A Ironwood adiciona novas salvaguardas de fornecimento, enquanto o Orchard agora suporta apenas retiradas de fundos.
- Pesquisadores concluíram uma prova verificada por máquina confirmando que a Ironwood não pode criar ZEC falsificado indetectável sob suas premissas de design.
- Mais de 40.000 ZEC já foram movidos para a Ironwood, enquanto cerca de 3,6 milhões de ZEC permanecem no Orchard.
De acordo com o Projeto Tachyon e a equipe de desenvolvimento da Zcash, a Ironwood foi ativada conforme programado na altura do bloco 3.428.143 através da atualização de rede NU6.3 na terça-feira, introduzindo um novo pool protegido que os desenvolvedores dizem restaurar a confiança na integridade do fornecimento da Zcash após preocupações em torno do Orchard.
A ativação ocorreu após meses de trabalho em várias organizações da Zcash, depois que pesquisadores divulgaram uma falha que teoricamente poderia ter permitido a criação de ZEC falsificado sem detecção pública.
Embora a Ironwood esteja agora ativa, o Orchard entrou em uma fase somente de saída. Os usuários ainda podem retirar fundos do pool protegido mais antigo a seu critério, mas ele não aceita mais novas atividades protegidas. Dados do rastreador de migração da Zcash mostram que aproximadamente 40.207 ZEC já foram movidos para a Ironwood, enquanto quase 3,6 milhões de ZEC permanecem no Orchard aguardando migração.
O ZEC (ZEC) caiu brevemente cerca de 9% para cerca de US$ 460 após a atualização antes de se recuperar para aproximadamente US$ 475, de acordo com a página de preços do crypto.news. O token já havia experimentado volatilidade significativa depois que a vulnerabilidade do Orchard se tornou pública, perdendo mais da metade de seu valor antes de se recuperar de cerca de US$ 45 em setembro do ano passado para quase US$ 700 no final do ano.
A Ironwood adiciona uma nova fronteira contábil
O novo pool protegido substitui o Orchard depois que pesquisadores identificaram o que ficou conhecido como o bug "infinito" do Orchard. De acordo com a Shielded Labs, o pesquisador Taylor Hornby descobriu a falha no final de maio dentro do circuito de conhecimento zero do Orchard. Os desenvolvedores disseram que o problema poderia teoricamente ter permitido que um atacante cunhasse ZEC falsificado sem detecção imediata, embora também tenham afirmado que não encontraram evidências de que a vulnerabilidade tenha sido explorada.
Atualizações de emergência no início de junho desativaram temporariamente o Orchard antes que os desenvolvedores implantassem o código de circuito corrigido através do hard fork NU6.2. Mesmo após corrigir a falha, os desenvolvedores disseram que o modelo de privacidade da Zcash impedia que qualquer pessoa provasse com certeza que a inflação oculta nunca ocorreu, levando ao trabalho em um pool protegido substituto em vez de depender apenas da implementação corrigida do Orchard.
A Ironwood introduz um sistema contábil separado com sua própria árvore de compromissos de notas, conjunto de anuladores e pool de valor em cadeia, permitindo que os nós rastreiem o novo pool protegido de forma independente. De acordo com a documentação técnica do projeto, a atualização também instala um ponto de verificação contábil público conhecido como catraca, permitindo que fundos saiam do Orchard enquanto impede que mais valor saia do que foi legitimamente inserido no pool mais antigo.
Os desenvolvedores disseram que o mecanismo visa prender quaisquer moedas falsificadas hipotéticas dentro do Orchard, enquanto permite verificação independente de que o fornecimento circulante da Zcash continua a respeitar o limite de emissão de 21 milhões de ZEC da rede.
A verificação formal fortaleceu o modelo de segurança da Ironwood
Junto com a ativação da rede, o Projeto Tachyon anunciou que pesquisadores concluíram uma prova matemática verificada por máquina cobrindo a integridade do saldo da Ironwood, fornecendo garantia adicional de que o novo pool protegido não pode criar valor além do que entrou publicamente nele sob suas premissas criptográficas declaradas.
De acordo com o Projeto Tachyon, a prova foi escrita na linguagem de programação Lean e 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.
Os pesquisadores disseram que seu trabalho verifica formalmente os componentes necessários para a integridade do saldo, incluindo o sistema de prova de conhecimento zero da Ironwood, as regras de circuito e a contabilidade em nível de livro-razão. Eles também esclareceram que a verificação não se estende às garantias de privacidade separadas da Ironwood.
Comentando sobre o trabalho, o cofundador da Zcash, Sean Bowe, disse que o esforço entre equipes eliminou fontes de bugs de falsificação indetectáveis do novo protocolo Ironwood.
O novo pool protegido também incorpora notas recuperáveis quânticas ZIP 2005, permitindo um mecanismo de recuperação futuro se os avanços na computação quântica eventualmente enfraquecerem as proteções criptográficas atuais. De acordo com a especificação ZIP, o recurso não torna as transações Zcash atuais seguras contra quantum, porque um protocolo de recuperação separado ainda precisaria ser projetado e ativado no futuro.
Equipes do ecossistema coordenaram o lançamento
A Ironwood foi desenvolvida por meio da colaboração entre Shielded Labs, Zcash Open Development Lab (ZODL), Projeto Tachyon, Valar Group e a Fundação Zcash.
A Shielded Labs, cofundada pelo fundador da Zcash, Zooko Wilcox, propôs inicialmente substituir a Orchard para restaurar a contabilidade de fornecimento verificável depois que a vulnerabilidade se tornou pública.
Enquanto isso, o Diretor Executivo da ZODL, Josh Swihart, disse no X que engenheiros de sua organização contribuíram com 82% das mudanças mescladas nos repositórios de protocolo e carteira da Zcash durante o esforço de substituição da Orchard. Swihart acrescentou que a Orchard foi corrigida em cinco dias antes de os desenvolvedores concluírem o processo de substituição em cerca de 60 dias.
A atualização NU6.3 também completa outra transição planejada há muito tempo na rede. De acordo com a Fundação Zcash, o software de nó mais antigo zcashd não suporta mais as novas regras de consenso, tornando o Zebra a implementação de nó necessária após a ativação.
Antes de a Ironwood chegar à rede, o Diretor Executivo da Shielded Labs, Jason McGee, havia alertado que exchanges, provedores de carteira e pools de mineração estavam simultaneamente se preparando para migrar do zcashd para a nova pilha de software Z3 enquanto também atualizavam para a Ironwood. McGee disse que alguns operadores de infraestrutura precisavam de tempo adicional, embora nenhuma decisão tenha sido tomada para adiar a atualização da rede.
Com a Ironwood agora ativa e a migração da Orchard em andamento, o foco mudou para mover os fundos protegidos restantes através do catraca enquanto a rede gradualmente aposenta o pool mais antigo sob o novo modelo de contabilidade.
