AES 密钥置换与双射函数解析
一、题目核心问题解读
本题围绕分组密码 AES 的密钥置换机制展开，核心提问：输入块与输出块一一对应的数学术语是什么。 AES 属于标准分组密码，核心操作是密钥置换：以密钥作为参数，将固定长度输入块映射为唯一输出块，且同一密钥下可反向还原。明文块、密文块长度均为 128bit，每个输入仅对应一个输出，不存在多对一、一对多情况，这种双向唯一映射关系的标准数学名称为双射（Bijection），也叫一一映射。
二、双射函数基础数学定义
双射由单射、满射两个条件同时满足构成：
- 单射：任意两个不同输入，输出必然不同，不会出现 “两个明文加密成同一个密文”，避免解密时歧义；
- 满射：所有可能输出值都能被某个输入映射得到，密文取值空间无空缺。 只有同时满足单射 + 满射，函数才存在唯一逆函数，对应 AES 加密、解密可逆的特性。若映射非双射，加密后会丢失信息，无法完整还原明文，分组密码将失去实用价值。
三、AES-128 中密钥置换的双射设计逻辑
AES-128 规定分组长度 128bit、密钥长度 128bit，整个加密轮变换（字节替换、行移位、列混合、轮密钥加）组合为完整置换函数：
- 字节替换 S 盒本身是 8bit 双射，保证每个字节一一对应；
- 行移位、列混合为线性可逆变换，同样维持双射特性；
- 轮密钥加为异或可逆操作，不破坏一一映射关系。 多轮变换叠加后，整体加密函数依旧是双射，使用同一密钥执行逆变换（解密）即可精准还原原始明文块。
四、非双射映射对密码的致命缺陷
若分组密码映射不满足双射，会出现两类安全问题：
- 多对一映射（非单射）：不同明文加密后密文相同，解密时无法区分原始数据；
- 存在无法生成的密文（非满射）：密文空间存在空白区间，攻击者可缩小爆破范围，削弱密码安全性。 早期简易置换密码、弱自定义分组算法常因忽略双射约束，存在严重统计漏洞，极易被 CTF 题目破解。
五、CTF 与密码工程中的实际应用
- AES 标准规范：NIST 选定 AES 时，核心筛选条件之一就是整体轮变换必须为双射，保障可逆性与均匀分布；
- S 盒构造：密码学自定义 S 盒时，首要验证是否为双射，非线性度、差分均匀性为次要指标；
- CTF 分组密码题型：判断加密算法是否可逆、寻找解密思路时，核心依据就是映射是否满足双射。
六、总结
本题考察分组密码底层数学基础，AES 密钥置换的一一对应关系数学术语为双射。双射是分组密码可逆解密的根本前提，AES 每一轮变换均严格遵守双射约束，以此实现可靠的加密、解密双向操作。掌握双射、单射、满射基础概念，是理解 AES、SM4 等主流分组密码，拆解 CTF 分组密码类赛题的必备基础。
全文约 780 字