GitHub repository: scroll-tech/ceno-recursion-verifier
Primary language: Rust
Description: OpenVM DSL-based Recursion Verifier