39 releases (11 stable)
| new 1.2.1 | Jan 15, 2025 |
|---|---|
| 1.2.1-rc.0 | Dec 9, 2024 |
| 1.2.0-rc.1 | Nov 23, 2024 |
| 1.0.5 | Jul 30, 2024 |
| 0.19.1 | Nov 9, 2023 |
#1785 in Cryptography
15,560 downloads per month
Used in 18 crates
(3 directly)
3.5MB
58K
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
~3–13MB
~151K SLoC