Announcing Binius64

Irreducible has released Binius64, a new proof system that simplifies the earlier Binius V0 and targets fast client-side proving on CPUs. It natively computes over 64-bit words with built-in constraints for XOR, AND, bit shifts, and 64-bit unsigned multiplication. The post reports that multi-threaded Binius64 on Intel and Graviton CPUs outperformed SP1 and R0VM on NVIDIA L40S GPUs by about 5x in ECDSA and XMSS signature aggregation benchmarks. Irreducible also states that the benchmarks were not apples-to-apples, so the comparisons were removed from its benchmarks page. Zero-knowledge privacy is named as the top priority for development by the end of 2025.