Zcash Conclui Verificação Formal do Ironwood, Regras de Prova com 2.700 Teoremas Eliminam Falsificação Não Detectável

De acordo com o Project Tachyon, na terça-feira, pesquisadores da Zcash concluíram a verificação formal do Ironwood, publicando uma prova verificada por máquina de que a nova pool blindada da rede não contém bugs de falsificação indetectável sob suas premissas criptográficas declaradas.

A prova, escrita na linguagem de programação Lean, reúne mais de 2.700 teoremas e foi concluída por três equipes de pesquisadores e criptógrafos ao longo de mais de um mês. O trabalho estabelece integridade de balanço, garantindo que a pool blindada não possa pagar mais valor do que foi publicamente inserido nela. A prova abrange o sistema de prova de conhecimento zero do Ironwood, as regras dos circuitos e a contabilização no nível do ledger, embora não trate de garantias de privacidade.