Getting Started
Lita is a cutting-edge zk-VM stack for succinct and zero-knowledge proving, leading in speed, efficiency, developer productivity, and modularity.
With speeds surpassing existing systems, in some cases by 100-1000x, Lita accelerates zero-knowledge proving to unprecedented levels. Supporting high-level languages like C, and with plans for C++ and Rust integration, developers can leverage familiar tools for trustless applications.
Designed to be modular and customizable, Lita offers flexibility to tailor the VM to specific needs. Join us at the forefront of cryptographic innovation with Lita, shaping the future of proving technology.
If you are not in the Valida zk-VM community yet, join the discord here.
Learn
If you want to learn more, get started by diving into these concepts:
Valida 101 - a walkthrough of the Valida zk-VM stack in short, 5 minute videos.
Core Concepts - learn about the building blocks of Lita, starting with zk-VM.
Architecture - a breakdown of Lita's proving system, zk-VM and compiler systems.
Benchmarks - measuring Valida's speed and efficiency in succinctly proving program executions.
Tutorials
Prove your first program - execute your programs on the Valida zk-VM and create succinct proofs of execution.
Try some C examples - compile C programs to run on the Valida zk-VM.
Contributing
To learn about how to contribute to the protocol, including this documentation site, check out the Contributing section.
Last updated