A SNARK using towers of binary fields, implemented in Rust
https://www.binius.xyz
MIRROR: https://github.com/IrreducibleOSS/binius
