BigInteger 是 Java 中实现 DSA 签名大数运算的核心类，支持任意精度模幂、模逆等操作；需用其构造符合 FIPS 186 的参数 p、q、g；签名时用 modPow 和 modInverse 计算 r、s；验证时严格分步模 p 和模 q；须处理负数、符号及编码问题。
Java 中 BigInteger 是处理 DSA 签名中大数模运算的核心工具，它天然支持任意精度整数的加、减、乘、除、模幂等操作，完全适配 DSA（Digital Signature Algorithm）对大素数模运算的要求。DSA 的签名和验证过程涉及在大素数 p 和子群阶 q 下的模运算，所有关键值（如私钥 x、公钥 y = g^x mod p、签名 r, s）都需用 BigInteger 表示和计算。
用 BigInteger 构造 DSA 所需的大素数参数
DSA 要求使用符合 FIPS 186 标准的参数：大素数 p（如 2048 位）、子群阶 q（如 256 位）、生成元 g（满足 g = h^((p−1)/q) mod p，且 g ≠ 1）。这些值不能用基本类型表示，必须用 BigInteger 初始化：
- 从标准参数集（如 NIST 提供的
DSAParameterSpec）获取或用KeyPairGenerator自动生成，底层已封装为BigInteger - 若手动构造，可用
BigInteger(int bitLength, int certainty, Random rnd)生成强素数，例如：BigInteger p = new BigInteger(2048, 64, new SecureRandom()); // 需进一步验证是否为素数 - 确保所有参数（p, q, g）均为正、非零、且满足 q 整除 p−1
签名时用 modPow 实现模幂运算
DSA 签名中关键步骤是计算 r = (g^k mod p) mod q 和 s = k⁻¹·(H(m) + x·r) mod q，其中 k 是临时私钥，H(m) 是消息摘要（转为 BigInteger）。这里必须用 modPow 而非先幂再模，否则中间结果会溢出：
-
r = g.modPow(k, p).mod(q);—— 先模 p 再模 q，两步不可合并 -
s = k.modInverse(q).multiply(hm.add(x.multiply(r))).mod(q);—— 注意 k⁻¹ 是在模 q 下的逆元，必须用modInverse(q) - 所有中间结果（如
hm.add(...)）应立即用mod(q)截断，防止位宽失控
验证时严格校验模运算边界
DSA 验证需计算 w = s⁻¹ mod q，再算 u₁ = H(m)·w mod q、u₂ = r·w mod q，最后验证 (g^u₁ · y^u₂ mod p) mod q == r。常见错误是忽略模运算顺序或范围：
立即学习“Java免费学习笔记（深入）”；
-
u1 = hm.multiply(w).mod(q); u2 = r.multiply(w).mod(q);—— 必须各自模 q，不能只在最后模 -
v = g.modPow(u1, p).multiply(y.modPow(u2, p)).mod(p).mod(q);—— 先分别模 p 再相乘，最后模 p，再模 q；不可直接mod(q)替代mod(p) - 注意：所有输入 r, s, H(m) 必须先做有效性检查（如 0 < r < q, 0 < s < q），否则
modPow可能抛出ArithmeticException
避免常见陷阱：负数、符号与编码
BigInteger 默认带符号，而 DSA 规范要求所有数值为非负整数。Java 的 BigInteger 在解析字节数组（如 DER 编码的签名）时可能产生负值，需主动调整：
- 从 ASN.1/DER 解析出的 r、s 若最高位为 1，会被解释为负数，应调用
abs()或用new BigInteger(1, bytes)强制无符号构造 - 模运算结果默认非负（
mod(q)总返回[0, q)区间值），但remainder(q)可能返回负余数，务必用mod而非remainder - 生成密钥或签名时，建议统一用
toByteArray()获取大端编码，并确保长度符合协议要求（如补前导零）
