GitHub repository: magiclabs/risc0-ethereum
Description: Fork of https://github.com/risc0/risc0-ethereum