qingyun Ma · a518c7df
Show whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

zkevm-docs/6-bytecode.markdown zkevm-docs/6-bytecode.markdown +2 -2

No files found.
--- a/zkevm-docs/6-bytecode.markdown
+++ b/zkevm-docs/6-bytecode.markdown
@@ -172,9 +172,9 @@ cnt_prev !=0 -----> `is_high_prev - is_heigh_cur - cnt_is_15 = 0` (用于约束c
 cnt_prev !=0 ----> `acc_hi_prev + is_high*(acc_hi_prev*255 + bytecode) - acc_hi_cur =0`(约束acc_hi)
-&emsp;&emsp;cnt !=0 && is_high=0 ----> `acc_hi_cur-acc_hi_prev=0` (cnt < 16的行，acc_hi的值是不变的)
+&emsp;&emsp;cnt_prev !=0 && is_high=0 ----> `acc_hi_cur-acc_hi_prev=0` (cnt < 16的行，acc_hi的值是不变的)
-&emsp;&emsp;cnt !=0 && is_high=1 ----> `acc_hi_prev + (acc_hi_prev*255 + bytecode) - acc_hi_cur =0=0` (即acc_hi_cur的值为`acc_pre*256+bytecoce`)
+&emsp;&emsp;cnt_prev !=0 && is_high=1 ----> `acc_hi_prev + (acc_hi_prev*255 + bytecode) - acc_hi_cur =0=0` (即acc_hi_cur的值为`acc_pre*256+bytecoce`)
 cnt_prev !=0 ----> `acc_lo_cur - acc_lo_prev - (1-is_high) *(acc_lo_prev*255 + bytecode)=0` (约束acc_lo，当cnt < 16, 即high=0时，acc_lo_cur=acc_lo_prev*256 + bytecode)