《从零知识到零知识》第五部分已上线。 代码是如何变得可证明的？ 什么是zkVM，它为什么重要？ 🧵

ZK 证明系统使用数学方程。 开发者编写代码。 弥合这一差距曾经需要手动编写算术电路。虽然强大，但只有专家才能做到。 zkVMs 改变了这一点。 编写普通的 Rust，获得证明。不需要电路专业知识。

想想人工智能的发展是如何演变的。 在 TensorFlow 之前，你需要编写低级 GPU 代码。只有专家才能构建神经网络。 框架抽象了复杂性。数百万开发者随之而来。 zkVM 也在为零知识做同样的事情。

并非所有的 zkVM 都是相同的。每个团队根据他们所优化的目标做出架构选择。 有些团队优先考虑透明度。 有些团队优先考虑便宜的链上验证。 有些团队优先考虑证明速度。 你无法为所有事情进行优化。 权衡是不可避免的。