Laut Foresight News hat Lita, eine Zero-Knowledge-Anwendung, die Valida zkVM- und Valida C-Compiler-Toolchain eingeführt. Diese Entwicklung zielt darauf ab, eine schnellere, kostengünstigere und effizientere Generierung von Zero-Knowledge Proofs (ZKP) zu ermöglichen. Das Team hinter Lita erklärte, dass die Kompatibilität von Valida mit LLVM die Tür für viele traditionelle Programmiersprachen öffnet und Entwicklern einen reibungslosen Übergang ermöglicht.

Benchmarktests der Leistungsfähigkeit von Lita für Valida zeigen, dass die Geschwindigkeit von Single-Core-Valida-Beweisen 1,19- bis 54-mal schneller ist als die von Multi-Core-RISC-Zero-Beweisen. Auch die Effizienz ist deutlich höher und liegt zwischen 19- und 1600-mal höher, was die CPU-Zeit und den Energieverbrauch bei der Beweisberechnung reduziert.