Updated 实现ML‐DSA所需的多项式和线性代数知识 (markdown)

Sun Yimin 2025-05-29 14:07:04 +08:00
parent ad4bcf7ac7
commit ff4d1903ce

@ -21,6 +21,8 @@ $$ \downarrow $$
# 模运算
ML-DSA中有两种模运算 $mod$ 和 $mod^{\pm}$ 。 $mod^{\pm}$ 被称作对称模运算,其实只是在 $mod$ 运算后,调整取值范围。
乘法结果适合放在一个uint64中。然后你可以选择Montgomery或[Barrett](https://www.nayuki.io/page/barrett-reduction-algorithm)约简算法。注意Barrett约减的内积超过64位所以我们选用Montgomery约简算法。你不能使用%,因为除法在硬件中不是总是恒定时间的。
# 无穷范数