Zcash ZEC sobe 12% à medida que a verificação formal do Ironwood se aproxima da conclusão

O token ZEC da Zcash subiu cerca de 12% depois de os programadores por detrás do Project Tachyon terem anunciado que estão perto de provar formalmente que o novo pool protegido Ironwood da rede não contém nenhum bug de falsificação indetetável. O ganho de preço segue-se ao progresso no trabalho de verificação formal destinado a 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 investigador Taylor Hornby, era uma vulnerabilidade no circuito que a Zcash utiliza para proteger transações, embora os programadores acreditem que não houve exploração. O Ironwood está programado para ativar no final de julho com um mecanismo de catraca que permite aos utilizadores migrar fundos do pool vulnerável Orchard e ajuda a demonstrar que não ocorreu falsificação.

Falha do Orchard Permitiu Potencial Falsificação Oculta

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

Ironwood Introduz Verificação Formal e Mecanismo de Catraca

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

Para lidar com as moedas já no pool vulnerável, o Ironwood inclui uma catraca. As carteiras migram fundos do Orchard para o Ironwood, e desativar pagamentos no pool antigo define um limite superior para a quantidade de ZEC que pode estar em circulação, o que ajuda a demonstrar que não ocorreu falsificação. Os programadores afirmam que acreditam que não houve exploração, e a catraca foi concebida para transformar essa crença em algo que a rede possa verificar.

Os programadores afirmam 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 alguma vez um risco real.

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

O ZEC caiu de cerca de 600 dólares para aproximadamente 300 dólares no espaço de dois dias após a divulgação, depois recuperou para cerca de 457 dólares. O token recuperou agora cerca de metade do que perdeu. O ganho de 12% seguiu-se ao anúncio dos programadores do Project Tachyon sobre o progresso da verificação formal.

Equipas de Desenvolvimento por Detrás da Atualização Ironwood

A atualização está a ser construída por um grupo de equipas da Zcash, incluindo o Zcash Open Development Lab, uma spinout de antigos engenheiros da Electric Coin Company que angariou 25 milhões de dólares este ano para financiar trabalho 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 qualquer rasto na cadeia. Descoberta pelo investigador Taylor Hornby, o bug permite que um provador desonesto convença a rede de uma afirmação falsa, embora os programadores acreditem que não houve exploração.

Como funciona o mecanismo de catraca do Ironwood?

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

Quando é que a Zcash vai ativar a atualização Ironwood?

Os programadores 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 alguma vez um risco real.