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

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

  • Prove your first program - 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 Contributing section.

NextTutorial: Rust via Docker

Last updated 16 days ago