GitHub repository: succinctlabs/op-succinct
Primary language: Rust
Description: Succinct's Production-Grade Proving Engine for the OP Stack