GitHub repository: risc0/risc0-ethereum
Primary language: Rust
Description: Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.