Uma troca pública entre o Polygon Chief Technology Officer Mudit Gupta e o fundador do Zcash, Zooko Wilcox, reabriu perguntas sobre se os sistemas de criptomoeda focados na privacidade podem garantir que seu fornecimento monetário permaneça intacto. A disputa centra-se em uma vulnerabilidade de falsificação de 2019 no pool de transações protegidas do Zcash e se os mecanismos de auditoria da rede podem provar definitivamente que nenhuma criação ilícita de moedas ocorreu.
O que Saber:
- O CTO da Polygon questionou se o limite de 21 milhões de moedas do Zcash pode ser verificado devido a um bug de cunhagem infinita descoberto em março de 2019 e corrigido sete meses depois
- O fundador do Zcash argumenta que mecanismos de contabilidade "turnstile" tornam a falsificação indetectável impossível ao rastrear todo o valor que entra e sai dos pools protegidos
- O desacordo técnico destaca a tensão entre a privacidade das transações e a auditabilidade do fornecimento no design de criptomoedas
O Confronto Público
Gupta iniciou o debate no X com uma declaração direta sobre a opacidade do Zcash. "Ninguém sabe quantos tokens Zcash realmente existem", escreveu ele. "Ativos protegidos, como o Zcash, são difíceis de auditar. Em março de 2019, foi detectado um bug de cunhagem infinita em ativos protegidos do Zcash. Ele foi corrigido em outubro de 2019, mas não há uma maneira garantida de dizer se o bug foi explorado."
Ele posteriormente moderou sua posição, afirmando que a análise heurística sugere que a vulnerabilidade provavelmente não foi explorada.
"Com base na heurística, é improvável que o bug tenha sido explorado, então não há motivo para pânico", acrescentou Gupta.
Ele caracterizou seus comentários como identificando uma categoria de risco inerente, em vez de alegar exploração real. "Estou apenas destacando um vetor de ataque com Zcash e pools de privacidade similares", ele esclareceu.
Wilcox rejeitou a caracterização como imprecisa. Ele direcionou Gupta a auditorias públicas acessíveis de blockchain que monitoram a base monetária. "Elas mostram a integridade da base monetária do Zcash", escreveu Wilcox, acrescentando que "uma análise de teoria dos jogos direta mostra ainda zero falsificações."
O fundador do Zcash ofereceu um experimento mental envolvendo o pool Sprout obsoleto.
"Suponha que alguém falsificou ZEC no pool Sprout antes de 28 de outubro de 2018," ele escreveu. "Então há uma 'corrida às saídas' entre o falsificador e suas vítimas. Quem mover seu ZEC para fora do pool Sprout primeiro fica com todo o dinheiro. Conclusão: não houve falsificação."
Wilcox acrescentou que, mesmo que a falsificação tivesse ocorrido, o fornecimento total permaneceria restrito. "Mesmo que houvesse falsificação... ainda haveria apenas 16,355,911 ZEC em existência, e ainda apenas 21 M sempre", ele escreveu. "Obrigado, turnstiles!"
A História Técnica
A vulnerabilidade afetou o Sprout, a implementação original do pool protegido do Zcash. A Electric Coin Company e a Fundação Zcash descobriram a falha em particular em 2018 e a divulgaram publicamente em 5 de fevereiro de 2019. A atualização do Sapling, que foi ativada em 28 de outubro de 2018, já havia removido o código vulnerável antes da divulgação pública.
Zcash implementou a contabilidade turnstile para abordar possíveis explorações. O mecanismo funciona registrando todas as transferências de valor na fronteira entre pools transparentes e protegidos. Como as transações de entrada e saída revelam valores nesses pontos de transição, a rede pode calcular um saldo esperado do pool. Qualquer tentativa de retirar mais valor do que entrou torna-se detectável.
A Electric Coin Company declarou na divulgação que não encontrou evidência de falsificação. A organização manteve esta posição ao descrever os turnstiles como uma salvaguarda para proteger a integridade monetária, mesmo em cenários de exploração hipotética.
A analogia da "corrida às saídas" de Wilcox ilustra a teoria dos jogos.
Um atacante que criou moedas fraudulentas dentro do Sprout competiria com detentores legítimos para retirar antes que as restrições do turnstile preventivas impedissem mais saídas. A ausência de drenagens de pool inexplicadas ou reconciliações negativas sugere que a falsificação não ocorreu em grande escala.
A resposta de Gupta focou em limites epistemológicos em vez de atacar as intenções de design do Zcash. "Talvez eu devesse ter sido mais claro", ele escreveu. "Devido à possibilidade de bugs, não há garantia de que os pools protegidos tenham o mesmo número de Zcash circulante dentro deles quanto o Zcash transparente que entrou. Portanto, você não pode ter 100% de certeza do fornecimento total real."
Ele reconheceu que o risco prático permanece mínimo. "A probabilidade de um bug como esse ser explorado é essencialmente 0," afirmou Gupta.
Compreendendo a Mecânica
O modelo econômico do Zcash espelha a estrutura do Bitcoin. O protocolo estabelece um teto de fornecimento fixo de 21 milhões de moedas distribuídas por meio de um cronograma de emissão baseado em halving. Esse limite aparece em toda a documentação oficial.
Protocolos de conhecimento zero permitem que o Zcash oculte montantes de transações individuais e identidades de participantes dentro de pools protegidos. No entanto, esses recursos de privacidade criam um desafio de auditoria que blockchains transparentes não enfrentam. O protocolo deve equilibrar o ocultamento de transações específicas enquanto mantém um fornecimento agregado verificável.
Os turnstiles funcionam como pontos de verificação entre as porções transparentes e privadas da rede. Quando moedas se movem de endereços transparentes para pools protegidos, a blockchain registra o valor do depósito. Quando moedas saem para endereços transparentes, o valor do saque torna-se visível. A diferença cumulativa entre depósitos e saques registrados estabelece um saldo máximo possível protegido.
Este método de contabilidade não pode revelar se a falsificação ocorreu dentro de um pool protegido durante uma janela de tempo específica. No entanto, ele pode detectar se mais valor tenta sair do que os depósitos registrados permitiriam. A distinção destaca a tensão central no debate.
Considerações Finais
A troca ilustra questões fundamentais sobre verificabilidade em sistemas de criptomoeda que preservam a privacidade. Embora os mecanismos de turnstile do Zcash forneçam fortes evidências probabilísticas contra a falsificação indetectada, o debate revela padrões diferentes para o que constitui prova definitiva em ambientes criptográficos adversariais. O ZEC foi negociado a US$ 325 no momento da publicação.