Bug de mint infinito no circuito Zcash Orchard: falha permitia emissão ilimitada de ZEC sem rastros on-chain

O bug no circuito Orchard não era um erro de implementação comum, mas uma falha de soundness em uma prova zero-knowledge: o sistema aceitava provas falsas como válidas porque uma multiplicação de curva elíptica no gadget halo2_gadgets não verificava restrições suficientes em entradas arbitrárias. Isso permitia gerar ZEC ilimitado sem assinatura, sem transação visível e sem alteração no estado da cadeia, exatamente o oposto do que se espera de um mecanismo de privacidade. A falha existia desde maio de 2022, quatro anos inteiros, e só foi encontrada graças a uma auditoria impulsionada por Claude Opus 4.8, modelo lançado um dia antes da descoberta, o que mostra que IA não está apenas explorando vulnerabilidades, mas agora está ajudando a encontrá-las em camadas criptográficas consideradas 'impenetráveis'.

A ZODL reagiu com duas forks consecutivas em 48 horas: primeiro uma soft fork para isolar o Orchard, depois uma hard fork (NU6.2) para corrigir o circuito. Mas o dano foi mais profundo que técnico. O preço do ZEC despencou 50% em dois dias, e Arthur Hayes liquidou sua posição inteira, não por desconfiança na criptografia subjacente, mas pela perda de confiança na contabilidade verificável. Privacidade sem integridade é inútil para moedas digitais: se você não pode provar que o suprimento não foi inflado, não há diferença entre ZEC e um token emitido por um contrato com mint admin.

Em 2018, uma falha similar no Zcash permitiu teoricamente emissão ilimitada, mas exigia conhecimento avançado de zk-SNARKs e deixava rastros indiretos. Desta vez, o bug era mais sutil, mais antigo (4 anos ativo) e totalmente silencioso, nenhuma transação, nenhum log, nenhuma anomalia detectável por análise on-chain. Também é a primeira vez que uma IA (Claude Opus 4.8) demonstra ZEC falso em ambiente local como parte da validação da exploração, não apenas sugerindo linhas suspeitas de código. Isso muda o padrão de auditoria: já não basta revisão humana ou testes unitários; agora é preciso verificar formalmente cada restrição lógica em circuitos ZK.

Essa falha expõe um paradoxo estrutural das moedas de privacidade: quanto mais eficaz o ocultamento, menos auditável o suprimento. O Orchard foi projetado para esconder tudo, inclusive inflação. Agora, a Shielded Labs propõe 'contabilidade de catraca' para NU7, um mecanismo que permitirá aos usuários comprovar, via merkle proofs, que nenhum ZEC foi criado fora das regras. Se der certo, será o primeiro caso em que uma rede de privacidade adota uma solução de verificação pós-fato, não para impedir a fraude, mas para torná-la impossível de negar. E isso tem implicações diretas para Monero, Firo e qualquer projeto que dependa de circuitos ZK manuais sem verificação formal.