zkevm-docs/6-bytecode.markdown

@@ -227,6 +227,30 @@ is_push?  ---->如果是push===>is_push=1, 如果不是is_push===>is_push=0
 
 Tag? ----> Nil,OPCODE_NOPUSH, OPCODE_PUSH, BYTE
 
+或者如下：
+
+cnt_prev=0 && cnt_cur !=0 ----> OPCODE(PUSH)
+
+cnt_prev=0 && cnt_cur =0 && addr != 0 ---> OPCODE(非PUSH) 
+
+addr = 0 ----> Padding row
+
+cnt_prev  != 0  && cnt_cur != 0 ------> PUSH的byte(非push的最后一个字节)
+
+cnt_prev != 0 && cnt_cur == 0 -------> PUSH的最后一个字节
+
+
+
+问题：
+
+PUSH指令中的的 value_lo和value_hi都是PUSH的最后一个byte时所得到的
+
+
+
+​     
+
+
+
 ## Lookup约束
 
 每一个byte都应该在fixed电路中Lookup到，即每一个字节大小都应该在0~255范围内