Getting Started
Lita’s Valida zk-VM stack sets a new standard in zero-knowledge proving, leading in speed, efficiency, modularity and development productivity. Key features include:
zk-Optimized ISA: Valida’s custom instruction set architecture (ISA) is purpose-built for zk-proofs, offering up to 10x efficiency over standard architectures such as RISC-V. This design drastically accelerates proof generation and reduces computational costs.
High-Level Language Support: Support for C and Rust makes it easy for developers to start building trustless applications. Planned integration with Solidity and WASM broadens this support, ensuring a smooth transition for Ethereum and WebAssembly developers.
Modular Chip Design: Valida’s architecture is tailored for modularity, allowing customization of the VM stack to meet specific application demands and hardware optimizations. This approach makes it adaptable across a wide range of cryptographic use cases.
Record-Breaking Speed and Efficiency: Valida outperforms existing systems, reaching speeds up to 100-1000x faster in key proving operations, enabling scalable, real-time zero-knowledge applications.
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 examples - compile Rust and 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