Pollard ρ for DLP：思考与推导
目标：从问题设定出发，系统推导 Pollard ρ 随机游走算法用于离散对数（DLP）的正确性、复杂度与工程化细节；给出改进（r-adding、negation/自同构加速、并行化）与伪代码。默认在素数阶循环群 $G=\langle g\rangle$ 上讨论，$|G|=n$ 为素数；一般情形见§1.3。1. 设定与不变式1.1 离散对数问题（DLP）给定生成元 $g\in G$ 与 $y\in ...