| ... | ... | @@ -100,7 +100,7 @@ operand* 用来存放算术中的参数值，如 a+b=c+overflow 指令中的 a,b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- Mul(需要 6 行对 a,b,c lookup ) 其中 operand0 是 a,operand1 是 b
|
|
|
|
- Mul(需要8行对 a,b,c,carry lookup,carry lookup的原因是在进行计算时carry_lo或carry需要左移128位，因为有限域的特点可能存在左移后carry_lo或carry_hi在0-128bit存在值) 其中 operand0 是 a,operand1 是 b
|
|
|
|
|
|
|
|
- define t0 = a0 \* b0 （0-128bit）
|
|
|
|
- define t1 = a0 \* b1 + a1 \* b0 (64-193bit)
|
| ... | ... | |
