A Zcash concluiu a prova de verificação do Ironwood contra bugs de falsificação

Pesquisadores da Zcash concluíram a verificação formal do Ironwood na terça-feira, publicando uma prova verificada por máquina de que a nova pool shielded da rede não contém bugs de falsificação não detectável sob suas premissas criptográficas declaradas. O Projeto Tachyon disse que a prova garante que a pool shielded não possa pagar mais valor do que o que foi publicamente inserido nela. O Ironwood foi introduzido por meio da atualização NU6.3 da Zcash em resposta a uma vulnerabilidade descoberta na pool shielded Orchard, que poderia teoricamente ter permitido falsificação não detectável de ZEC.

Projeto Tachyon publica prova baseada em Lean com 2.700+ teoremas

O Projeto Tachyon disse na terça-feira 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, criada para garantir que a pool shielded não possa pagar mais valor do que o que foi publicamente inserido nela.

A verificação abrange o sistema de prova de conhecimento zero e regras do circuito

Os pesquisadores disseram que a prova cobre os componentes necessários para essa propriedade, incluindo o sistema de prova de conhecimento zero do Ironwood, regras de circuito e contabilidade no nível do ledger. A prova não cobre as garantias separadas de privacidade do Ironwood.

Ironwood responde à vulnerabilidade da pool shielded Orchard

O Ironwood foi introduzido por meio da atualização NU6.3 da Zcash em resposta a uma vulnerabilidade descoberta na pool shielded Orchard, que poderia teoricamente ter permitido falsificação não detectável de ZEC. Desenvolvedores da Zcash disseram que não encontraram evidências de que a falha tenha sido explorada. A nova pool foi projetada para restaurar a confiança na integridade da oferta da Zcash.

Mecanismo de turnstile bloqueia moedas em excesso hipotéticas do Ironwood

Os fundos migrando da Orchard precisam passar por um checkpoint público de contabilidade conhecido como turnstile, que foi projetado para impedir que qualquer moeda em excesso hipotética entre no Ironwood. À medida que os fundos saem da Orchard, o processo também pode fornecer evidências crescentes sobre se a pool antiga foi explorada.

FAQ

O que os pesquisadores da Zcash concluíram na terça-feira?
Pesquisadores da Zcash concluíram a verificação formal do Ironwood na terça-feira, publicando uma prova verificada por máquina de que a nova pool shielded da rede não contém bugs de falsificação não detectável sob suas premissas criptográficas declaradas.

Por que o Ironwood foi introduzido por meio da atualização NU6.3 da Zcash?
O Ironwood foi introduzido por meio da atualização NU6.3 da Zcash em resposta a uma vulnerabilidade descoberta na pool shielded Orchard, que poderia teoricamente ter permitido falsificação não detectável de ZEC. A nova pool foi projetada para restaurar a confiança na integridade da oferta da Zcash.

O que é o mecanismo de turnstile no Ironwood?
O turnstile é um checkpoint público de contabilidade pelo qual os fundos migrando da Orchard precisam passar. Ele foi projetado para impedir que qualquer moeda em excesso hipotética entre no Ironwood.