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