虽然 zkVM（零知识虚拟机）允许 ZK 应用通过标准化证明环境跳过对其自定义电路的审计，但 zkVM 本身需要进行严格的审计，以确保安全性和完整性。 在 @ProjectZKM 的 Ziren 中，与 @VeridiseInc 的审计解决了这些风险，提供了经过验证的安全性。关键要素包括： > 约束的健全性：使用 Veridise 的 Picus 等工具进行形式验证，以确保确定性和对 MIPS 执行模型的精确执行，将计算与证明对齐，并解决内存、系统调用和跟踪生成中的模糊性。 > 模糊测试：对执行路径进行广泛的模糊和压力测试，以确认对抗性或格式错误程序的稳定性。 这代表了一个重要的里程碑，我们将继续致力于实现整个 zkVM 的可证明安全性。