GitHub repository: mmaker/gemini
Primary language: Rust
Description: An elastic proof system based on arkworks