Basics

Binius is a state-of-the-art cryptographic proof system that makes it possible to quickly and cheaply verify complex computations. In the world of cryptography, Binius is known as a succinct, noninteractive argument, or a SNARK, the key primitive required for verifiable computing. Though Binius proofs today do not guarantee privacy, we are actively extending it with zero knowledge (ZK), making it a ZK-SNARK. Because Binius uses binary fields as a foundational primitive, we also sometimes refer to it as a binary proof system¹.

The latest version of the project is called Binius64. Binius64 optimizes for proving computations over 64-bit words, making it the fastest proof system for proving standard hash functions like SHA2 and SHA3. Moreover, the Binius64 prover delivers top-notch performance on ARM64 and x86-64 processors, including modern mobile CPUs, making it a perfect choice for local ZK proving. The construction is itself hash-based, meaning Binius has a transparent setup, is post-quantum secure, and relies only conservative cryptographic assumptions.

The open source Rust codebase contains

• a high-performance CPU prover,
• a simple and secure verifier,
• an easy-to-use Rust API for building circuits,
• a standard library of common circuit components,
• lots of examples to help get started!

Binius is the product of Irreducible's research and development efforts, and builds directly on Irreducible's cryptography research into SNARKs over towers of binary fields [DP25] [DP24].

Documentation

This documentation site has four high-level sections.

• This Basics section provides a high-level overview of what Binius is, the core concepts, and information about the project.
• Our Building section contains practical guides for how to build and prove applications using Binius64.
• Our Blueprint provides a detailed description of the Binius64 cryptographic protocol. Go here for a peek under the hood.
• Our Benchmarks contain up-to-date performance measurements for key benchmarks on different hardware platforms.

The code is available on GitHub at IrreducibleOSS/binius64, and the Rust docs are hosted at docs.binius.xyz.

Site Directory