Theo Foresight News, ứng dụng không kiến thức Lita đã phát hành chuỗi công cụ biên dịch Valida zkVM và Valida C để cho phép tạo ZKP nhanh hơn, rẻ hơn và hiệu quả hơn. Theo nhóm, khả năng tương thích của Valida với LLVM mở ra cơ hội cho nhiều ngôn ngữ lập trình truyền thống và giúp các nhà phát triển thực hiện chuyển đổi dễ dàng.
Điểm chuẩn của Lita về khả năng hiệu suất của Valida cho thấy rằng bằng chứng Valida lõi đơn nhanh hơn từ 1,19 đến 54 lần và hiệu quả hơn từ 19 đến 1600 lần so với bằng chứng bằng RISC đa lõi, giảm thời gian CPU và năng lượng tiêu thụ khi tính toán bằng chứng.
