zkevm-docs/4-core.markdown

@@ -262,6 +262,11 @@ pub(crate) trait ExecutionGadget<
 
 # 执行状态的转换流程
 
+![image.png](/uploads/2/088B5A7969A744E7850B04351472A9F1/image.png)
+
+
+
+## 执行状态的转换约束
 某些执行状态之前或之后，需要约束为某个特定的执行状态，比如 end\_block，需要约束之前执行状态是END\_TX或BEGIN\_BLOCK，约束之后执行状态是 BEGIN\_BLOCK 或END\_CHUNK。
 
     constraints.append(&mut config.get_exec_state_constraints(