Lita Docs
  • Introduction
    • Getting Started
  • Quick Start
    • Tutorial: Rust via Docker
    • Installation & System Requirements
    • Valida Compiler Toolchain
      • Rust Usage
      • C Usage
      • WASM Usage
      • Rust API
      • Client-side API
    • Valida zk-VM
  • ADVANCED USAGE
    • zk-VM: Advanced Usage
    • Using the Rust Toolchain
    • Using LLVM libc
  • Architecture
    • Overview
    • Proving System: Plonky3
      • Future Directions
    • Valida zk-VM
      • Technical Design: VM
      • Technical Design: Prover
      • GitHub Link
    • LLVM-Valida Compiler
      • Technical Design
      • GitHub Link
    • Benchmarks
      • Fibonacci (vs. RISC Zero)
      • Fibonacci (vs. SP1)
      • Fibonacci (vs. Jolt)
      • Fibonacci (Rust vs. C)
      • SHA-256 (vs. RISC Zero)
      • SHA-256 (vs. SP1)
      • SHA-256 (vs. Jolt)
  • Core Concepts
    • zk-VM
    • Proofs: Classical, Probabilistic, Succinct, and ZK
    • Evaluating zk-VMs
    • ZK-VM Design Tradeoffs
    • Valida Design Considerations
  • Contributing
    • Overview
    • Early Access Program
Powered by GitBook
On this page
  • Learn
  • Tutorials
  • Contributing
  1. Introduction

Getting Started

NextTutorial: Rust via Docker

Last updated 2 months ago

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 are not in the Valida zk-VM community yet, join the here.

Learn

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.

Tutorials

  • - execute Rust programs on the Valida zk-VM and create succinct proofs of execution.

Contributing

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

telegram channel
Valida 101
Core Concepts
Architecture
Benchmarks
Prove your first program
Contributing