GitHub repository: risc0/zeth
Primary language: Rust
Description: A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM