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

Investigadores da Zcash concluíram na terça-feira a verificação formal do Ironwood, publicando uma prova verificável por máquina que a nova pool blindada da rede não contém bugs de contrafação indetetável ao abrigo das suas hipóteses criptográficas declaradas. O Project Tachyon disse que a prova garante que a pool blindada não pode pagar mais valor do que o que nela entrou publicamente. O Ironwood foi introduzido através da atualização NU6.3 da Zcash em resposta a uma vulnerabilidade descoberta na pool blindada Orchard que, em teoria, poderia ter permitido contrafação indetetável de ZEC.

Project Tachyon Publishes Lean-Based Proof With 2,700+ Theorems

O Project Tachyon disse na terça-feira que a prova, escrita na linguagem de programação Lean, inclui mais de 2.700 teoremas e demorou mais de um mês a ser concluída por três equipas de investigadores e criptógrafos. O trabalho estabelece uma propriedade de segurança conhecida como integridade de saldo, concebida para garantir que a pool blindada não pode pagar mais valor do que o que nela entrou publicamente.

Verification Covers Zero-Knowledge Proof System and Circuit Rules

Os investigadores disseram que a prova cobre os componentes necessários para essa propriedade, incluindo o sistema de provas de conhecimento zero do Ironwood, regras de circuitos e contabilidade ao nível do livro-razão. A prova não cobre as garantias de privacidade separadas do Ironwood.

Ironwood Responds to Orchard Shielded Pool Vulnerability

O Ironwood foi introduzido através da atualização NU6.3 da Zcash em resposta a uma vulnerabilidade descoberta na sua pool blindada Orchard que, em teoria, poderia ter permitido contrafação indetetável de ZEC. Os developers da Zcash disseram que não encontraram evidências de que a falha tivesse sido explorada. A nova pool foi concebida para restaurar a confiança na integridade da oferta da Zcash.

Turnstile Mechanism Blocks Hypothetical Excess Coins From Ironwood

Os fundos a migrar da Orchard têm de passar por um ponto de controlo público de contabilidade conhecido como turnstile, concebido para impedir que quaisquer moedas em excesso hipotéticas entrem no Ironwood. À medida que os fundos saem da Orchard, o processo poderá também fornecer evidência crescente sobre se a antiga pool foi explorada.

FAQ

O que é que os investigadores da Zcash concluíram na terça-feira?
Os investigadores da Zcash concluíram na terça-feira a verificação formal do Ironwood, publicando uma prova verificável por máquina de que a nova pool blindada da rede não contém bugs de contrafação indetetável ao abrigo das suas hipóteses criptográficas declaradas.

Porque é que o Ironwood foi introduzido através da atualização NU6.3 da Zcash?
O Ironwood foi introduzido através da atualização NU6.3 da Zcash em resposta a uma vulnerabilidade descoberta na sua pool blindada Orchard que, em teoria, poderia ter permitido contrafação indetetável de ZEC. A nova pool foi concebida para restaurar a confiança na integridade da oferta da Zcash.

O que é o mecanismo de turnstile no Ironwood?
O turnstile é um ponto de controlo público de contabilidade por onde os fundos a migrar da Orchard têm de passar. Foi concebido para impedir que quaisquer moedas em excesso hipotéticas entrem no Ironwood.