🔢 mathematics

A class of locally differentially $4$-uniform power functions with Niho exponents

本文研究了有限域 $\mathbb{F}_{q^2}$ （其中 $q=2^m$ 且 $m\geq 4$ 为偶数）上具有 Niho 指数的幂函数 $F(x) = x^{3q - 2}$ ，通过分析相关多项式性质确定了其微分谱，并证明该函数是局部微分 4-均匀的。

原作者： Haode Yan, Kangquan Li

发布于 2026-04-16

📖 1 分钟阅读🧠 深度阅读

CC0 1.0

原作者： Haode Yan, Kangquan Li

原始论文根据 CC0 1.0（http://creativecommons.org/publicdomain/zero/1.0/）发布到公有领域。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇论文听起来充满了数学符号和复杂的术语，但它的核心故事其实非常有趣。我们可以把它想象成是在设计一把极其坚固的“数字锁”，并研究这把锁在面对“万能钥匙”（黑客攻击）时的表现。

下面我用通俗易懂的语言和生活中的比喻来为你拆解这篇论文。

1. 背景：我们在保护什么？（密码学中的 S 盒）

想象一下，你正在设计一个超级安全的保险箱（比如银行系统或手机加密）。在这个保险箱里，有一个核心部件叫S 盒（Substitution Box）。

S 盒的作用：它像一个复杂的“翻译官”。当你输入一个数字，它会把它“打乱”并转换成另一个数字。
为什么要打乱？ 为了防止黑客通过观察输入和输出的规律来猜出密码。

差分分析（Differential Analysis） 是黑客最常用的攻击手段之一。

黑客的套路：黑客会想：“如果我输入两个非常相似的数字（比如只相差 1），输出的结果会有什么规律？”如果规律太明显，黑客就能顺藤摸瓜破解密码。
我们的目标：我们要设计一个 S 盒，使得无论输入怎么微小的变化，输出的结果都完全不可预测。在数学上，这被称为**“差分均匀性”**（Differential Uniformity）。数值越小，锁越安全。

2. 主角登场：一个特殊的“数字公式”

这篇论文研究的是一个特定的数学公式（函数）：
$F(x) = x^{3q-2}$
这里的 $x$ 是在一个特殊的数字世界（有限域）里运算的。

尼霍指数（Niho Exponent）：论文里提到的“尼霍指数”就像是这个公式的**“家族血统”**。这个家族里的成员（比如 $x^{2q-1}$ ）以前就被发现很安全，但这次作者发现了一个新的家族成员 $x^{3q-2}$ ，它长得和以前的都不太一样（数学上叫 CCZ-不等价），所以我们需要重新检查它的“安全性”。

3. 核心发现：这把锁有多结实？

作者通过复杂的数学推导（就像是用显微镜观察锁芯内部的每一个齿轮），得出了两个主要结论：

结论一：它不是“完美”的，但非常“局部”安全

在数学界，最完美的锁叫“完美非线性”（PN），意味着无论怎么试，输出都完全随机。但这通常只在奇数数字世界里存在。
在偶数数字世界（我们常用的二进制世界）里，最完美的状态是“几乎完美非线性”（APN），意味着输入变化 1，输出最多只有 2 种可能的结果。

这篇论文的发现：
这个新公式 $F(x)$ $F (x)$ 在大多数情况下表现很好，但在极少数特殊情况下（当输入和输出满足特定关系时），它可能会产生 4 种 结果，而不是 2 种。
- 比喻：想象你在玩一个迷宫游戏。大多数时候，你走错一步，只有 2 条路可走（很安全）。但在极少数特定的路口，可能会有 4 条路（稍微有点风险）。
- 术语：作者称这种特性为**“局部差分 4-均匀”**（Locally Differentially 4-uniform）。意思是：除了那几个特殊的“坏点”外，它在其他地方都表现得很完美。

结论二：我们画出了完整的“风险地图”（差分谱）

以前，我们只知道这个公式大概有多安全，但不知道具体有多少种情况是安全的，多少种情况有 4 条路。
这篇论文做了一件很细致的工作：它计算出了**“差分谱”**（Differential Spectrum）。

比喻：这就像给这把锁画了一张详细的体检报告。
- 报告告诉我们：在 $q^2$ 种可能的输入中，有多少种情况是完全安全的（0 条路），有多少种情况有 2 条路，有多少种情况有 4 条路，以及那唯一的“坏点”在哪里。
- 作者给出了一个精确的公式，只要知道 $m$ （数字世界的规模），就能算出这张地图上的每一个数字。

4. 为什么这很重要？（实际应用）

填补空白：以前我们只知道几种特定的“安全公式”。这篇论文发现并验证了一种全新的、以前没人研究过的公式。这丰富了密码学家的“武器库”。
理论突破：作者使用了一种巧妙的数学技巧（利用多项式的性质和特殊的方程组），解决了计算这些复杂数字规律的大难题。这就像是用一把新钥匙打开了一个上了锁很久的宝箱。
未来潜力：虽然这个公式在极少数情况下有 4 条路（不如 2 条路完美），但在实际工程中，如果这种“坏情况”非常罕见，它依然可以作为一个非常优秀的 S 盒候选者。而且，了解它的精确分布，有助于工程师在设计时避开那些风险点。

总结

简单来说，这篇论文就像是一个**“锁匠大师”：
他发现了一种新设计的锁芯结构**（ $x^{3q-2}$ ）。
他通过精密的计算，不仅证明了这把锁在绝大多数情况下都坚不可摧（局部 4-均匀），还绘制出了完整的风险地图（差分谱），告诉我们在什么极端情况下它可能会有微小的漏洞。

这对于设计更安全的加密系统、保护我们的数据和隐私，具有重要的理论价值。虽然它不是“完美”的（没有达到 2 条路的 APN 标准），但在现有的数学工具下，它是一个非常优秀且独特的发现。

以下是基于论文《A class of locally differentially 4-uniform power functions with Niho exponents》（一类具有 Niho 指数的局部微分 4-均匀幂函数）的详细技术总结：

1. 研究背景与问题 (Problem)

背景：在对称密码体制（如分组密码）中，S 盒（Substitution Boxes）的设计至关重要。为了抵抗差分密码分析攻击，S 盒对应的函数需要具备低差分均匀性（Differential Uniformity）。幂函数 $F(x) = x^d$ 因其硬件实现成本低且具有良好的差分特性而被广泛研究。
核心概念：
- 差分均匀性 ( $\Delta_F$ )：衡量函数 $F$ 对差分攻击的抵抗能力。 $\Delta_F$ 越小越好。在偶特征域 $\mathbb{F}_{2^n}$ 上，最小可能的差分均匀性为 2（称为 APN，Almost Perfect Nonlinear）。
- 差分谱 (Differential Spectrum)：不仅关注最大差分均匀性，还关注差分分布表中不同差分值的出现频率。
- Niho 指数：一类在序列设计、编码理论和密码学中具有重要应用的指数形式。
- 局部性质：由于在二元域上 $\delta_F(1,0)$ 和 $\delta_F(1,1)$ 往往表现出平凡或退化的行为，研究者引入了“局部 APN"或“局部微分 4-均匀”的概念，即关注 $b \notin \mathbb{F}_2$ 时的差分行为。
研究问题：确定幂函数 $F(x) = x^{3q-2}$ 在有限域 $\mathbb{F}_{q^2}$ 上的差分谱，其中 $q=2^m$ ， $m \ge 4$ 为偶数。该指数 $3q-2$ 是一个 Niho 指数。此前关于此类指数的差分谱研究较少，且该函数与已知差分谱的幂函数 CCZ-不等价。

2. 方法论 (Methodology)

论文采用代数分析与组合计数的方法，主要步骤如下：

代数结构分析：
- 利用 $\mathbb{F}_{q^2}^*$ 的乘法子群结构，将元素唯一分解为 $x = yz $，其中$ y \in \mathbb{F}q^* $，$ z \in U{q+1} $（$ q+1$ 阶循环子群）。
- 研究特定三项式 $f(x) = x^2 + x^{1-q} + x^{2-q}$ 在 $\mathbb{F}_{q^2}$ 上的原像集大小（Theorem 1）。证明了对于 $c \in \mathbb{F}_{q^2} \setminus \mathbb{F}_2$ ，方程 $f(x)=c$ 最多有两个解。
差分方程求解：
- 分析差分方程 $(x+1)^d + x^d = b$ 的解的数量 $\delta_F(1, b)$ 。
- 通过变量代换和线性方程组求解，将原问题转化为关于 $U_{q+1}$ 中元素的方程组。
- 利用引理证明：当 $b \neq 1$ 时，该方程组的解的数量受到严格限制。
组合计数与递归序列：
- 引入序列 $\{\tau_m\}$ 来描述特定方程组解的数量。该序列满足递推关系 $\tau_m = \frac{1}{2}\tau_{m-1} - \tau_{m-2}$ ，并给出了闭式解。
- 利用已知引理（Lemma 4, 5）计算四元方程组 $x_1+x_2+x_3+x_4=0$ 和 $x_1^d+x_2^d+x_3^d+x_4^d=0$ 的解数 $N_4$ 。
建立方程组求解差分谱：
- 利用差分谱的基本恒等式（ $\sum \omega_i = q^2$ 和 $\sum i\omega_i = q^2$ ）以及基于 $N_4$ 导出的二阶矩关系（ $\sum i^2\omega_i$ ），构建线性方程组。
- 解出差分谱中各分量 $\omega_i$ （即 $\delta_F(1,b)=i$ 的 $b$ 的个数）的显式表达式。

3. 主要贡献与结果 (Key Contributions & Results)

确定了差分均匀性：
- 证明了函数 $F(x) = x^{3q-2}$ 在 $\mathbb{F}_{q^2}$ 上的差分均匀性 $\Delta_F = q$ （当 $b=1$ 时）。
- 证明了对于所有 $b \in \mathbb{F}_{q^2} \setminus \{1\}$ ， $\delta_F(1, b) \le 4$ 。因此，该函数是局部微分 4-均匀的（Locally differentially 4-uniform）。
给出了完整的差分谱：
论文推导出了该函数差分谱的精确公式。设 $q=2^m$ ( $m \ge 4$ 为偶数)， $\tau_m$ 为定义在文中的序列，则差分谱 $DS_F$ 为：
$DS_F = \left\{ \begin{aligned} &\omega_0 = \frac{1}{8}(5q^2 + (-\tau_m + 4)q - 7), \\ &\omega_2 = \frac{1}{4}(q^2 + (\tau_m - 2)q - 1), \\ &\omega_4 = \frac{1}{8}(q^2 - \tau_m q + 1), \\ &\omega_q = 1 \end{aligned} \right.$
其中 $\omega_i$ 表示差分值为 $i$ 的 $b$ 的个数。
数值验证：
通过 MAGMA 软件对 $m=4, 6, 8$ 的情况进行了直接计算，结果与理论推导的差分谱完全一致，验证了理论的正确性。
CCZ-不等价性：
指出该函数与已知差分谱的幂函数是 CCZ-不等价的，丰富了已知的低差分均匀性函数类。

4. 意义与影响 (Significance)

理论补充：填补了关于 Niho 指数幂函数差分谱研究的空白，特别是针对 $x^{3q-2}$ 这一特定形式。
密码学应用：提供了具有局部微分 4-均匀性的新函数类。虽然其全局差分均匀性为 $q$ （较大），但在 $b \neq 1$ 时表现优异（最大为 4），这在某些特定的密码学构造或作为 S 盒的组件时可能具有潜在价值，尤其是在需要平衡实现复杂度和安全性的场景中。
方法论推广：文中使用的将差分方程转化为子群上的方程组，并结合三项式性质和递归序列计数的方法，为研究其他 Niho 指数或类似结构的幂函数提供了有力的工具。
未来方向：论文指出，当 $q$ 为奇数幂或其他参数范围时，该函数的差分谱仍是一个开放问题，为后续研究指明了方向。

总结：该论文通过严谨的代数推导和组合分析，完全确定了类 $x^{3q-2}$ 幂函数在偶特征扩域上的差分谱，证明了其局部微分 4-均匀性，并给出了精确的谱分布公式，是有限域函数差分性质研究的重要进展。