Zcash ZEC sobe 12% com Verificação Formal do Ironwood perto da conclusão

O token ZEC da Zcash subiu cerca de 12% depois que desenvolvedores por trás do Project Tachyon anunciaram que estão próximos de provar formalmente que o novo pool protegido Ironwood da rede não possui nenhum bug de falsificação indetectável. O ganho de preço segue o progresso no trabalho de verificação formal com o objetivo de descartar um bug de solidez no circuito zk-SNARK da Zcash que poderia ter permitido a cunhagem oculta de ZEC. A falha do Orchard, descoberta pelo pesquisador Taylor Hornby, era uma vulnerabilidade no circuito que a Zcash usa para proteger transações, embora os desenvolvedores acreditem que nenhuma exploração ocorreu. O Ironwood está programado para ser ativado no final de julho com um mecanismo de turnstile que permite aos usuários migrar fundos do pool vulnerável do Orchard e ajuda a demonstrar que nenhuma falsificação ocorreu.

Falha do Orchard Permitia Falsificação Oculta Potencial

A falha do Orchard era um bug de solidez no circuito zk-SNARK que a Zcash usa para proteger transações. Um bug de solidez permite que um provador desonesto convença a rede de uma declaração falsa, o que neste caso poderia ter permitido a um atacante cunhar ZEC falsificado sem rastro na cadeia. Como qualquer exploração seria invisível, os desenvolvedores poderiam corrigir a falha, mas não poderiam provar que ela nunca havia sido usada. Taylor Hornby descobriu a vulnerabilidade.

Ironwood Introduz Verificação Formal e Mecanismo de Turnstile

Ironwood é um novo pool protegido baseado no Orchard, reconstruído com a falha corrigida. A equipe do Tachyon disse que "empreendeu principalmente um esforço abrangente para verificar formalmente o Ironwood, descartando bugs de falsificação indetectáveis", e observou que tais bugs "só podem existir na especificação" porque erros de implementação deixam evidências detectáveis no livro-razão.

Para lidar com as moedas já no pool vulnerável, o Ironwood inclui um turnstile. As carteiras migram fundos do Orchard para o Ironwood, e desabilitar pagamentos no pool antigo define um limite superior de quanto ZEC pode estar em circulação, o que ajuda a demonstrar que nenhuma falsificação ocorreu. Os desenvolvedores dizem que acreditam que nenhuma exploração aconteceu, e o turnstile foi projetado para transformar essa crença em algo que a rede possa verificar.

Os desenvolvedores dizem que esperam ativar o Ironwood no final de julho, e que a verificação formal do novo pool é o trabalho que determinará se a falha de falsificação foi algum dia um risco real.

Preço do ZEC Recuperou Cerca de Metade das Perdas Pós-Divulgação

O ZEC caiu de cerca de US$ 600 para aproximadamente US$ 300 em dois dias após a divulgação, depois se recuperou para cerca de US$ 457. O token agora recuperou cerca de metade do que perdeu. O ganho de 12% veio após o anúncio dos desenvolvedores do Project Tachyon sobre o progresso da verificação formal.

Equipes de Desenvolvimento por Trás da Atualização Ironwood

A atualização está sendo construída por um grupo de equipes da Zcash, incluindo o Zcash Open Development Lab, um spinout de ex-engenheiros da Electric Coin Company que levantou US$ 25 milhões este ano para financiar trabalhos de privacidade. Taylor Hornby, que encontrou a falha do Orchard, trabalha na Shielded Labs.

FAQ

O que é a falha do Orchard na Zcash?

A falha do Orchard era um bug de solidez no circuito zk-SNARK da Zcash que poderia ter permitido a um atacante cunhar ZEC falsificado sem rastro na cadeia. Descoberta pelo pesquisador Taylor Hornby, o bug permite que um provador desonesto convença a rede de uma declaração falsa, embora os desenvolvedores acreditem que nenhuma exploração ocorreu.

Como funciona o mecanismo de turnstile do Ironwood?

O turnstile permite que as carteiras migrem fundos do pool vulnerável do Orchard para o novo pool Ironwood. Desabilitar pagamentos no pool antigo define um limite superior de quanto ZEC pode estar em circulação, o que ajuda a demonstrar que nenhuma falsificação ocorreu durante o período de vulnerabilidade.

Quando a Zcash ativará a atualização Ironwood?

Os desenvolvedores esperam ativar o Ironwood no final de julho. A verificação formal do novo pool é o trabalho que determinará se a falha de falsificação foi algum dia um risco real.