GitHub repository: thdecn/Expander
Primary language: Rust
Description: Expander, an open-source GKR prover designed for scaling large-scale parallel computing.