据 Foresight News 报道，零知识应用 Lita 发布了 Valida zkVM 和 Valida C 编译器工具链，以实现更快、更便宜、更高效的 ZKP 生成。团队介绍，Valida 与 LLVM 的兼容性为许多传统编程语言打开了大门，帮助开发人员轻松过渡。

Lita 对 Valida 性能能力的基准测试表明，单核 Valida 证明的速度比多核 RISC 零证明快 1.19 至 54 倍，效率高 19 至 1600 倍，减少证明计算上消耗的 CPU 时间和能量。