⚛️ quantum physics

Quantum Circuit Realization and Grover Cryptanalysis of the Hybrid ARX-SPN Cipher GFSPX

Este artigo apresenta uma implementação de circuito quântico otimizada em qubits do cifrador híbrido leve ARX-SPN GFSPX e avalia sua segurança pós-quântica por meio de um ataque de Grover paralelizado, revelando um custo quântico total de $1.12 \times 2^{159}$ portas que, embora esteja abaixo dos limiares do NIST Nível 1, demonstra resistência superior em comparação com outros projetos leves.

Autores originais: Ibrahim Ulgen (Institute of Applied Mathematics, Middle East Technical University, Ankara/Türkiye, Department of Mathematics, Siirt University, Siirt/Türkiye), Hasan Ozgur Cildiroglu (Physics Departme

Publicado 2026-05-28

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Ibrahim Ulgen (Institute of Applied Mathematics, Middle East Technical University, Ankara/Türkiye, Department of Mathematics, Siirt University, Siirt/Türkiye), Hasan Ozgur Cildiroglu (Physics Department, Ankara University, Ankara/Türkiye), Oğuz Yayla (Institute of Applied Mathematics, Middle East Technical University, Ankara/Türkiye)

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você tem um cadeado digital muito especial e leve (chamado GFSPX) projetado para proteger dados em dispositivos pequenos, como sensores inteligentes ou etiquetas RFID. Este cadeado foi construído para ser rápido e consumir muito pouca energia, tornando-o perfeito para a "Internet das Coisas".

No entanto, um novo tipo de "super-ferramenta" chamada Computador Quântico está surgindo. Diferente dos computadores comuns que verificam chaves uma por uma, um computador quântico pode verificar muitas chaves ao mesmo tempo, potencialmente quebrando esses cadeados muito mais rápido. Este artigo faz uma pergunta simples: Se um computador quântico tentar quebrar este cadeado específico, quão difícil será realmente?

Aqui está a análise de suas descobertas usando analogias do cotidiano:

1. O Design do Cadeado: Um Motor Híbrido

O cadeado GFSPX não é construído com apenas um tipo de mecanismo. É um híbrido, como um carro que usa tanto um motor a gasolina quanto um motor elétrico.

A Parte "Gasolina" (ARX): Esta usa operações matemáticas simples (Adição, Rotação, XOR) que são muito eficientes, mas podem ser um pouco lentas ao espalhar mudanças através dos dados.
A Parte "Elétrica" (SPN): Esta usa uma rede complexa de substituição (como embaralhar um baralho de cartas) que espalha mudanças muito rapidamente.
O Resultado: Ao combiná-los, o cadeado é rápido e eficiente. Os autores construíram um projeto digital deste cadeado especificamente para um computador quântico ver exatamente como ele funciona por dentro.

2. O Projeto Quântico: Construindo o Circuito

Para testar o cadeado, os pesquisadores precisaram construir um "circuito quântico". Pense nisso como construir uma fábrica em miniatura e reversível, onde cada passo pode ser desfeito perfeitamente (para que nenhuma informação seja perdida).

O Desafio: Computadores quânticos são frágeis. Você não pode apenas copiar dados ao redor; você precisa ter muito cuidado com os "qubits" (os bits quânticos, como pequenos piões girando).
A Solução: Os pesquisadores otimizaram o design para usar o menor número possível de qubits (209 deles). Eles usaram um truque inteligente chamado "somador de arraste" (ripple-carry adder) para as partes matemáticas, que é como uma linha de montagem muito eficiente que não desperdiça espaço.
A Pegada: O projeto final é compacto, exigindo um "piso de fábrica" de 209 qubits e um número específico de etapas (portas) para executar uma criptografia completa.

3. O Ataque: A Busca "Grover"

Para quebrar o cadeado, um computador quântico usa o Algoritmo de Grover.

A Analogia: Imagine que você tem uma biblioteca gigante com $2^{128}$ $2^{128}$ (um número tão enorme que é difícil de compreender) livros, e apenas um livro tem a chave correta.
- Um computador comum é como um bibliotecário que verifica um livro de cada vez. Levaria uma eternidade.
- Um computador quântico é como um bibliotecário mágico que pode verificar muitos livros simultaneamente. Ele encontra o livro certo em aproximadamente a raiz quadrada do tempo.
A Armadilha: Para garantir que o computador quântico não escolha o livro errado (um "falso positivo"), os pesquisadores fizeram o computador verificar três cadeados diferentes (usando três pares diferentes de mensagens trancadas/destrancadas) ao mesmo tempo. Se uma chave abrir os três, é definitivamente a correta.

4. O Veredito: Forte, Mas Não "Prova Pós-Quântica"

Os pesquisadores calcularam o "custo" total deste ataque quântico.

O Custo: Eles descobriram que quebrar o cadeado exigiria uma quantidade massiva de poder de computação, aproximadamente equivalente a $1,12 \times 2^{159}$ operações.
O Padrão: O Instituto Nacional de Padrões e Tecnologia dos EUA (NIST) estabeleceu uma "barra de segurança" para o futuro. Para ser considerado verdadeiramente seguro contra computadores quânticos (Nível 1 de segurança), um cadeado precisa de um custo de pelo menos $2^{170}$ .
O Resultado: O cadeado GFSPX está abaixo da barra de segurança. Não é seguro o suficiente para os padrões pós-quânticos mais rigorosos.
- No entanto, o artigo observa que, comparado a outros cadeados leves, o GFSPX é na verdade um dos mais difíceis de quebrar. Ele ocupa um "ponto ideal" onde é muito eficiente para dispositivos pequenos, mas ainda oferece resistência decente contra ataques quânticos, mesmo que não passe no teste de segurança mais alto.

5. A Conclusão

O artigo conclui que, embora este cadeado híbrido seja excelente para dispositivos atuais com recursos limitados, o tamanho da chave de 128 bits é simplesmente pequeno demais para sobreviver a um ataque quântico determinado no futuro.

O Trade-off: Você pode ter um cadeado que é pequeno e rápido (bom para os sensores de hoje), ou um cadeado que é massivo e lento (bom para a segurança quântica futura), mas este design específico tenta fazer ambos e falha ligeiramente na frente da "segurança futura".
Conselho Futuro: Para tornar este design verdadeiramente à prova de quântica, os autores sugerem ou aumentar o tamanho da chave (como 192 ou 256 bits) ou ajustar as partes matemáticas para torná-las ainda mais difíceis para computadores quânticos processarem.

Em resumo: O GFSPX é um cadeado muito inteligente e eficiente, mais difícil de quebrar do que a maioria de seus pares, mas não é forte o suficiente para resistir aos computadores quânticos superpoderosos do futuro sem algumas atualizações.

Resumo Técnico: Realização de Circuito Quântico e Criptanálise de Grover do Cifrador Híbrido ARX-SPN GFSPX

Declaração do Problema
O surgimento da computação quântica desafia fundamentalmente a segurança de primitivas simétricas clássicas. Enquanto o algoritmo de Shor ameaça a criptografia de chave pública, o algoritmo de Grover oferece uma aceleração quadrática para busca não estruturada, efetivamente reduzindo pela metade a margem de segurança das construções de chave simétrica. Consequentemente, cifras de bloco leves (BCs), projetadas para ambientes com recursos limitados como a Internet das Coisas (IoT) e RFID, exigem uma reavaliação rigorosa de sua resiliência pós-quântica. Especificamente, há necessidade de quantificar os recursos quânticos requeridos para lançar um ataque de recuperação de chave em designs híbridos que combinam os paradigmas Adição-Rotação-XOR (ARX) e Rede de Substituição-Permutação (SPN).

Metodologia
Os autores apresentam uma realização abrangente de circuito quântico e criptanálise de Grover do GFSPX, uma cifra de bloco leve com bloco de dados de 64 bits e chave secreta de 128 bits. O GFSPX utiliza uma Estrutura de Feistel Generalizada (GFS) de 4 ramos, integrando dois blocos funcionais distintos: uma função baseada em ARX ( $F_1$ ) para não linearidade e uma estrutura SPN de 32 bits ( $F_2$ ) para difusão rápida.

A metodologia procede em três etapas:

Realização de Circuito Quântico: A estrutura clássica do GFSPX é mapeada em um circuito quântico reversível. Os autores exploram a reversibilidade inerente da rede de Feistel para minimizar o uso de qubits ancilla.
- $F_1$ (ARX): Implementada usando um somador de propagação de carry compacto (RCA) baseado na arquitetura de Cuccaro et al. Esta abordagem minimiza a sobrecarga de qubits ao omitir o bit de carry final para adição modular e utilizar portas de maioria in loco (MAJ) e UnMajority-and-Add (UMA).
- $F_2$ (SPN): A camada de S-box (baseada no PRESENT) é sintetizada usando um conjunto mínimo de portas CNOT e Toffoli sem ancillas adicionais. A camada de permutação (camada P) é implementada por meio de portas SWAP paralelizáveis para manter baixa profundidade de circuito.
- Agendamento de Chave: O agendamento de chave mestra de 128 bits é realizado como uma evolução unitária envolvendo rotação cíclica esquerda de 113 bits, substituições de S-box e XORs de contador de rodada, otimizados para execução in loco.
Estimativa de Recursos: O custo quântico é calculado usando métricas de decomposição padrão (custo NOT e CNOT = 1, custo Toffoli = 6). A análise avalia tanto um custo de referência (excluindo sobrecarga de roteamento SWAP) quanto um limite superior (decompondo SWAPs em três CNOTs).
Criptanálise de Grover: Um oráculo de Grover paralelizado ( $U_f$ ) é construído para avaliar a cifra contra ataques de recuperação de chave. Para eliminar correspondências espúrias no espaço de chaves de 128 bits, o oráculo utiliza três pares de texto claro-texto cifrado ( $r=3$ ). A complexidade do ataque é estimada escalando as métricas de recursos do oráculo pelo número ótimo de iterações de Grover ( $\approx \frac{\pi}{4}2^{64}$ ).

Principais Contribuições

Implementação Quântica Otimizada: O artigo fornece um circuito quântico otimizado em qubits para o GFSPX, alcançando uma pegada de 209 qubits. O design alcança um custo quântico de referência de 32.498 portas com uma profundidade de circuito de 7.617.
Análise de Arquitetura Híbrida: O estudo detalha a distribuição de recursos de um design híbrido ARX-SPN, demonstrando que, embora o primitivo de adição modular domine a contagem total de portas, as camadas de permutação paralelizadas no componente SPN ajudam a manter uma relação competitiva entre portas e profundidade.
Avaliação Quantitativa de Segurança: Os autores constroem um oráculo de Grover usando três pares de texto claro-texto cifrado e calculam o custo total do ataque sob a estrutura MAXDEPTH do NIST. A análise revela um custo total de ataque quântico de aproximadamente $1,12 \times 2^{159}$ portas para $r=3$ .
Benchmark Comparativo: A implementação é comparada com outras cifras leves (por exemplo, PRESENT, GIFT, SIMON, SPECK). O GFSPX alcança a menor relação custo-profundidade (4,27) entre os designs comparados, indicando alta eficiência de execução paralela.

Resultados

Métricas de Recursos: O circuito completo do GFSPX de 20 rodadas requer 209 qubits. O custo de referência é de 32.498, subindo para 47.789 quando a sobrecarga de roteamento SWAP é incluída. A profundidade do circuito é de 7.617.
Complexidade do Ataque: O custo quântico total para um ataque de recuperação de chave é estimado em $1,12 \times 2^{159}$ (para $r=3$ ).
Classificação de Segurança: Sob a estrutura de Criptografia Pós-Quântica do NIST, o limiar de segurança Nível 1 (equivalente ao AES-128) requer um custo total de ataque de pelo menos $2^{170}$ . O custo estimado para o GFSPX ( $2^{159}$ ) fica abaixo deste limiar.
Compensações de Design: Embora o GFSPX demonstre maior resistência a ataques quânticos do que muitos designs puros SPN (que se agrupam em torno de $2^{152}$ ), ele não atende aos critérios estritos de segurança Nível 1 para um comprimento de chave de 128 bits. O custo do design híbrido é fortemente influenciado pelo componente ARX (adição modular), posicionando seu perfil de segurança mais próximo de cifras baseadas em ARX como SIMON e SPECK.

Significado
O artigo afirma que suas descobertas fornecem insights críticos sobre o equilíbrio entre eficiência de hardware clássico e resiliência quântica para projetos criptográficos de próxima geração. O estudo destaca uma compensação fundamental: enquanto construções híbridas ARX-SPN oferecem desempenho clássico robusto e melhor resistência quântica do que designs puros SPN, um comprimento de chave de 128 bits permanece estruturalmente insuficiente para alcançar a segurança Nível 1 do NIST contra adversários quânticos avançados. Os autores sugerem que pesquisas futuras devem focar na extensão dos comprimentos de chave (por exemplo, para 192 ou 256 bits) ou na otimização de primitivas reversíveis de adição modular para melhorar as margens de segurança. A metodologia estabelecida neste trabalho serve como um quadro rigoroso para avaliar outros designs híbridos em ambientes com recursos limitados.