A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM - View it on GitHub