| ... | @@ -44,7 +44,7 @@ operand* 用来存放算术中的参数值，如 a+b=c+overflow 指令中的 a,b |
... | @@ -44,7 +44,7 @@ operand* 用来存放算术中的参数值，如 a+b=c+overflow 指令中的 a,b |
|
|
|
|
|
|
|
- 约束 cnt 除零行外,当前行与下一行差值为 1
|
|
- 约束 cnt 除零行外,当前行与下一行差值为 1
|
|
|
|
|
|
|
|
不同 Tag 对应的约束不同
|
|
不同 Tag 对应的约束不同 **请注意我们这里所有的 u16 都是 little endian 小端编码**
|
|
|
|
|
|
|
|
- Add (含义：a+b=c+overflow\*2^256，且 c 的 hi lo 被约束为 8 个 16bit 之和)
|
|
- Add (含义：a+b=c+overflow\*2^256，且 c 的 hi lo 被约束为 8 个 16bit 之和)
|
|
|
|
|
|
| ... | | ... | |
