Updated MFMM (markdown)

Sun Yimin 2024-02-21 17:40:08 +08:00
parent ec94141df0
commit 905e09027c

@ -307,7 +307,7 @@ $t_2=t_2 + 0$
$t_3=t_3 + 0$ $t_3=t_3 + 0$
$t_0=t_0 + 0$ $t_0=t_0 + 0$
t<sub>0</sub>会不会是0xffffffffffffffff呢显然不会因为T是某个数的平方而这个数的取值范围是[0, P-1]。 t<sub>0</sub>会不会是0xffffffffffffffff呢显然不会因为T是某个数的平方而这个数的取值范围是[0, P-1]。
接着处理减法假定a<sub>0</sub>是 $t_0 \ast 2^{32}$ 的低64位a<sub>1</sub>是 $t_0 \ast 2^{32}$ 的高64位 接着处理减法假定a<sub>0</sub>是 $t_0 \ast 2^{32}$ 的低64位a<sub>1</sub>是 $t_0 \ast 2^{32}$ 的高64位。后三个减法是带借位减法
$t_1=t_1 - a_0$ $t_1=t_1 - a_0$
$t_2=t_2 - a_1$ $t_2=t_2 - a_1$
$t_3=t_3 - a_0$ $t_3=t_3 - a_0$