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
  • Documentation
  • Community
  1. Contributing

Overview

PreviousValida Design ConsiderationsNextEarly Access Program

Last updated 6 months ago

Lita welcomes contributions of all sizes from the community. The stack owes thanks to over 20 contributors who have helped us so far.

To get involved, try looking up open issues in one of the repos below or join a dev call.

Repository
Description

backend compiler that enables programs written in conventional languages like C, C++ and Rust to be compiled and proven on the Valida VM

a STARK-based virtual machine designed for efficient zero-knowledge proofs

a batteries-included framework for building succinct proof systems


Documentation

This site serves as the central hub for documentation on the stack. If you have feedback, please open an issue or create a pull request at.


Community

  • - Public chat for developer support.

  • - Public chat for early access and integration support.

Developer Discord
Core Community Telegram
Valida LLVM Compiler
Valida zk-VM
Valida-Plonky3