Estudo que produziu importantes notícias sobre privacidade em cripto descobriu que sistemas de prova de conhecimento zero, incluindo Railgun, PrivacyPools, Aleo e Aztec, são matematicamente imunes a ataques quânticos, pois dependem de segurança teórico-informacional em vez de criptografia, o que significa que permanecem seguros mesmo contra atacantes infinitamente poderosos, incluindo futuros computadores quânticos.
Notícias sobre privacidade em cripto chegaram na terça-feira com uma descoberta significativa: a mesma ameaça da computação quântica que desencadeou roteiros de emergência em Ripple, Bitcoin e Ethereum parece não se aplicar aos sistemas de prova de conhecimento zero que preservam a privacidade. Um estudo co-autoria de pesquisadores da Coinbase, juntamente com equipes de Stanford e da Ethereum Foundation, concluiu que redes como Railgun e PrivacyPools dependem de um modelo de segurança fundamentalmente diferente daquele que os computadores quânticos são projetados para atacar.
O estudo foi compartilhado com a DL News e conclui que os sistemas de prova de conhecimento zero “dependem de sistemas teórico-informacionais que são seguros mesmo contra atacantes infinitamente poderosos devido à forma como a informação é estruturada e compartilhada, e não devido à criptografia”. Essa distinção não é uma questão de grau. É uma diferença categórica entre segurança computacional e segurança teórico-informacional.
A segurança padrão do blockchain, incluindo a proteção em carteiras Bitcoin e contas Ethereum, depende da dureza computacional: a suposição de que quebrar o problema matemático subjacente requer mais computação do que qualquer atacante possui. Computadores quânticos usando o algoritmo de Shor podem, em teoria, resolver certas categorias desses problemas matemáticos exponencialmente mais rápido do que computadores clássicos, razão pela qual as assinaturas de curva elíptica do Bitcoin são consideradas potencialmente vulneráveis.
As provas de conhecimento zero funcionam de forma diferente. Elas permitem que uma parte prove o conhecimento de um segredo sem revelar o próprio segredo, e a garantia de segurança vem de princípios teórico-informacionais, e não da dificuldade computacional. Mesmo um computador com poder de processamento infinito não consegue extrair mais informações do que a prova foi projetada para revelar. Essa propriedade estrutural torna as ferramentas de privacidade baseadas em ZK imunes ao algoritmo de Shor e a qualquer ataque quântico que vise a dureza computacional.
Railgun é um protocolo de privacidade que oculta valores e endereços de transação usando provas ZK na Ethereum. PrivacyPools é um protocolo projetado para permitir privacidade em conformidade, permitindo que os usuários provem que seus fundos não vêm de fontes sancionadas sem revelar seu histórico completo de transações. Aleo é uma blockchain de Camada 1 construída nativamente em torno de provas ZK. Aztec é uma Camada 2 da Ethereum com execução privada de contratos inteligentes via provas ZK.
Todos os quatro dependem da segurança teórico-informacional para suas garantias de privacidade centrais. A conclusão do estudo da Coinbase significa que, quando os computadores quânticos eventualmente amadurecerem a ponto de ameaçar a segurança chave do Bitcoin, as propriedades de privacidade dessas redes permanecerão intactas. Sua vulnerabilidade, se houver, viria de outros componentes de sua arquitetura, como as assinaturas de curva elíptica subjacentes usadas para autenticação de contas, que é uma camada de segurança separada do próprio sistema de prova ZK.
A descoberta surge no momento em que o debate mais amplo sobre o risco quântico do Bitcoin está gerando atrito de governança em todo o ecossistema. O debate sobre a ameaça quântica no Bitcoin tem se concentrado em forçar a migração de moedas ou em depender de atualizações opcionais. A infraestrutura de privacidade baseada em ZK contorna esse debate inteiramente, pois seu modelo de segurança central já era imune a ataques quânticos por design.
Para desenvolvedores DeFi e usuários institucionais que avaliam escolhas de infraestrutura em horizontes de longo prazo, o estudo fornece uma base concreta para tratar as ferramentas de privacidade baseadas em ZK como categoricamente mais à prova de futuro do que as contas blockchain tradicionais baseadas em transparência, no que diz respeito à ameaça quântica. O co-fundador da Ethereum, Vitalik Buterin, endossou publicamente protocolos como o Railgun por motivos mais amplos, argumentando que a privacidade deveria ser uma opção padrão para os usuários de blockchain. A descoberta da imunidade quântica adiciona uma dimensão de segurança a esse argumento.
