by Frank Laub, Remi Bernotavicius, risc0
#570 in Cryptography
25,893 downloads per month Used in 14 crates (via risc0-zkvm)
39MB 235K SLoC
RISC Zero circuit for keccak
~5–16MB ~217K SLoC