当前位置:首页>python>AES算法:从字节替换到列混淆,用Python亲手“画”出加密过程

AES算法:从字节替换到列混淆,用Python亲手“画”出加密过程

  • 2026-10-11 07:35:26
AES算法:从字节替换到列混淆,用Python亲手“画”出加密过程
AES是互联网安全重要的对称加密算法。HTTPS、Wi-Fi密码、文件加密、比特币钱包……AES几乎无处不在。但多数人对它的印象停留在“黑盒”层面:输入明文和密钥,输出一串看不懂的密文。今天用热力图、矩阵和色彩,把AES-128的每一轮变换“画”出来,弄懂它究竟在做什么。

1. AES的身世与设计哲学

AES(Advanced Encryption Standard)诞生于2001年,用来替代老旧的DES。它属于分组密码,每次处理128比特(16字节)的数据块,密钥长度可以是128、192或256比特。密钥越长越安全,但轮数也越多(分别对应10、12、14轮)。

AES的设计遵循香农提出的混淆(Confusion)与扩散(Diffusion)两大原则:

  • 混淆:让密文与密钥的关系变得极其复杂,常见手段是非线性变换(S盒)。

  • 扩散:让明文中的每一位尽可能影响密文中的许多位,手段包括行移位和列混淆。

AES-128的每一轮(除了最后一轮)都会执行四个步骤:SubBytes、ShiftRows、MixColumns、AddRoundKey。首轮之前有一次单纯的AddRoundKey,最后一轮则省略MixColumns。整套运算作用在一个4×4的字节矩阵上,这个矩阵叫做状态(State)。

2. 状态矩阵与四大步骤详解

我们把16字节的明文按列优先填入一个4×4的格子,记为:

S[0,0]  S[0,1]  S[0,2]  S[0,3]S[1,0]  S[1,1]  S[1,2]  S[1,3]S[2,0]  S[2,1]  S[2,2]  S[2,3]S[3,0]  S[3,1]  S[3,2]  S[3,3]

2.1 SubBytes —— 字节代换(混淆)

每个字节独立地被一个固定的S盒替换。S盒是经过精心设计的非线性变换:先求GF(2⁸)上的乘法逆元(0映射到0),再经过一个仿射变换。这样哪怕输入只差一个比特,输出也会面目全非。我们可以把S盒画成一张16×16的热力图,颜色越深代表值越大,你会发现它几乎是一团“随机”的色彩——这正是非线性之美。

2.2 ShiftRows —— 行移位(扩散)

对状态矩阵的每一行进行循环左移:

  • 第0行不移

  • 第1行左移1字节

  • 第2行左移2字节

  • 第3行左移3字节

这一步把同一列里的字节分散到不同列,打破列内的局部性。

2.3 MixColumns —— 列混淆(扩散)

将状态矩阵的每一列视为GF(2⁸)上的四项多项式,乘以一个固定的多项式

c(x)=03·x³ + 01·x² + 01·x + 02。写为矩阵乘法就是:
[02 03 01 01]   [col0][01 02 03 01] × [col1][01 01 02 03]   [col2][03 01 01 02]   [col3]

乘法在GF(2⁸)中进行,加法即异或。这一步使得一列中的4个字节充分混合,任何一个输入字节的变化都会波及整列。

2.4 AddRoundKey —— 轮密钥加

简单粗暴:状态矩阵与对应轮密钥逐字节异或。轮密钥由原始密钥通过密钥扩展生成,扩展过程同样用到了S盒和轮常量,保证每一轮密钥之间没有明显关联。

3. 用Python实现并可视化

import numpy as npimport matplotlib.pyplot as pltfrom itertools import chain# ========== GF(2^8) 运算 ==========def gf_mult(a, b):    """GF(2^8)乘法,使用本原多项式 0x11b"""    p = 0    for _ in range(8):        if b & 1:            p ^= a        hi_bit = a & 0x80        a = (a << 1) & 0xff        if hi_bit:            a ^= 0x1b        b >>= 1    return p# ========== S盒生成 ==========def build_sbox():    sbox = [0] * 256    for i in range(256):        inv = i        # 求逆元        if i != 0:            for j in range(256):                if gf_mult(i, j) == 1:                    inv = j                    break        # 仿射变换        b = inv        sbox[i] = b ^ 0x63        for _ in range(4):            b = ((b << 1) | (b >> 7)) & 0xff            sbox[i] ^= b        sbox[i] ^= 0x63    return sboxSBOX = build_sbox()def sub_bytes(state):    return np.vectorize(lambda x: SBOX[x])(state)# ========== ShiftRows ==========def shift_rows(state):    s = state.copy()    for r in range(4):        s[r] = np.roll(state[r], -r)    return s# ========== MixColumns ==========MIX_MATRIX = np.array([[2, 3, 1, 1],                       [1, 2, 3, 1],                       [1, 1, 2, 3],                       [3, 1, 1, 2]], dtype=np.uint8)def mix_columns(state):    s = np.zeros((4,4), dtype=np.uint8)    for c in range(4):        col = state[:, c]        for r in range(4):            s[r, c] = gf_mult(MIX_MATRIX[r,0], col[0]) ^ \                      gf_mult(MIX_MATRIX[r,1], col[1]) ^ \                      gf_mult(MIX_MATRIX[r,2], col[2]) ^ \                      gf_mult(MIX_MATRIX[r,3], col[3])    return s# ========== 密钥扩展 (AES-128) ==========RCON = [0x01, 0x02, 0x04, 0x08, 0x10, 0x20, 0x40, 0x80, 0x1b, 0x36]def key_expansion(key):    """key: 16字节np.array"""    w = np.zeros((44, 4), dtype=np.uint8)    for i in range(4):        w[i] = key[4*i:4*i+4]    for i in range(4, 44):        temp = w[i-1].copy()        if i % 4 == 0:            temp = np.roll(temp, -1)       # 循环左移1字节            temp = np.array([SBOX[x] for x in temp])            temp[0] ^= RCON[i//4 - 1]        w[i] = w[i-4] ^ temp    # 重塑为11个4x4轮密钥    round_keys = np.zeros((11, 4, 4), dtype=np.uint8)    for i in range(11):        round_keys[i] = w[4*i:4*i+4].T   # 注意矩阵转置以匹配状态    return round_keys# ========== AES加密一个块 ==========def aes_encrypt(plaintext, key):    state = plaintext.reshape(4,4).T     # 列优先    rkeys = key_expansion(key)    states = [state.copy()]    # 初始轮密钥加    state ^= rkeys[0]    states.append(state.copy())    # 9轮    for r in range(1, 10):        state = sub_bytes(state)        state = shift_rows(state)        state = mix_columns(state)        state ^= rkeys[r]        states.append(state.copy())    # 最后一轮(无MixColumns)    state = sub_bytes(state)    state = shift_rows(state)    state ^= rkeys[10]    states.append(state.copy())    return states, rkeys# ========== 可视化 ==========# 准备一个明文块和密钥plain = np.array([0x32, 0x88, 0x31, 0xe0,                  0x43, 0x5a, 0x31, 0x37,                  0xf6, 0x30, 0x98, 0x07,                  0xa8, 0x8d, 0xa2, 0x34], dtype=np.uint8)key = np.array([0x2b, 0x7e, 0x15, 0x16,                0x28, 0xae, 0xd2, 0xa6,                0xab, 0xf7, 0x15, 0x88,                0x09, 0xcf, 0x4f, 0x3c], dtype=np.uint8)states, rkeys = aes_encrypt(plain, key)# 图1:S盒热力图sbox_2d = np.array(SBOX).reshape(16,16)plt.figure(figsize=(6,6))plt.imshow(sbox_2d, cmap='magma', origin='lower', aspect='auto')plt.colorbar(label='S-box value')plt.title('AES S-box Heatmap (16×16)', fontsize=14)plt.xticks(range(16), [f'{i:x}' for i in range(16)])plt.yticks(range(16), [f'{i:x}' for i in range(16)])plt.xlabel('low nibble')plt.ylabel('high nibble')plt.tight_layout()plt.show()# 图2:加密过程状态热力图(每一轮一个子图)fig, axes = plt.subplots(1, 12, figsize=(18, 3.5))labels = ['Plain','InitKey','Round1','Round2','Round3','Round4',          'Round5','Round6','Round7','Round8','Round9','Round10']for i, (ax, st) in enumerate(zip(axes, states)):    im = ax.imshow(st.T, cmap='viridis', vmin=0, vmax=255, origin='upper')    ax.set_title(labels[i], fontsize=8)    ax.set_xticks([]); ax.set_yticks([])    # 在每个格子上标注字节值    for (x,y), val in np.ndenumerate(st.T):        ax.text(x, y, f'{val:02x}', ha='center', va='center',                color='w' if val < 128 else 'k', fontsize=6)fig.suptitle('AES-128 State Evolution (Block Cipher)', fontsize=14, y=1.05)plt.tight_layout()plt.show()# 图3:轮密钥热力图fig, axes = plt.subplots(1, 11, figsize=(16, 3.5))for i, (ax, rk) in enumerate(zip(axes, rkeys)):    im = ax.imshow(rk.T, cmap='plasma', vmin=0, vmax=255, origin='upper')    ax.set_title(f'RoundKey{i}', fontsize=8)    ax.set_xticks([]); ax.set_yticks([])    for (x,y), val in np.ndenumerate(rk.T):        ax.text(x, y, f'{val:02x}', ha='center', va='center',                color='w' if val < 128 else 'k', fontsize=6)fig.suptitle('AES-128 Round Keys', fontsize=14, y=1.05)plt.tight_layout()plt.show()

1.S盒热力图:256个值分布在一个16×16的色块中,颜色跳跃剧烈,直观感受“哪怕输入只差一个bit,输出也完全不可预测”。

2.加密过程状态演化:从明文的4×4矩阵开始,经过初始轮密钥加,再经过10轮变换,每一轮的状态都展示为热力图,并在每个单元格标注了字节值(十六进制)。你会清楚看到,经过两三轮后,状态已经完全“乱码化”,这正是扩散与混淆共同作用的结果。

3.轮密钥图:从原始Key派生出的11个轮密钥,每个4×4矩阵都充满了“随机感”,相邻轮密钥之间找不到简单的线性规律。

4. 图形背后的密码学直觉

  • S盒热力图那些斑斓的色块告诉你,没有简单的函数能描述这个替换;它粉碎了线性和差分攻击的路径。

  • 状态演化图中,第一轮还能看到一些字节的“影子”,但到了第三轮以后,整体分布已接近均匀噪声。最后一轮虽然没有MixColumns,但经过之前九轮扩散,每个字节都已和全部16个明文字节以及所有密钥字节深度纠缠。

  • 轮密钥展示的是密钥扩展的“雪崩效应”:原始密钥中哪怕只改变1比特,也会导致后续轮密钥大面积翻转。

最新文章

随机文章