據 Foresight News 報道，零知識應用 Lita 發佈了 Valida zkVM 和 Valida C 編譯器工具鏈，以實現更快、更便宜、更高效的 ZKP 生成。團隊介紹，Valida 與 LLVM 的兼容性爲許多傳統編程語言打開了大門，幫助開發人員輕鬆過渡。

Lita 對 Valida 性能能力的基準測試表明，單核 Valida 證明的速度比多核 RISC 零證明快 1.19 至 54 倍，效率高 19 至 1600 倍，減少證明計算上消耗的 CPU 時間和能量。