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