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
  • Installation and usage: x86_64 platforms
  • Installation and usage: ARM64 platforms
  • System Requirements (non-Docker)
  • Installation Instructions (non-Docker)
  1. Quick Start

Installation & System Requirements

PreviousTutorial: Rust via DockerNextValida Compiler Toolchain

Last updated 2 months ago

We provide a Docker container with the Valida LLVM and Rust toolchains already installed. Docker is the only supported method of running on platforms other than x86 Linux.

Installation and usage: x86_64 platforms

# Download the container
docker pull ghcr.io/lita-xyz/llvm-valida-releases/valida-build-container:v0.9.0-alpha-amd64

cd your-valida-project

# Enter the container:
docker run --platform linux/amd64 --entrypoint=/bin/bash -it --rm -v $(realpath .):/src ghcr.io/lita-xyz/llvm-valida-releases/valida-build-container:v0.9.0-alpha-amd64

# You are now in a shell with the valida rust toolchain installed!

Installation and usage: ARM64 platforms

# Download the container
docker pull ghcr.io/lita-xyz/llvm-valida-releases/valida-build-container:v0.9.0-alpha-arm64

cd your-valida-project

# Enter the container:
docker run --platform linux/arm64 --entrypoint=/bin/bash -it --rm -v $(realpath .):/src ghcr.io/lita-xyz/llvm-valida-releases/valida-build-container:v0.8.0-alpha-arm64

# You are now in a shell with the valida rust toolchain installed!

System Requirements (non-Docker)

  • This toolchain supports x86-64 Linux based on glibc-2.9 or newer glibc.

  • Arch Linux and Ubuntu 24.04 LTS are specifically supported, with other platforms possibly requiring some tinkering to make work.


Installation Instructions (non-Docker)

Download the release bundle, untar it, and run the installation script as root:

wget https://github.com/lita-xyz/llvm-valida-releases/releases/download/v0.9.0-alpha/llvm-valida-v0.9.0-alpha-linux-x86_64.tar.xz
tar xf llvm-valida-v0.9.0-alpha-linux-x86_64.tar.gz
cd valida-toolchain
sudo mkdir -p /valida-toolchain
sudo chown -R $(whoami):$(whoami) /valida-toolchain
./install.sh

is required.

rustup
Video demo of installing and using the Valida zk-VM stack via Docker.