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