| ... | ... | @@ -83,7 +83,7 @@ pub struct BitwiseCircuitConfig<F: Field> { |
|
|
|
|
|
|
|
电路中的行数不可能是16的整数倍，因为存在一些填充值(如begin_padding)，电路自动padding的行使用Tag::Nil进行约束，Tag为Nil的行的值都为默认值，即为0
|
|
|
|
|
|
|
|
- tag_is_not_nil，cnt=0 ---> acc_0=byte_0、acc_1=byte_1、acc_2=byte_2、sum_2=byte_2 ，`cnt=0-->pre_cnt=15（暂未使用）`
|
|
|
|
- tag_is_not_nil，cnt=0 ---> acc_0=byte_0、acc_1=byte_1、acc_2=byte_2、sum_2=byte_2
|
|
|
|
- tag_is_not_nil，cnt != 0 ---> `acc_0=byte_0+acc_0_pre*256`，`acc_1=byte_1+acc_1_pre*256`，`acc_2=acc_2_pre*256`, `sum_2=byte_2+sum2_pre`，`cnt=cnt_pre+1`，`tag=tag_pre`
|
|
|
|
- tag_is_not_nil，next_cnt=0 --> cnt=15
|
|
|
|
|
| ... | ... | |
