Owned by Remi Bernotavicius, risc0.
Uses new Rust 2024
#9 in #zk-stark
8.5MB
RISC Zero ZKRs for the circuit for recursion
build.rs