A Zcash Conclui a Verificação Formal do Ironwood, Com Regras de Prova Baseadas em 2.700 Teoremas que Impedem Contrafacção Indetetável

De acordo com o Project Tachyon, na terça-feira, investigadores da Zcash concluíram a verificação formal do Ironwood, publicando uma prova verificada por máquina que demonstra que o novo pool protegido da rede não contém falhas de falsificação indetetáveis sob as suas assunções criptográficas declaradas.

A prova, escrita na linguagem de programação Lean, inclui mais de 2.700 teoremas e foi concluída por três equipas de investigadores e criptógrafos ao longo de mais de um mês. O trabalho estabelece a integridade do saldo, garantindo que o pool protegido não pode pagar mais valor do que o que foi publicamente depositado nele. A prova abrange o sistema de prova de conhecimento zero do Ironwood, as regras dos circuitos e a contabilidade ao nível do livro-razão, embora não forneça garantias de privacidade.