Selon Foresight News, l'application sans connaissance Lita a publié la chaîne d'outils de compilateur Valida zkVM et Valida C pour permettre une génération de ZKP plus rapide, moins chère et plus efficace. Selon l'équipe, la compatibilité de Valida avec LLVM ouvre la porte à de nombreux langages de programmation traditionnels et aide les développeurs à effectuer facilement la transition.
L'analyse comparative réalisée par Lita sur les capacités de performances de Valida montre que les épreuves Valida monocœur sont 1,19 à 54 fois plus rapides et 19 à 1 600 fois plus efficaces que les épreuves zéro RISC multicœurs, réduisant ainsi le temps CPU et l'énergie consommée pour les calculs de preuves.