60 releases (24 stable)
Uses new Rust 2024
| 5.0.0-rc.1 | Jan 14, 2026 |
|---|---|
| 4.0.4 | Feb 3, 2026 |
| 4.0.3 | Nov 24, 2025 |
| 4.0.0-rc.2 | Jul 25, 2025 |
| 0.19.1 | Nov 9, 2023 |
#7 in #lift
54,557 downloads per month
Used in 46 crates
(4 directly)
8.5MB
62K
SLoC
The recursion VM is a non-Turing-complete virtual machine (VM) optimized for algebraic constraint checking. In particular, it is well-tuned for verifying STARKs.
The recursion VM runs "recursion programs", which define the
functionality it will implement. As examples, the lift, join,
and resolve programs are used by the risc0 ZkVM to compress a
collection of STARK receipts for a composition into a single
succinct receipt.
This is a low-level interface; users should prefer to use the
risc0_zkvm crate.
Dependencies
~9–19MB
~271K SLoC