zkevm-docs/5-state.markdown

@@ -126,6 +126,8 @@ Tag不同，含义不同，如下。
 
 首先，我们还需要一个变量叫`first_access`表示这个pointer的地方是否是第一次访问。其构造详情稍后详细描述。
 
+那么对于不是first_access的行，意味着上一行和这一行是同一个地方，我们排序又是按照stamp排的。因此，如果这一行是读（is_write=0）那么value必然等于上一行的value。
+
 对不同tag，约束不同：
 - Memory：
   - 若first_access且is_write=0, 则value=0.