Update btou_ZICL1st.md

btou_ZICL1st.md

@@ -295,4 +295,14 @@ NP Complete场景eg.:
 效率：实用电路是为了在计算资源有限的情况下高效工作而设计的。它们需要在短时间内完成计算，并且占用尽量少的内存和处理能力。
 举个例子：
 如果你要证明你有足够的钱购买一件商品，你可以设计一个实用电路来计算你账户里的余额是否大于商品的价格。这个电路会通过加密的方法来验证这个计算是正确的，但它不会透露你的账户余额具体是多少。
+### 2024.08.15
+zkVM 就是一个由零知识证明来保证安全可验证可信特性的虚拟机, 简单来说就是, 输入旧状态和程序, 返回新状态. 它能让所有的应用都被赋予零知识证明的超能力。
+zkVM 的优点:
+易用: 开发者不用学密码学或者零知识开发就可以使用 zkVM 来运行程序保证计算安全 ( 不代表完全无门槛 )
+通用: zkVM 可以给任何程序和计算生成证明.
+简洁: 相对比较少量 constraints 就可以描述整个 VM ( 不用重复生成整个 VM 的电路 ).
+递归: 免费的递归特性. 和通用性一样, 对 VM 的验证可以通过 VM 来进行. 这个就挺好玩, 比如你可以在 zkVM 里放一个 zkVM, 就类似 StarkWare 说的 L3 的概念.
+zkVM 的缺点:
+计算架构特殊: 并非所有零知识证明系统可以被用来做 zkVM.
+性能问题: 电路需要优化, 可以为特定计算进行针对性优化.
 <!-- Content_END -->