Getting Started
Last updated
Last updated
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 Rust, C and WASM makes it easy for developers to start building trustless applications. Planned integration with Solidity and Go broadens this support, ensuring a smooth transition for Ethereum and Go 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 want to learn more, get started by diving into these concepts:
- a walkthrough of the Valida zk-VM stack in short, 5 minute videos.
- learn about the building blocks of Lita, starting with zk-VM.
- a breakdown of Lita's proving system, zk-VM and compiler systems.
- measuring Valida's speed and efficiency in succinctly proving program executions.
- execute Rust programs on the Valida zk-VM and create succinct proofs of execution.
To learn about how to contribute to the protocol, including this documentation site, check out the section.