by Frank Laub, Remi Bernotavicius, risc0
#582 in Cryptography
16,931 downloads per month Used in 14 crates (via risc0-zkvm)
39MB 236K SLoC
RISC Zero circuit for keccak
~4–14MB ~188K SLoC