Implementation and Evaluation of a Dilithium-Based Post-Quantum Blockchain Prototype

O mundo digital depende de um sistema de fechaduras e chaves para manter nosso dinheiro, votos e segredos seguros. Durante décadas, essas fechaduras foram construídas sobre enigmas matemáticos que eram fáceis de resolver para humanos, mas quase impossíveis até mesmo para os computadores mais poderosos decifrarem. No entanto, cientistas sabem há muito tempo que um novo tipo de computador, um que utiliza as estranhas regras da física quântica, poderia eventualmente quebrar essas fechaduras em segundos. Para se preparar para esse futuro, pesquisadores estão projetando novas fechaduras baseadas em diferentes desafios matemáticos que nem mesmo computadores quânticos conseguem resolver. Esse processo é chamado de criptografia pós-quântica. Mas simplesmente trocar a fechadura não é suficiente. Uma fechadura é tão boa quanto a porta na qual ela está instalada, as dobradiças que a sustentam e as pessoas que decidem quando abri-la. Se o batente da porta for fraco ou as pessoas estiverem confusas, a fechadura mais forte do mundo não manterá ninguém seguro.

Uma equipe de pesquisadores da Universidade Misr para Ciência e Tecnologia decidiu testar essa ideia construindo um modelo funcional de um livro de registros digital, um sistema frequentemente chamado de blockchain, que é usado para registrar votos e transações. Eles começaram com um protótipo que utilizava uma versão inicial de uma nova fechadura resistente ao quantum e depois a substituíram pela versão oficialmente padronizada. O objetivo deles não era apenas ver se a nova fechadura funcionava, mas observar como todo o sistema se comportava quando a mudança era feita. Eles queriam ver se o resto da máquina — as partes que verificam identidades, contam votos e armazenam dados — conseguiria lidar com a transição sem quebrar. O que descobriram foi que a nova fechadura desempenhou quase exatamente tão bem quanto a antiga, mas os problemas reais estavam escondidos nos cantos do software, na forma como os dados eram escritos e na forma como as diferentes partes do sistema se comunicavam entre si.

Os pesquisadores começaram medindo a velocidade bruta da nova fechadura, conhecida como ML-DSA-44, contra a versão mais antiga que vinham utilizando. Eles realizaram milhares de testes para ver quão rápido o sistema podia assinar uma mensagem e verificar se a assinatura era genuína. Os resultados mostraram que a nova fechadura não foi uma melhoria dramática nem um desastre; era ligeiramente mais lenta, cerca de cinco a oito por cento, mas a diferença era pequena o suficiente para não atrasar um sistema do mundo real. Isso foi um alívio, pois significava que a mudança criptográfica central era gerenciável. No entanto, a equipe rapidamente percebeu que a velocidade da fechadura era a parte menos interessante da história. As descobertas mais significativas vieram de observar como o sistema lidava com as mensagens que passavam pela fechadura.

Em seu modelo, o sistema foi projetado para finalizar uma decisão, como aprovar um bloco de votos, uma vez que uma certa quantidade de confiança fosse reunida de um grupo de validadores. Os pesquisadores criaram um cenário onde oitenta por cento dos validadores confiáveis concordaram em aprovar um bloco que era, na verdade, quebrado e inválido. Como o sistema foi projetado para confiar nas assinaturas, ele aceitou a aprovação e finalizou o bloco ruim. Isso aconteceu em cada uma das vinte mil provas que realizaram. As assinaturas eram matematicamente perfeitas, provando que os validadores de fato haviam enviado a mensagem, mas o sistema falhou ao não verificar se a mensagem em si fazia sentido. Era como um segurança que verifica o cartão de identidade de um visitante perfeitamente, mas não percebe que o visitante está tentando entrar em uma sala onde não tem o direito de estar. A fechadura funcionou, mas a regra para abrir a porta estava falha.

A equipe também descobriu um erro sutil, mas perigoso, na forma como o sistema verificava quem estava enviando uma mensagem. Em uma parte do código antigo, o sistema perguntava à pessoa que enviava uma mensagem: "Quem é você?" e então usava essa resposta para encontrar a chave correta para verificar a assinatura. O sistema nunca verificava se o nome que a pessoa fornecia correspondia ao nome escrito dentro da mensagem selada que ela enviou. Em um teste controlado, os pesquisadores enviaram vinte mil mensagens onde o remetente alegava ser uma pessoa, mas a mensagem estava assinada como se viesse de outra. O sistema antigo aceitou todas elas. Foi apenas quando os pesquisadores adicionaram uma verificação simples para comparar os dois nomes que o sistema começou a rejeitar as mensagens com divergências. Isso mostrou que um sistema pode ser matematicamente seguro, mas ainda assim vulnerável se confiar na informação errada para tomar suas decisões.

Outra descoberta importante envolveu a forma como os dados eram armazenados. Os pesquisadores compararam três maneiras diferentes de registrar os dados digitais. Um método utilizava um formato de texto comum que transformava dados binários em longas sequências de letras e números, tornando os arquivos muito maiores. Outro método utilizava um formato mais eficiente, mas mantinha as mesmas sequências longas. O terceiro método utilizava o formato eficiente, mas armazenava os dados como bytes brutos, da maneira como um computador naturalmente os vê. Os resultados foram impressionantes: mudar para o formato de bytes brutos reduziu o tamanho dos registros em quase metade em comparação com a versão pesada em texto. Isso significava que um sistema usando o novo método precisaria de significamente menos espaço de armazenamento e poderia mover dados mais rapidamente, não porque a fechadura fosse melhor, mas porque a forma como os dados eram embalados era mais inteligente.

Finalmente, a equipe testou como o sistema se comportava quando as diferentes partes da rede estavam rodando em processos de computador separados, simulando uma rede distribuída real. Eles introduziram pequenos atrasos para mimetizar o tempo que uma mensagem leva para percorrer uma rede. Em um teste específico, uma mensagem chegou apenas uma fração de segundo após o sistema já ter tomado sua decisão. O sistema marcou corretamente a mensagem como atrasada, mas ainda assim a contou para o resultado final. Isso criou uma condição de corrida onde o resultado poderia mudar dependendo do tempo exato da rede. Os pesquisadores corrigiram essa lógica e repetiram os testes, confirmando que o sistema agora ignoraria corretamente as mensagens atrasadas. Isso destacou que, mesmo que a criptografia seja perfeita, o tempo de quando um sistema para de ouvir pode ser tão importante quanto a segurança das mensagens que ele ouve.

O estudo concluiu que a transição para um futuro resistente ao quantum não é apenas sobre substituir um algoritmo matemático. É uma jornada complexa que exige a verificação de cada camada do sistema, desde a forma como os dados são escritos até as regras que governam como as decisões são tomadas. A nova fechadura desempenhou bem, mas os pesquisadores descobriram que os riscos reais estavam na lógica da aplicação, nas verificações de identidade e na coordenação entre as diferentes partes do sistema. Para este protótipo, o sucesso da migração dependeu tanto da correção desses problemas circundantes quanto do desempenho do novo esquema de assinatura. O trabalho serve como um lembrete de que, no mundo digital, uma fechadura forte é apenas uma parte de uma porta segura, e o restante do batente deve ser tão forte quanto ela.