Binius Alpha Release & Ethereum State Proving Service - Irreducible

Irreducible has released an alpha version of the Binius open-source binary proof library, launched the binius.xyz documentation site, and introduced an Ethereum state proving service built with the Binius Rust library and Reth node. The service generates compressed proofs of account inclusion in Ethereum's Merkle-Patricia state trie, which the article presents as a proof-of-concept for a practical stateless client. For a proof covering about 1,400 account reads, the article reports a mean latency of ~11 seconds and compression of ~3 MiB of MPT data to ~1 MiB. The article also benchmarks this against SP1, which it says took ~5 minutes on a GPU server to produce a 1.2 MiB proof.