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