1/ 小心炒作：虽然SNARKs和zkVMs显示出巨大的潜力，但它们尚未准备好用于复杂的、高风险的部署。漏洞无处不在，形式化验证还处于初期阶段，证明的速度可能比本地执行慢数十万倍。

2/ 我刚刚发布了一篇文章，概述了zkVM开发的结构化路线图。它将“安全阶段”与“速度阶段”分开，为我们提供了一种透明的方式来跟踪进展。在这里阅读：

3/ 关于安全性，我将形式验证分为三个阶段： • 已验证的协议 • 已验证的验证者 • 已验证的证明者 在我们达到第二阶段之前，我们不能真正称一个 zkVM 是“安全的”——而要达到这一点可能还需要几年时间。

4/ 关于性能，开销与本地执行相比仍然超过100,000倍——对于大多数用例来说，这是不可接受的。我的帖子提出了五个“性能阶段”，以大幅减少这种开销，并最终实现设备上的证明。

5/ 关键是，我们必须隔离一个证明系统的基本效率。目前，许多基准测试将一切——证明系统、工程、硬件提升和手动优化的预编译——捆绑成一个单一的顶线数字，模糊了我们真正的立场。

6/ 所以，是的，zkVMs 和 SNARKs 拥有巨大的潜力，但如果我们假装它们已经准备好迎接黄金时段，那就是在玩火。我将利用这些阶段来跟踪未来几年 zkVM 的进展——希望其他人也会这样做。查看我的帖子：