题目：cm.exe（看雪 / KCTF 2026，规则 5.1.1）
样本 SHA1：d1c8124c5964af1531c6e311328854a05ca40bca（与 readme.txt 一致）
判胜条件：运行程序，输入序列号后回车，输出 verify success.
结论状态：已在原版 cm.exe 与工作副本上独立验证通过

本地复现：

期望输出：

一键脚本见同目录 solve.py。

程序中嵌入大量误导信息，不是真校验路径：

真逻辑在主校验函数（约 0x403D90 起）的线性路径中，并带有控制流花指令（ret; mov edi,edi; jmp; stc 垫片）。

整体流水线：

对解码得到的 44 字节 b[0..43]：

动态确认方式：Frida 挂钩模幂例程 0x402510，转储 limb，得到 e=65537 与 n 的 4 个 32-bit limb，并用已知 (m,c) 对验证 pow(m,e,n)==c。

覆盖完成后：

静态表（ImageBase 0x400000）：

因此可对 Welcome 每个字符反查最小 idx，令 key[i] = idx + 1，得到「查表成功」所需的最终 44 字节 final。

注意：final[0..27] 来自输入前缀（RSA 不改）；final[28..43] 必须等于 RSA 输出 c，故输入后缀应取：

碰巧本样本在该构造下 XOR / 加权约束自动满足，无需再搜索多解。

完整实现：答案提交/solve.py。

详见同目录 工具与环境.md。摘要：

本题是「自定义大整数 + 128-bit RSA + 置换查表」组合的序列号校验。表面 SEH/strcmp 注释为诱饵；核心是还原 44 字节最终形态，再对 RSA 段求逆。模数仅 128 位，分解成本极低，适合作为 CTF 可解的 RSA 变体。

一键求解脚本 solve.py 仅需：

323C47184B0D3C44254B445842552F365C362C1144424B0D3C4416433B0DD6B12A0D3D95FA65B5E0ADE5E11B

echo 323C47184B0D3C44254B445842552F365C362C1144424B0D3C4416433B0DD6B12A0D3D95FA65B5E0ADE5E11B| cm.exe

Enter your key:
verify success.

88 个十六进制字符
    │  parse（base16 → 大整数 → 44 字节缓冲）
    ▼
keybuf[0..43]（44 字节）
    │  ① XOR 全字节 == 0x8F
    │  ② 递推加权低 16 位 == 0xBEFF
    ▼
取后 16 字节 m，做 RSA：c = m^e mod n（e=65537）
    │  用 c 的大端 16 字节覆盖 keybuf[28..43]
    ▼
对最终 44 字节逐字节查表：
    out[i] = DATA[ P[ (int8)keybuf[i] - 1 ] ]
    （有效 key 字节 ∈ [1,127]）
    ▼
out == "Welcome to KCTF2026! Come and give it a try."
    ▼
打印 verify success.

sum = 0
for each byte b:
    sum = sum + ((sum & 0x7F) + 1) * b
要求 (sum & 0xFFFF) == 0xBEFF

n = 0x8c91cb79ec693f3ed6519c945dd67371
e = 65537
p = 0xbd3d59fac7cc547b
q = 0xbe28ef96c8318203
d = 0x721a022d849de5cc5ad9bbb701f9fb65

idx = (signed char)keybuf[i] - 1
out[i] = *(DATA + P[idx])    // idx 需落在合法范围；key∈[1,127]

m = pow(final[28..43]_as_int, d, n)

冰与火的战歌：Windows内核攻防实战高级班！从零到实战，融合AI与Windows内核攻防全技术栈，打造具备自动化能力的内核开发高手。