Owned by Frank Laub, SchmErik, risc0.
#1753 in Cryptography
9,346 downloads per month Used in 10 crates (via risc0-zkvm)
3.5MB 56K SLoC
RISC Zero circuit for recursion
~2–11MB ~112K SLoC
build.rs