Theo Foresight News, Lita, một ứng dụng không có kiến ​​thức, đã ra mắt chuỗi công cụ biên dịch Valida zkVM và Valida C. Sự phát triển này nhằm mục đích tạo điều kiện cho việc tạo ra Bằng chứng không kiến ​​thức (ZKP) nhanh hơn, rẻ hơn và hiệu quả hơn. Nhóm đằng sau Lita giải thích rằng khả năng tương thích của Valida với LLVM sẽ mở ra cơ hội cho nhiều ngôn ngữ lập trình truyền thống, hỗ trợ các nhà phát triển thực hiện quá trình chuyển đổi suôn sẻ.

Các bài kiểm tra điểm chuẩn về khả năng hoạt động của Lita dành cho Valida chỉ ra rằng tốc độ của bằng chứng Valida lõi đơn nhanh hơn từ 1,19 đến 54 lần so với bằng chứng RISC zero đa lõi. Hiệu suất cũng cao hơn đáng kể, từ 19 đến 1600 lần, giảm thời gian và năng lượng tiêu thụ của CPU trong tính toán chứng minh.