# Installation & System Requirements

{% embed url="<https://drive.google.com/file/d/1_R3vkFsa93my9xebcI7jO3B20mZiofhz/view?usp=sharing>" %}
Video demo of installing and using the Valida zk-VM stack via Docker.
{% endembed %}

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:v1.0.0-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:v1.0.0-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:v1.0.0-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:v1.0.0-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`.
* [`rustup`](https://www.rust-lang.org/tools/install) is required.
* 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/v1.0.0/llvm-valida-v1.0.0-linux-x86_64.tar.xz
tar xf llvm-valida-v1.0.0-linux-x86_64.tar.gz
cd valida-toolchain
sudo mkdir -p /valida-toolchain
sudo chown -R $(whoami):$(whoami) /valida-toolchain
./install.sh
```


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://lita.gitbook.io/lita-documentation/quick-start/installation-and-system-requirements.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.
