| ... | ... | @@ -46,7 +46,7 @@ operand* 用来存放算术中的参数值，如 a+b=c+overflow 指令中的 a,b |
|
|
|
|
|
|
|
不同 Tag 对应的约束不同
|
|
|
|
|
|
|
|
- AddWith3rdConfined (含义：a+b=c+overflow\*2^256，且 c 的 hi lo 被约束为 8 个 16bit 之和)
|
|
|
|
- Add (含义：a+b=c+overflow\*2^256，且 c 的 hi lo 被约束为 8 个 16bit 之和)
|
|
|
|
|
|
|
|
- 注：加法可以用这个
|
|
|
|
- 如果是 cnt=0 行，则 cnt_prev=1,cnt_prev_prev=0
|
| ... | ... | |
