Zcash afirma eliminar risco de falsificação invisível com prova do Ironwood

Os pesquisadores do Zcash concluíram a verificação formal do Ironwood, publicando uma prova verificada por máquina de que o novo pool protegido da rede não contém falhas de falsificação indetectáveis ​​sob suas premissas criptográficas declaradas. 

Na terça-feira, o Projeto Tachyon anunciou que a prova, escrita na linguagem de programação Lean, compreende mais de 2.700 teoremas e levou mais de um mês para ser concluída por três equipes de pesquisadores e criptógrafos. O trabalho estabelece uma propriedade de segurança conhecida como integridade de saldo, projetada para garantir que o fundo protegido não possa pagar mais valor do que o que foi depositado publicamente.

Os pesquisadores afirmaram que a prova abrange os componentes necessários para essa propriedade, incluindo o sistema de prova de conhecimento zero de Ironwood, as regras de circuito e a contabilidade em nível de livro-razão. Ela não abrange as garantias de privacidade separadas de Ironwood. 

A Ironwood foi introduzida através da atualização NU6.3 do Zcash em resposta a uma vulnerabilidade descoberta em seu pool protegido Orchard, que teoricamente poderia ter permitido a falsificação indetectável de ZEC . Os desenvolvedores do Zcash afirmaram não ter encontrado evidências de que a falha tenha sido explorada. O novo pool foi projetado para restaurar a confiança na integridade do fornecimento de Zcash.

Os fundos que migram de Orchard devem passar por um ponto de controle de contabilidade pública conhecido como catraca, projetado para impedir que qualquer excesso hipotético de moedas entre em Ironwood. À medida que os fundos saem de Orchard, o processo também pode fornecer evidências crescentes sobre se o antigo fundo foi explorado.