zkevm-docs/9-bitwise.markdown

@@ -81,7 +81,7 @@ pub struct BitwiseCircuitConfig<F: Field> {
 ### 门约束
 
 - cnt=0 ---> acc_0=byte_0、acc_1=byte_1、acc_2=byte_2、sum_2=byte_2
-- 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 != 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`，`tag=tag_pre`
 
 ### LookUp约束
 
@@ -89,3 +89,5 @@ pub struct BitwiseCircuitConfig<F: Field> {
 
 
 
+问题：tag怎么约束，范围证明？
+