GitHub repository: sdzkp/eigen-zkvm
Description: A Rust zkVM with Layered Proof System