De acordo com o Foresight News, o aplicativo de conhecimento zero Lita lançou o conjunto de ferramentas do compilador Valida zkVM e Valida C para permitir a geração de ZKP mais rápida, barata e eficiente. Segundo a equipe, a compatibilidade do Valida com o LLVM abre as portas para muitas linguagens de programação tradicionais e ajuda os desenvolvedores a fazer a transição com facilidade.
O benchmarking da Lita sobre os recursos de desempenho do Valida mostra que as provas Valida de núcleo único são de 1,19 a 54 vezes mais rápidas e de 19 a 1.600 vezes mais eficientes do que as provas zero RISC de vários núcleos, reduzindo o tempo de CPU e a energia consumida nos cálculos de prova.