43 releases (14 stable)
| new 1.3.0-rc.1 | Feb 15, 2025 |
|---|---|
| 1.2.2 | Jan 28, 2025 |
| 1.2.1-rc.0 | Dec 9, 2024 |
| 1.2.0-rc.1 | Nov 23, 2024 |
| 0.19.1 | Nov 9, 2023 |
#1909 in Cryptography
30,732 downloads per month
Used in 21 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
~159K SLoC