Zcash adota verificação formal para a atualização Ironwood

2 min de leitura

Os desenvolvedores do Zcash passaram a usar verificação formal para a rede Ironwood após uma falha contábil recentemente divulgada no pool Shielded Orchard revelar limitações das auditorias convencionais. A falha, encontrada pela pesquisadora da Shielded Labs Taylor Hornby, foi corrigida antes de qualquer exploração conhecida. A equipe diz que a falsificação indetectável decorre de falhas na especificação ou em suposições criptográficas, e não de bugs de implementação, e está concentrando as provas na especificação criptográfica do Ironwood usando o demonstrador de teoremas Lean, com contribuintes da zkSecurity e do Zcash Open Development Lab. O Ironwood encerrará o old shielded pool, lançará uma substituição corrigida e usará uma migração tipo turnstile para demonstrar a integridade da oferta quando for ativado em julho de 2026.

Ironwood irá verificar formalmente as especificações para impedir falsificação indetectável.