diff --git a/MFMM.md b/MFMM.md index b1cb543..c818b83 100644 --- a/MFMM.md +++ b/MFMM.md @@ -306,7 +306,8 @@ $t_1=t_0 + t_1$ $t_2=t_2 + 0$ $t_3=t_3 + 0$ $t_0=t_0 + 0$ -t0会不会是0xffffffffffffffff呢?显然不会,因为T是某个数的平方,而这个数的取值范围是[0, P-1]。 +t0,t2,t3会不会同时是0xffffffffffffffff呢? + 接着处理减法,假定a0是 $t_0 \ast 2^{32}$ 的低64位,a1是 $t_0 \ast 2^{32}$ 的高64位。后三个减法是带借位减法: $t_1=t_1 - a_0$ $t_2=t_2 - a_1$