From 04db0ad7bf22e31367e44dd35394662e41170e47 Mon Sep 17 00:00:00 2001 From: Sun Yimin Date: Fri, 1 Mar 2024 09:54:48 +0800 Subject: [PATCH] Updated SM2 WWMM (2) (markdown) --- SM2-WWMM-(2).md | 78 ------------------------------------------------- 1 file changed, 78 deletions(-) diff --git a/SM2-WWMM-(2).md b/SM2-WWMM-(2).md index 423b540..d8c17a3 100644 --- a/SM2-WWMM-(2).md +++ b/SM2-WWMM-(2).md @@ -452,50 +452,11 @@ $T_3=t_7 \ast 2^{448} + t_6 \ast 2^{384} + t_5 \ast 2^{320} + (t_4+Y-Y>>32) \ast 加法:8 减法:3 -**使用MULXQ**: -```asm - // First reduction step, [ord3, ord2, ord1, ord0] = [1, -0x100000000, -1, ord1, ord0] - MOVQ acc0, DX - MULXQ p256ordK0<>(SB), t0, AX - // 处理第一个加法,以便释放acc0 - MOVQ t0, DX // Y = t0 = (k0 * acc0) mod 2^64 - MULXQ p256ord<>+0x00(SB), AX, t1 - ADDQ AX, acc0 // (carry1, acc0) = acc0 + L(t0 * ord0),acc0 可以被释放了。 - ADCQ t1, acc1 // (carry2, acc1) = acc1 + H(t0 * ord0) + carry1 - - // calculate the negative part: [t0, acc3, acc2, acc1] - [0, 0x100000000, 1, 0] * t0 - // [t0 - t0>>32, acc3-t0<<32, acc2-t0, acc1] - // 处理减法 - MOVQ t0, acc0 // acc0 = t0 - MOVQ t0, AX - SHLQ $32, AX - SHRQ $32, DX - - SUBQ t0, acc2 - SBBQ AX, acc3 - SBBQ DX, acc0 - - // 处理加法 - MOVQ t0, DX - MULXQ p256ord<>+0x08(SB), AX, t1 - ADCQ $0, t1 // t1 = carry2 + H(t0*ord1) - ADDQ AX, acc1 // (carry3, acc1) = acc1 + L(t0*ord1) - ADCQ t1, acc2 // (carry4, acc2) = acc2 + t1 + carry3 - ADCQ $0, acc3 // (carry5, acc3) = acc3 + carry4 - ADCQ $0, acc0 // acc0 = t0 + carry5 - -``` -乘法: 3 -移位:2 -加法:7 -减法:3 - | 方案 | 乘法 | 移位 | 加法 | 减法 | | ----------- | ----------- | ----------- | ----------- | ----------- | | 方案一 | 5 | 0 | 14 | 0 | | 方案一(MULX/ADCX/ADOX) | 5 | 0 | 9 | 0 | | 方案二 | 3 | 2 | 8 | 3 | -| 方案二(MULX) | 3 | 2 | 7 | 3 | 看来在支持**MULXQ/ADCXQ/ADOXQ**的情况下,使用方案一(MULX/ADCX/ADOX)更好! @@ -638,49 +599,10 @@ $T_3=(t_4+Y-Y>>32) \ast 2^{256}+(t_3 - Y<<32) \ast 2^{192} + (t_2 - Y) \ast 2^{1 加法:9 减法:3 -**使用MULXQ**: -```asm - // First reduction step - MOVQ acc0, DX - MULXQ p256ordK0<>(SB), t0, AX - - // 处理第一个加法,以便释放acc0 - MOVQ t0, DX - MULXQ p256ord<>+0x00(SB), AX, BX - ADDQ AX, acc0 // acc0 可以被释放了 - ADCQ BX, acc1 - - // 开始处理减法 - MOVQ t0, acc0 - MOVQ t0, AX - SHLQ $32, AX - SHRQ $32, DX - - SUBQ t0, acc2 - SBBQ AX, acc3 - SBBQ DX, acc0 - - // 处理加法 - MOVQ t0, DX - MULXQ p256ord<>+0x08(SB), AX, BX - ADCQ $0, BX - ADDQ AX, acc1 - ADCQ BX, acc2 - ADCQ $0, acc3 - ADCQ acc0, acc4 - ADCQ $0, acc5 - -``` -乘法: 3 -移位:2 -加法:8 -减法:3 - | 方案 | 乘法 | 移位 | 加法 | 减法 | | ----------- | ----------- | ----------- | ----------- | ----------- | | 方案一 | 5 | 0 | 15 | 0 | | 方案一(MULX/ADCX/ADOX) | 5 | 0 | 10 | 0 | | 方案二 | 3 | 2 | 9 | 3 | -| 方案二(MULX) | 3 | 2 | 8 | 3 | 看来在支持**MULXQ/ADCXQ/ADOXQ**的情况下,使用方案一(MULX/ADCX/ADOX)更好!