Equipe do protocolo anunciou prova formal, verificada por máquinas, que elimina risco de fraudes invisíveis, com mais de 2.700 teoremas validados. Formalização em Lean levou mais de um mês e envolveu três equipes de criptógrafos.
No dia 29 de julho de 2026, os pesquisadores da Zcash anunciaram um avanço significativo na segurança do seu sistema. Eles publicaram uma prova formal que demonstra que o Ironwood elimina a possibilidade de falhas de falsificação indetectáveis. Essa conquista foi alcançada por meio da verificação de mais de 2.700 teoremas, que foram verificados por máquinas, estabelecendo um novo padrão de segurança para a rede.
A prova foi desenvolvida utilizando a linguagem de programação Lean e levou mais de um mês para ser concluída. Três equipes de pesquisadores e criptógrafos colaboraram para garantir que o novo pool protegido não apresentasse falhas sob as premissas criptográficas estabelecidas. Este trabalho é um marco importante para a segurança de transações na blockchain do Zcash.
Os pesquisadores enfatizaram que a prova abrange componentes críticos, incluindo o sistema de prova de conhecimento zero de Ironwood, as regras de circuito e a contabilidade em nível de livro-razão. Contudo, é importante notar que a prova não aborda as garantias de privacidade que são parte integrante do Ironwood.
Preços vistos na Amazon em 14/08 e sujeitos a alteração. Como Associado da Amazon, recebo por compras qualificadas.
A introdução do Ironwood ocorreu em resposta a uma vulnerabilidade identificada no pool protegido Orchard. Essa vulnerabilidade, que poderia ter possibilitado a falsificação indetectável de ZEC, levou os desenvolvedores a reforçar a segurança do sistema. Embora não tenham encontrado evidências de que essa falha tenha sido explorada, a equipe do Zcash tomou decisões proativas para restaurar a confiança na integridade do fornecimento da moeda.
O processo de migração de fundos do Orchard para o Ironwood inclui um ponto de controle de contabilidade pública, conhecido como catraca. Este mecanismo foi projetado para impedir que qualquer excesso de moedas entre no novo pool, garantindo que apenas os valores corretos sejam transferidos. À medida que os fundos são retirados do Orchard, o sistema também pode fornecer evidências sobre possíveis explorações do fundo anterior, aumentando a transparência e segurança da operação.
Fonte: Cointelegraph Brasil
Siga nossas redes e entre no nosso canal exclusivo de notícias.
