Lita is building Valida, the fastest zkVM, optimized from the ground up for zero-knowledge proofs with a custom instruction set. Valida delivers an average 50x latency improvement and 100x cost savings over alternative solutions in real-world applications (see Lita benchmarks and third party benchmarks).
Supporting high-level languages such as Rust and C, and with plans to integrate with Go, WASM and others, developers can leverage familiar tools for provable and trustless applications.
A collection of code examples of other zkVMs for benchmarking purposes.
Lita's fork of hashes: A collection of cryptographic hash functions written in pure Rust
A small cross-platform library for retrieving random data from (operating) system source
Lita's fork of sponges: A collection of sponge functions written in pure Rust
An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve for use with Valida VM
Lita's fork of high-performance, well-tested & documented core libraries for Ethereum, in Rust
