Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 5 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,10 +4,14 @@ A verifiable virtual machine developed in collaboration with [Lambdaclass](https

This open-source zkVM lets users prove the correct execution of a program over a given input stream. The current implementation generates base proofs using STARKs over the Goldilocks field, with 128 bits of security and LogUp as the lookup argument linking tables.

Proof accelerators, GPU support, and proof compression are under development.
Proof accelerators, GPU support, and proof compression are under development; see the [Roadmap](#roadmap) for the full plan and how the pieces fit together.

> ⚠️ **This project is under active development and experimentation — do not use in production.**

## Roadmap

The **[public roadmap](https://yetanotherco.github.io/lambda_vm_roadmap/)** lays out what's in progress and what's planned, along with the ordering and dependencies between those workstreams.

## Getting Started

### Dependencies
Expand Down
Loading