PROJECT 01
VALIDA
A custom ISA zkVM for fast, verifiable computation
Valida is a custom instruction set architecture (ISA) for zero-knowledge virtual machines, designed to enable fast, verifiable computation. It provides a foundation for building applications that require computational integrity and privacy.
At Delendum and Lita, I helped design Valida out of a desire for coherence—a system that combines high-performance proving with the elegance of familiar languages. There's an aesthetic pleasure in systems that do not fight their users. Valida tries to embody that.
RESOURCES
Technical Specification
The Valida zkVM architecture is detailed in our arXiv paper, which outlines the instruction set, memory model, and verification protocol.
Read the paperDeveloper Documentation
Comprehensive documentation for developers looking to build applications using the Valida zkVM.
View documentationGitHub Repository
The Valida zkVM implementation is open source and available on GitHub. Contributions are welcome.
View on GitHubCompany Website
Learn more about Lita, the company behind Valida zkVM, and our mission to advance zero-knowledge technology.
Visit LitaECOSYSTEM COMPONENTS
Valida zkVM
The core virtual machine that executes programs and generates zero-knowledge proofs of their correct execution. Built for verifiable computation with optimized performance.
Compiler Toolchain
A comprehensive set of tools that allows developers to compile Rust and C code to the Valida instruction set, enabling familiar programming languages to be used for zero-knowledge applications.
Developer Experience
Carefully designed APIs, documentation, and tooling that make it easy for developers to build, test, and deploy applications using Valida, with a focus on usability and integration.
PAPER ABSTRACT
The Valida instruction set architecture is designed for implementation in zkVMs to optimize for fast, efficient execution proving. This specification intends to guide implementors of zkVMs and compiler toolchains for Valida. It provides an unambiguous definition of the semantics of Valida programs and may be used as a starting point for formalization efforts.
GITHUB REPOSITORY
This repository provides the binary release of the Valida toolchain, designed to enable developers to build, run, and prove programs using the Valida zkVM. Whether you're working in Rust or C, the Valida toolchain makes it easy to compile your code, generate proofs of execution, and verify them.