Se você está perguntando sobre a verificação da oferta circulante da Zcash sob a proposta Ironwood, a ideia chave é:
Contexto
Uma vulnerabilidade crítica de falsificação foi descoberta na pool blindada Orchard da Zcash e foi corrigida em um upgrade de emergência. Embora atualmente não haja evidências de que o bug tenha sido explorado, as propriedades de privacidade da Orchard significam que os usuários não podem provar de forma independente que nenhum ilícito $ZEC foi criado.
O que muda com o Ironwood
A proposta de upgrade Ironwood cria uma nova pool blindada e efetivamente congela a antiga pool Orchard de gerar novas saídas internas. Os fundos só podem sair da Orchard através do mecanismo de contabilidade Turnstile existente da Zcash e se mover para o Ironwood.
Como Funciona a Verificação do Suprimento Circulante
Sob o Ironwood:
Os usuários podem rodar um nó e somar os saldos dos pools ativos.
O mecanismo Turnstile garante que não pode sair mais ZEC do Orchard do que o que entrou legitimamente.
Portanto, uma vez que o Ironwood é ativado, o protocolo em si fornece um limite superior verificável sobre o suprimento circulante.
Os usuários não precisam mais confiar nas declarações dos desenvolvedores sobre se o bug do Orchard foi explorado; eles podem verificar a consistência do suprimento a partir das regras de consenso e dos saldos do pool.
Por Que Isso Importa
A questão não resolvida após a correção do Orchard não é a vulnerabilidade em si, mas a incapacidade de verificar independentemente se o suprimento circulante permanece correto. O Ironwood é projetado especificamente para restaurar essa propriedade.
Evidências Potenciais de Exploração Passada
O Ironwood também pode revelar se ZEC falsificado já existiu:
Se a migração prosseguir e nenhum ZEC excessivo tentar sair do Orchard, isso seria uma forte evidência de que não ocorreu falsificação.
Se ZEC em excesso tentar migrar, o mecanismo Turnstile impediria sua entrada no novo pool, criando evidências observáveis na blockchain de que a exploração ocorreu.
Declaração de Verificação Concisa
A proposta Ironwood restaura a verificação do suprimento circulante forçando todos os fundos do Orchard a passar por um Turnstile reforçado por consenso para um novo pool blindado, permitindo que qualquer um que rode um nó verifique que a quantidade de ZEC em circulação não excede a quantidade contabilizada legitimamente pelo protocolo.
Se você está procurando uma verificação formal do modelo de contabilidade do suprimento ou uma explicação matemática do mecanismo Turnstile, posso detalhar as equações contábeis.