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 telegram channel 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

Contributing

To learn about how to contribute to the protocol, including this documentation site, check out the Contributing section.

NextTutorial: Rust via Docker

Last updated