🔢 mathematics

Infinite families of APN permutations in constrained trivariate classes over $\mathbb{F}_{2^m}$

Este artigo estabelece famílias infinitas de permutações APN em classes trivariadas sobre $\mathbb{F}_{2^{3m}}$ , generalizando resultados recentes de Li e Kaleyski ao demonstrar que a propriedade APN é equivalente à ausência de raízes de um polinômio univariado específico, o que permite identificar novos parâmetros que geram permutações inequivalentes sob as relações CCZ e diagonais.

Autores originais: Daniele Bartoli, Pantelimon Stanica

Publicado 2026-03-17

📖 5 min de leitura🧠 Leitura aprofundada

CC0 1.0

Autores originais: Daniele Bartoli, Pantelimon Stanica

Artigo original dedicado ao domínio público sob CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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ê está construindo um cofre digital ultra-seguro. Para que esse cofre seja impenetrável, você precisa de uma "chave mestra" que seja impossível de adivinhar, mesmo que um hacker tente milhões de combinações. Na linguagem da criptografia, essa chave é uma função matemática especial chamada Permutação APN.

O problema é que encontrar essas chaves perfeitas é como procurar um agulha em um palheiro. Elas são raras, difíceis de encontrar e, até agora, conhecíamos apenas algumas poucas "famílias" delas.

Este artigo, escrito por Daniele Bartoli e Pantelimon Stănică, é como se fosse um novo mapa do tesouro. Eles descobriram como criar duas novas famílias infinitas dessas chaves mágicas, e o melhor: eles mostraram como encontrar muitas delas de uma só vez.

Aqui está a explicação do que eles fizeram, usando analogias do dia a dia:

1. O Cenário: A Fábrica de Chaves

Pense no campo de batalha digital como um universo feito de blocos de construção (campos finitos). Os autores estão trabalhando com blocos organizados em grupos de três (trivariados).

O Desafio: Eles queriam criar uma máquina (uma função) que misture esses blocos de forma que:
1. Seja reversível (você pode desfazer a mistura para recuperar o original).
2. Seja caótica (se você mudar um único bloco de entrada, a saída muda completamente e de forma imprevisível, tornando ataques de "diferença" inúteis).

Antes, eles tinham dois exemplos isolados e estranhos (como dois tipos de moedas raras). O trabalho anterior de Li e Kaleyski conseguiu transformar esses dois exemplos em uma "linha de produção" básica, mas com uma limitação: eles só podiam usar um tipo específico de "tinta" (coeficiente) para pintar a máquina.

2. A Grande Descoberta: A Tinta Infinita

O que Bartoli e Stănică fizeram foi pegar essa linha de produção e dizer: "E se pudermos usar qualquer cor de tinta disponível no mundo?"

Eles generalizaram as fórmulas permitindo que um número especial (chamado de coeficiente $a$ ) pudesse ser qualquer valor possível no sistema, não apenas um valor fixo.

A Analogia: Imagine que a fórmula antiga era uma receita de bolo que exigia exatamente 1 colher de açúcar. Eles descobriram que a receita funciona perfeitamente com qualquer quantidade de açúcar, desde que você siga uma regra específica.

3. O Segredo: O "Detector de Falhas" (O Polinômio)

A parte mais brilhante do artigo é como eles sabem se uma escolha de "tinta" (o número $a$ ) vai funcionar ou não.

Eles descobriram que, para saber se a máquina vai funcionar, não é preciso testar milhões de combinações. Basta olhar para uma equação matemática simples (um polinômio de uma variável).
A Regra de Ouro: Se essa equação tiver uma "raiz" (uma solução) dentro do sistema, a máquina quebra (não funciona). Se a equação não tiver raízes, a máquina é perfeita!
É como ter um detector de metais: você passa o detector sobre o solo (o número $a$ ). Se ele apitar (tiver raiz), é lixo. Se ficar em silêncio (sem raiz), você achou ouro.

4. O Resultado: Duas Famílias Gêmeas, Mas Diferentes

Eles criaram duas máquinas diferentes, chamadas $G_a$ e $H_a$ .

A Surpresa: Embora as máquinas pareçam diferentes, elas obedecem à mesma regra de silêncio (o mesmo detector de raízes). Se um número $a$ faz a primeira máquina funcionar, ele faz a segunda funcionar também!
A Segurança Extra: Eles provaram que essas novas máquinas não são apenas cópias das antigas. Elas são genuinamente novas. É como se eles tivessem descoberto um novo tipo de metal que não existe na natureza conhecida. Mesmo que você tente girar, espelhar ou reorganizar as peças das máquinas antigas, nunca conseguirá transformá-las nessas novas. Isso é crucial para a segurança, pois significa que os hackers não podem usar truques antigos para quebrar os novos cofres.

5. Quantas Chaves Existem?

Eles não só disseram "existem", mas deram uma estimativa.

Eles provaram que, para dimensões grandes, existe uma quantidade gigantesca de números $a$ que funcionam.
Exemplo Prático: No caso mais simples (onde a máquina é binária), eles mostraram que, se o tamanho do sistema não for múltiplo de 7, o número 1 funciona (o que confirma descobertas antigas), mas existem muitos outros números que também funcionam e que ninguém conhecia antes.

Resumo em uma Frase

Os autores criaram duas novas "fábricas" infinitas de chaves de segurança criptográfica, provaram que é fácil identificar quais chaves funcionam (usando um teste simples de "sem raízes") e provaram que essas chaves são totalmente novas e seguras, oferecendo um arsenal muito maior para proteger dados no futuro.

Por que isso importa?
Na era da computação quântica e dos ataques cibernéticos avançados, precisamos de mais e melhores chaves de segurança. Este trabalho diz à comunidade científica: "Não parem de procurar, o tesouro é muito maior do que imaginávamos, e aqui está o mapa para encontrá-lo."

Resumo Técnico: Famílias Infinitas de Permutações APN em Classes Trivariadas Confinadas sobre $\mathbb{F}_{2^m}$

Autores: Daniele Bartoli e Pantelimon Stănică
Data: Março de 2026

1. Problema e Contexto

A construção de polinômios de permutação sobre corpos finitos com estrutura algébrica simples em múltiplas variáveis é um problema desafiador com aplicações críticas na criptografia e na teoria de códigos. Especificamente, funções APN (Almost Perfect Nonlinear) são ótimas contra ataques de criptanálise diferencial. Quando uma função APN é também uma permutação, ela se torna um bloco de construção ideal para caixas-S (S-boxes), combinando resistência diferencial ótima com invertibilidade.

Apesar de sua importância, a construção de permutações APN é notoriamente difícil. Até recentemente, apenas um punhado de famílias infinitas era conhecido. Em 2024, Li e Kaleyski generalizaram duas permutações APN quadráticas esporádicas (descobertas em dimensão 9) para famílias infinitas de funções trivariadas com coeficientes em $\mathbb{F}_2$ .

O objetivo deste trabalho é estender a pesquisa de Li e Kaleyski, investigando generalizações onde o coeficiente escalar não é restrito a $\mathbb{F}_2$ , mas pode variar livremente sobre todo o conjunto $\mathbb{F}_{2^m}^*$ . O foco está em duas famílias trivariadas, denotadas por $G_a$ e $H_a$ , definidas sobre $\mathbb{F}_{2^{3m}}$ .

2. Metodologia

Os autores utilizam uma abordagem que combina álgebra linear, teoria de corpos finitos e geometria algébrica:

Análise de Permutação e Propriedade APN: Para cada família ( $G_a$ e $H_a$ ), os autores analisam o sistema de equações resultante da condição de permutação e da condição APN (diferencial uniforme). Eles reduzem esses problemas multivariados complexos a critérios univariados.
Critério de Raiz: A principal ferramenta metodológica é a demonstração de que a propriedade de ser uma permutação e a propriedade de ser APN são equivalentes à ausência de raízes em $\mathbb{F}_{2^m}^*$ de um polinômio univariado específico associado ao parâmetro $a$ .
Geometria Algébrica e Limites de Contagem: Para quantificar a existência de parâmetros "bons" (aqueles que geram permutações APN), os autores modelam o conjunto de "maus" parâmetros como a imagem de uma função racional. Eles analisam a curva de colisão associada a essa função, provando sua irredutibilidade absoluta e aplicando o Teorema de Hasse-Weil (e o limite de Lang-Weil) para obter um limite inferior quantitativo para o número de parâmetros válidos.
Teoria de Equivalência: Para estabelecer a novidade das famílias, os autores investigam a equivalência CCZ (Carlet-Charpin-Zinoviev). Eles utilizam o teorema de restrição monomial de Shi et al. para mostrar que, sob certas condições, a não-equivalência diagonal implica não-equivalência CCZ.

3. Contribuições Principais e Resultados

A. Caracterização das Famílias $G_a$ e $H_a$
O artigo define duas famílias de funções trivariadas:

$G_a(x, y, z) = (x^{q+1} + ax^qz + yz^q, x^qz + y^{q+1}, xy^q + ay^qz + z^{q+1})$
$H_a(x, y, z) = (x^{q+1} + axy^q + yz^q, xy^q + z^{q+1}, x^qz + y^{q+1} + ay^qz)$

Onde $q = 2^i$ , $\gcd(i, m) = 1$ e $m$ é ímpar.

Teorema 2.7 e Corolário 3.4: Os autores provam que, para ambas as famílias, a condição de ser uma permutação é equivalente à condição de ser APN. Ambas as propriedades são governadas pela ausência de raízes em $\mathbb{F}_{2^m}$ de um polinômio univariado específico (denotado como $Q_a(T)$ para $G_a$ e um polinômio equivalente para $H_a$ ).
Equivalência de Raízes: Demonstra-se que os polinômios definidores de $G_a$ e $H_a$ são "equivalentes em raízes". Isso significa que o mesmo conjunto de parâmetros $a \in \mathbb{F}_{2^m}^*$ produz permutações APN em ambas as famílias simultaneamente.

B. Existência e Contagem Quantitativa

Teorema 2.12: Os autores estabelecem um limite inferior quantitativo para o número de parâmetros "bons" ( $a$ ) que geram permutações APN. Seja $d = q^2 + q + 1$ . O número de tais parâmetros é pelo menos:
$|B_{m,q}| \geq 2^m + 1 - \frac{(d-1)(d-2)2^{m/2} - d}{d}$
Isso garante a existência de infinitas famílias de permutações APN para qualquer dimensão ímpar $m$ (com as condições de $q$ ).
Caso Binário ( $q=2$ ): Para $q=2$ , prova-se que $a=1$ é um parâmetro válido sempre que $7 \nmid m$ , recuperando a família original de Li-Kaleyski. No entanto, para $a \neq 1$ (e $a^7 \neq 1$ ), obtêm-se novas permutações.

C. Resultados de Não-Equivalência (Novidade)
Este é um dos pontos mais fortes do trabalho, demonstrando que as novas famílias não são apenas generalizações triviais, mas fontes genuinamente novas de permutações APN.

Teorema 4.2 (Equivalência Diagonal): $G_a$ $G_{a}$ (ou $H_a$ $H_{a}$ ) é diagonalmente equivalente à representante de Li-Kaleyski ( $G_1$ $G_{1}$ ou $H_1$ $H_{1}$ ) se e somente se $a^{q^2+q+1} = 1$ $a^{q^{2} + q + 1} = 1$ .
- Consequência: Para $q=2$ e $7 \nmid m$ , como $\gcd(7, 2^m-1)=1$ , a única solução para $a^7=1$ é $a=1$ . Portanto, todo parâmetro bom $a \neq 1$ gera permutações APN que são CCZ-inequivalentes às de Li-Kaleyski.
Teorema 4.5 (Inequivalência Cruzada): Para $m > 4$ $m > 4$ , $m \neq 6$ $m \neq = 6$ e $7 \nmid m$ $7 ∤ m$ , nenhum membro da família $G_a$ $G_{a}$ é CCZ-equivalente a nenhum membro da família $H_b$ $H_{b}$ (para o mesmo $q$ $q$ ).
- Significância: As duas famílias fornecem fontes infinitas e mutuamente inequivalentes de permutações APN em $\mathbb{F}_{2^{3m}}$ .

4. Significância e Impacto

Expansão do Conhecimento: O trabalho resolve a questão de generalizar as permutações APN esporádicas para coeficientes arbitrários em $\mathbb{F}_{2^m}$ , transformando exemplos isolados em famílias infinitas robustas.
Redução de Complexidade: A redução do problema trivariado (permutação e APN) para um problema univariado de exclusão de raízes simplifica drasticamente a verificação e a construção de novos exemplos.
Novas Classes de S-boxes: Ao provar a não-equivalência CCZ, o artigo garante que essas novas funções oferecem propriedades criptográficas distintas das conhecidas, o que é vital para evitar ataques que exploram simetrias ou estruturas comuns entre S-boxes.
Ferramentas Geométricas: A aplicação eficaz de limites de curvas algébricas (Hasse-Weil) para contar parâmetros válidos em corpos finitos serve como um modelo para futuros trabalhos em funções APN multivariadas.

5. Problemas Abertos

O artigo conclui listando questões em aberto, incluindo:

Encontrar uma caracterização algébrica explícita (em termos da norma) para os parâmetros bons quando $7 \mid m$ .
Investigar se as permutações encontradas computacionalmente para $m=3$ se estendem a famílias infinitas.
Estender os resultados para dimensões pares ( $m$ par), onde o critério de traço atual falha.
Generalizar essas construções para $n$ variáveis ( $n > 3$ ).

Em suma, este artigo representa um avanço significativo na teoria das funções APN, fornecendo não apenas novas construções, mas também uma estrutura teórica rigorosa para sua classificação e validação de equivalência.