核心思想：把对数藏进一个格

• 命题框：f(a,b) = gᵃhᵇ mod p；由 h = gˣ 得 f(a,b) = g^{a+xb mod n}——f 只依赖线性组合 a+xb
• 推导步骤：

1. 等值集：f(a,b) = gʳ ⇔ a+xb ≡ r (mod n) ⇔ a = r−xb mod n → 解集 {(r−xb mod n, b) : b ∈ Zₙ}，每个 r 恰 n 个点

2. 演算（n = 12、x = 7）：取 (a,b) = (3,5) → r = 3+7×5 = 38 ≡ 2 (mod 12) → f(3,5) = g²

3. 隐藏格：Λ = {(a,b) : a+xb ≡ 0 (mod n)}——两个满足同余式的元素之和仍满足 → 对加法封闭，是 Zₙ×Zₙ 的子群；等值集恰为陪集 Λ+(r,0)

4. HSP 桥梁：f 在每个陪集上取常值、不同陪集取不同值；Λ 的定义方程系数正是 x → 求 Λ ⇔ 求 x

• 结果框：DLP = 二维隐藏子群问题；QFT 采样是"从陪集常值函数提取隐藏子群"的标准解法