GitHub repository: IrreducibleOSS/m3mpt
Primary language: Rust
Description: This project builds a Binius binary proof for compressing Merkle Patricia Trie (MPT) inclusion proofs.