home.markdown

+# 20230415 周报
+
+## 本周工作
+
+- 学习 Halo2 功能和接口
+- 实现从 txt 中解析出汇编，并生成运行的 trace
+
+## 下周计划
+
+- 完成 Witness Table 的自动生成
+- 测试现有代码
+
+## 待解决问题
+
+- 熟悉 Halo2 的 witness 的生成方法 
+