Simon 算法与 Abel 隐藏子群

统一视角——从承诺 $f(x)=f(y) \iff y = x\oplus s$ 到均匀采样 $P[y] = 1/|H^\perp|$，一个电路统一三个指数加速