33 releases (9 stable)
| 1.1.3 | Nov 9, 2024 |
|---|---|
| 1.1.1 | Sep 24, 2024 |
| 1.0.5 | Jul 30, 2024 |
| 0.21.0 | Mar 12, 2024 |
| 0.19.1 | Nov 9, 2023 |
#1889 in Cryptography
22,749 downloads per month
Used in 12 crates
(2 directly)
3.5MB
57K
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
~151K SLoC