GitHub repository: IrreducibleOSS/binius
Primary language: Rust
Description: A SNARK using towers of binary fields, implemented in Rust