Відповідно до Foresight News, програма з нульовим знанням Lita випустила ланцюжок компіляторів Valida zkVM і Valida C, щоб забезпечити швидшу, дешевшу та ефективнішу генерацію ZKP. За словами команди, сумісність Valida з LLVM відкриває двері до багатьох традиційних мов програмування та допомагає розробникам легко здійснити перехід.
Порівняльний аналіз продуктивності Valida, проведений Lita, показує, що одноядерні перевірки Valida в 1,19–54 рази швидші та в 19–1600 разів ефективніші, ніж багатоядерні перевірки RISC з нульовим підтвердженням, зменшуючи час ЦП та енергію, споживану на обчислення доказів.
