zkevm-docs/1-introduction.markdown

-# zkEVM介绍
+# zkEVM
+
+## 介绍
 
 零知识以太坊虚拟机（zkEVM）是一种生成零知识证明以验证EVM智能合约程序运行正确性的虚拟机。zkEVM可以在公链的Rollup扩容方案中作为生成有效性证明的核心部分，也可以用以支持通用化的隐私计算。本项目开发面向长安链的zkEVM。
 
@@ -17,3 +19,13 @@ EVM的复杂性决定了电路的证据和约束将会非常复杂，进而决
 电路结构图
 
 我们决定选择halo2零知识证明电路开发框架及其算术化方法，原因是其易用性和社区友好性。
+
+## 子电路
+
+详细阐述其代码接口。包括
+
+SubCircuitConfig
+
+SubCircuit
+
+未完待续
\ No newline at end of file