8.15 notes

Oscar_ZICL1st.md

@@ -222,10 +222,15 @@ timezone: Asia/Shanghai
 
 ### 2024.08.15
 
-- 学习主题：
+- 学习主题：ZK 的可组合性 🤔
 - 学习内容小结：
+  - 在 zkSNARK 里，可组合性是肉眼可见的。且不用说最近两年 zkSNARK 技术本身的发展，当我们去看 paper 的时候，我们已经可以**非常清晰地看到一个协议，是通过很多子协议的排列组合构造出来的**，并且这种可组合性以肉眼可见的速度扩大，这也就意味着 zkSNARK 不再是我们想象中的某一种算法，比如 Groth16 或者 PlonK。它们本身也很复杂，拆开来看，每个算法都由一些精巧的小组件构成，这些精妙的算法之间又可以构成一个更大一点的协议，甚至比我的描述更加复杂，它不是严格的、有层级的划分，它甚至更灵活一些。
+  - 这些可组合性的发展很有可能带来新的空间。尤其是最近一两年关于**递归零知识证明技术**的一些突破，带来了非常大的创新空间。
 
+### 2024.08.16
 
+- 学习主题：
+- 学习内容小结：
 
 
 <!-- Content_END -->