Licensing

Binius64 is open-source software. The prover is licensed under the AGPL-3.0 license. The verifier components are licensed under the Apache-2.0 license.

AGPL-3.0 License

AGPL-3.0 ensures that improvements stay open-source while preventing commercial exploitation without reciprocity. In practice, Binius64 prover is:

• Free for non-commercial use
• Commercial services must share their modifications or partner with us for a commercial license.

Being compliant with our licensing means:

• If you are contributing to Binius64, follow our Contributor License Agreement. Don't submit code that you don't own or that is under a license that is incompatible with AGPL-3.0.
• If you run Binius64 locally, there are no extra obligations; have fun.
• If you modify the prover and distribute binaries, you must provide corresponding source code under AGPL-3.0.
• If you modify the prover and offer it as a network service (e.g., a hosted prover), you must provide your modified source code under AGPL-3.0 to the users of that service.
• If you build commercial offerings, you must either follow AGPL-3.0 strictly (open-source your modifications) or obtain a commercial license.

Commercial License

We offer commercial licenses for teams who would like to build products on top of Binius64 without the AGPL-3.0-associated limitations. Contact Irreducible for more details.