Gianluca Di Bella, pesquisador de contratos inteligentes especializado em provas de conhecimento zero, disse que o perigo representado pela computação quântica não é uma preocupação distante, é uma ameaça atual.
Em entrevista ao Cointelegraph no escritório da ONU em Copenhague, Dinamarca, Di Bella afirmou acreditar que “devemos migrar agora” para os padrões de criptografia pós-quântica. O motivo, explicado ele, são nossos chamados ataques de “colher agora, decifrar depois”, em que dados são coletados e armazenados até que tecnologias futuras tornem a decodificação possível.
Por exemplo, se a identidade de um dissidente em um país totalitário estiver protegida apenas por criptografia, é necessário garantir que esses dados permaneçam seguros por 10, 15, 20 anos ou mais no futuro. Di Bella disse que a computação quântica comercial prática pode estar a 10 ou 15 anos de distância, mas alertou que “grandes instituições como Microsoft ou Google podem ter uma solução em alguns anos”.
Di Bella levantou um problema que chama de “lavagem quântica”, que ocorre quando empresas fazem afirmações duvidosas sobre as propriedades e capacidades de sistemas quânticos. Ainda assim, ele participou do recebimento de que, se a China desenvolvesse sistemas capazes de quebrar a criptografia moderna, provavelmente não alertaria o restante do mundo sobre sua nova capacidade.
Provas de conhecimento zero pós-quânticas
Quando ou se, segundo alguns, a computação quântica atingir o poder e a escala necessária, ela poderá comprometer as bases de segurança da criptografia tradicional e das provas de conhecimento zero. Isso pode resultar em dados criptografados sendo decodificados e em provas geradas por provas ZK tradicionais sendo falsificadas, permitindo a criação de declarações falsas ou a evasão de verificações.
Vários padrões de criptografia pós-quântica já existem, alguns aprovados pelo Instituto Nacional de Padrões e Tecnologia (NIST), especificamente o ML-KEM, ML-DSA e SLH-DSA. Mas nenhuma especificação de ZK-proof pós-quântico atualizado. Essa é uma área de pesquisa em que a Di Bella atua por meio da empresa de desenvolvimento de contratos inteligentes que cofundou, a Mood Global Services.
Di Bella destacou o Permutações sobre bases de Lagrange para argumentos ecumênicos não interativos de conhecimento (PLONK) como uma implementação de ZK-proof pós-quântico. Ainda assim, elas não são “testadas em campo” e atualmente são vistas apenas como implementações de pesquisa.
Um longo caminho pela frente
Ao discutir o tempo que espera que o desenvolvimento do PLONK leve até alcançar um estágio adequado para uso no mundo real, Di Bella observou que é difícil fazer previsões precisas de cronograma e lamentou a falta de investimento no setor. Ele destacou que se trata de um tema de nicho e que trabalhar com isso exige conhecimento altamente especializado, o que tende a reduzir investimentos e atrasar o progresso.
“Se você é gerente de pesquisa e desenvolvimento de qualquer empresa, não invista em algo que não entende”, disse ele.
Di Bella afirmou que o desenvolvimento dos testes ZK é realizado em programação de baixo nível na linguagem Rust, com pouca abstração e alta complexidade. De certa forma, a maioria dos sistemas de prova ZK é programado de maneira que lembra a complexidade da programação nos primórdios da computação.
Embora hoje estejamos familiarizados com linguagens de programação de alto nível que abstraem a complexidade, programar esse tipo de sistema é “definitivamente matemático novamente”, disse Di Bella.
Fontecointelegraph
