GitHub repository: snarkify/sirius
Primary language: Rust
Description: A Plonkish folding framework for Incrementally Verifiable Computation (IVC).