Overview

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.

RepositoryDescription

backend compiler that enables programs written in conventional languages like C, C++ (planned) and Rust (planned) 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

Last updated