我们发布了 Valida zkVM 1.0.0 —— 我们的第一个重大里程碑。 这个版本带来了并行证明、调试器支持、更智能的代码生成和更强的健全性检查。 线程 🧵