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, explicou ele, está nos 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 compartilhou o receio de que, se a China desenvolvesse sistemas capazes de quebrar a criptografia moderna, provavelmente não avisaria 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ários, ela poderá comprometer as bases de segurança da criptografia tradicional e das provas de conhecimento zero. Isso poderia resultar em dados criptografados sendo decodificados e em provas geradas por ZK-proofs 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 nenhum padrão comparável de ZK-proof pós-quântico atingiu maturidade. Essa é uma área de pesquisa em que Di Bella atua por meio da empresa de desenvolvimento de contratos inteligentes que cofundou, a Mood Global Services.
Di Bella destacou o Permutations over Lagrange bases for Oecumenical Noninteractive arguments of Knowledge (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 quanto tempo 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 investe em algo que não entende”, disse ele.
Di Bella afirmou que o desenvolvimento de provas 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 ZK-proof é programada de maneira que lembra a complexidade da programação nos primórdios da computação.
Embora hoje estejamos acostumados a linguagens de programação de alto nível que abstraem a complexidade, programar esse tipo de sistema é “definitivamente matemática novamente”, disse Di Bella.
