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