GAUGE: A Formal Framework for Measuring Cryptographic Security under Heterogeneous Adversary Cost Models

No mundo digital, a segurança dos nossos segredos depende de fechaduras matemáticas que são incrivelmente difíceis de abrir. Durante décadas, especialistas tentaram medir a força dessas fechaduras com um único número, geralmente expresso como um certo número de "bits". Esse número deve dizer quanto esforço, em termos de tempo e poder computacional, um atacante precisaria para quebrar o código. No entanto, esse número único esconde uma complicação crucial: o valor depende inteiramente de como decidimos contar esse esforço. Se valorizarmos a memória do computador como gratuita, uma fechadura pode parecer muito forte. Se decidirmos que a memória é cara de usar, essa mesma fechadura pode subitamente parecer fraca. Diferentes organizações, como órgãos de padronização governamentais e agências de segurança, usam diferentes formas de contar esses custos. Quando o fazem, frequentemente acabam com respostas diferentes sobre qual fechadura é mais segura, o que gera confusão sobre quais sistemas confiar e quando mudar para novos.

Um novo estudo introduz uma estrutura chamada GAUGE, que muda a forma como olhamos para este problema. Em vez de forçar cada sistema de segurança em um número único e rígido, os pesquisadores tratam a segurança como um perfil flexível que se desloca dependendo das regras do jogo. Imagine um mapa onde o terreno muda de forma com base no preço dos recursos; um caminho que parece seguro sob certos preços pode tornar-se perigoso sob outros. Ao mapear esses cenários inteiros, a equipe consegue ver exatamente onde e por que diferentes sistemas de segurança se cruzam. Eles descobriram que, para muitas das novas e avançadas fechaduras preparadas para o futuro, a resposta para "qual é mais segura?" não é um fato simples. É uma questão que depende inteiramente de qual método de contabilidade você escolher.

Os pesquisadores aplicaram este novo método aos mais recentes padrões criptográficos, especificamente aqueles projetados para resistir a ataques de futuros computadores quânticos. Eles pegaram um sistema específico e amplamente utilizado chamado ML-KEM e o compararam com um sistema clássico e bem compreendido chamado AES. Sob as regras padrão usadas pelo Instituto Nacional de Padrões e Tecnologia dos EUA (NIST), que contam apenas o tempo necessário para executar um ataque, o novo sistema pareceu ligeiramente mais fraco que o clássico. No entanto, quando os pesquisadores ajustaram as regras para incluir o custo da memória — um fator que algumas agências de segurança europeias consideram crítico — o novo sistema subitamente pareceu muito mais forte. O estudo provou que uma pequena mudança na forma como a memória é precificada, apenas uma diferença de 4,5% em seu valor relativo ao tempo, é suficiente para inverter completamente o ranking. Isso não é um erro ou um erro de cálculo; é um fato geométrico fundamental sobre como esses sistemas se comportam. Os pesquisadores mostraram que nenhum número único e perfeito pode capturar a verdade para todos, porque os sistemas genuinamente se cruzam dependendo da perspectiva.

Para resolver o problema de tomar decisões quando a resposta depende da sua perspectiva, a equipe desenvolveu uma forma de classificar essas relações. Eles criaram um sistema que pode dizer se uma fechadura é estritamente melhor que outra independentemente das regras, se é melhor apenas sob condições específicas, ou se as duas são simplesmente incomparáveis porque se cruzam. Para as novas fechaduras resistentes ao quantum, o estudo descobriu que elas são frequentemente incomparáveis às suas contrapartes clássicas. Isso significa que escolher uma sobre a outra não é uma questão de encontrar a fechadura objetivamente mais forte, mas sim uma escolha consciente sobre qual modelo de custo você deseja confiar. O estudo fornece um certificado matemático que pode verificar esses cruzamentos, permitindo que os órgãos de padronização vejam exatamente onde residem seus desacordos e entendam que ambos os lados podem estar matematicamente corretos dentro de seus próprios frameworks escolhidos.

Além de apenas comparar fechaduras, a estrutura ajuda no planejamento para o futuro. Os pesquisadores analisaram a história de como a velocidade com que os hackers melhoraram sua capacidade de quebrar códigos nos últimos vinte anos. Eles descobriram que, para certos tipos de problemas matemáticos, o esforço necessário para quebrá-los caiu quase dez bits de segurança a cada ano durante um período específico. Usando esses dados, eles construíram um modelo de risco que separa a incerteza de "o quão rápido os hackers ficarão melhores" da incerteza de "qual modelo de custo está correto". Isso permite que as organizações calculem por quanto tempo podem manter um segredo com segurança. Por exemplo, se uma empresa precisa proteger um documento por cinco anos, o estudo sugere uma estratégia específica de misturar fechaduras antigas e novas para minimizar o risco. Mas se precisarem proteger algo por trinta anos, a matemática mostra que a mesma estratégia pode ser insuficiente, exigindo uma transição muito mais precoce para a nova tecnologia.

O estudo também testou essas ideias em simulações de hardware real para garantir que as medições fossem precisas. Eles realizaram experimentos em um computador quântico simulado para ver como o custo de quebrar um código muda quando você conta as portas físicas da máquina versus o tempo que ela leva. A simulação confirmou que a ordem de segurança pode, de fato, reverter dependendo de como você conta, validando as previsões teóricas. Os pesquisadores embalaram todas as suas ferramentas, dados e etapas de verificação em um conjunto de ferramentas público que pode reproduzir cada tabela e descoberta em menos de sete segundos. Essa transparência garante que os resultados não sejam apenas um exercício teórico, mas um instrumento prático que qualquer pessoa pode usar para auditar reivindicações de segurança.

Em última análise, este trabalho não nos diz qual é a melhor fechadura. Em vez disso, nos dá uma maneira melhor de fazer a pergunta. Ele revela que o debate entre diferentes agências de segurança é frequentemente não sobre quem está certo ou errado, mas sobre qual versão da realidade eles estão medindo. Ao tornar as regras do jogo explícitas, a estrutura permite que formuladores de políticas e engenheiros vejam o quadro completo. Eles podem agora entender que um desacordo sobre níveis de segurança é frequentemente um desacordo sobre como valorizar recursos, e podem tomar suas decisões com esse conhecimento em mente. O resultado é uma conversa mais clara e honesta sobre segurança digital, onde a incerteza não é escondida atrás de um único número, mas exposta claramente para todos verem.