Zcash atinge marco histórico: Prova matemática elimina risco de falsificação no novo protocolo Ironwood

Pesquisadores da Zcash alcançaram um feito sem precedentes na segurança criptográfica ao publicar uma prova verificada por máquina que garante a integridade do novo pool blindado Ironwood. Através de mais de 2.700 teoremas escritos na linguagem Lean, o projeto assegura que o sistema é imune a bugs de falsificação indetectáveis, estabelecendo um novo padrão de confiança para protocolos de privacidade.

Este avanço foca na propriedade de integridade de saldo, garantindo que o ecossistema Zcash não emita mais valor do que o efetivamente depositado. Embora a verificação formal não cubra todas as garantias de privacidade, o impacto para a segurança da rede e para a adoção institucional de tecnologias de prova de conhecimento zero (ZKP) é massivo, mitigando riscos sistêmicos de inflação não autorizada.

O trabalho estabelece uma propriedade de segurança crucial conhecida como integridade de saldo, garantindo que o pool blindado não possa pagar mais valor do que entrou publicamente no sistema. A prova abrange componentes vitais, incluindo o sistema de prova de conhecimento zero (ZKP), regras de circuito e contabilidade em nível de ledger. É importante notar que, embora a integridade financeira esteja garantida, a prova não cobre as garantias de privacidade separadas do Ironwood.