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