diff --git a/实现ML‐DSA所需的多项式和线性代数知识.md b/实现ML‐DSA所需的多项式和线性代数知识.md index 25b86fd..96cb785 100644 --- a/实现ML‐DSA所需的多项式和线性代数知识.md +++ b/实现ML‐DSA所需的多项式和线性代数知识.md @@ -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约简算法。你不能使用%,因为除法在硬件中不是总是恒定时间的。 + # 无穷范数