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