| ... | ... | @@ -149,6 +149,12 @@ constraints |
|
|
|
- Mulmod
|
|
|
|
|
|
|
|
- Length
|
|
|
|
arithmetic中的布局:
|
|
|
|
|tag| cnt | operand_0_hi | operand_0_lo | operand_1_hi | operand_1_lo |
|
|
|
|
| :--:| :--:| :--:| :--:| :--:| :--:|
|
|
|
|
| Length | 0 | length | offset | data_size | 0 |
|
|
|
|
| Length | 1 | normal_length | zero_length | 0 | 0 |
|
|
|
|
|
|
|
|
输入：length,offset,data_size
|
|
|
|
输出：normal_length, zero_length
|
|
|
|
计算方式：
|
| ... | ... | |
