GitHub repository: Bitcoin-Wildlife-Sanctuary/circle-plonk-recursive-verifier-dsl
Primary language: Rust
Description: Arkworks implementation of the recursive verifier (for Rust expressiveness)