Updated MFMM (markdown)

Sun Yimin 2024-02-22 08:20:43 +08:00
parent 87d6326c37
commit c71e06e625

@ -306,7 +306,8 @@ $t_1=t_0 + t_1$
$t_2=t_2 + 0$ $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>t<sub>2</sub>t<sub>3</sub>会不会同时是0xffffffffffffffff呢
接着处理减法假定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$