Binius64 vs. Binius V0
Overview
Binius64 is the next evolution of the Binius project, designed to be a simpler and more practical proof system optimized for standard CPUs. Binius V0 was designed as a flexible toolkit for creating verifiable VMs, heavily inspired by Plonky3. Binius64 focuses on ZK applications, local proving, and simplicity.
The original Binius V0 has been sunset; its code is archived at github.com/IrreducibleOSS/binius. All of our development efforts are now focused on Binius64, which distills the best ideas from the original Binius research while prioritizing simplicity and real-world performance.
For more details on the evolution from V0 to Binius64 and the strategic decisions behind this transition, see our announcement blog post.
Key Differences
We informally sketch the differences between Binius V0 and Binius64 in the table below.
| Aspect | Binius V0 | Binius64 |
|---|---|---|
| Architecture | Table-based arithmetization with AIR | Circuit-based constraint system |
| Performance Target | Custom hardware (FPGA) | Consumer CPUs with SIMD |
| Arithmetization Data Types | Multiple binary tower fields | 64-bit words |
| Constraints | Custom constraints & lookups | XOR, AND, and shifts |
| Finite Field | Fan-Paar tower field | GHASH binary field |
| Purpose | Highly scalable proofs | Zero-knowledge, succinct proofs |
| Complexity | Complex but flexible | Simple and practical |