GitHub repository: openvm-org/stark-backend
Primary language: Rust
Description: Proof system backends for OpenVM.