37 releases (10 stable)
| new 1.2.1-rc.0 | Dec 9, 2024 |
|---|---|
| 1.2.0-rc.1 | Nov 23, 2024 |
| 1.0.5 | Jul 30, 2024 |
| 0.21.0 | Mar 12, 2024 |
| 0.19.1 | Nov 9, 2023 |
#1869 in Cryptography
26,159 downloads per month
Used in 17 crates
(2 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–12MB
~152K SLoC