Building

Binius is a proof system framework that can be found and downloaded here. To build on Binius you must build a constraint system. The following pages of documentation are intended as guidance for building Binius constraint systems, and connecting them with Binius prove and verify functions for a complete proof system.

Introductory Content

In our page about constraint systems, we outline the creation of a constraint system, and its interaction with Binius's prove and verify functions. We moreover present a simple example exhibiting a bitwise constraint.

Site Directory

Below, we sketch this site area's sections in slightly more detail.

Further Content

We close off this site area by dropping a few further miscellaneous pages. In making transparents, we discuss explicit transparent columns, columns made up exclusively of ad-hoc, verifier-supplied concrete values. These constructions are important in more advanced lookup protocols, like Lasso.

Finally, in our Collatz page, we take a practice-oriented tour back through our Collatz arithmetization, already developed in our basics site area. This example gives us a concrete look at channels and flushing rules, key concepts in our M3 arithmetization schema.

Beyond these simple guiding examples, many more examples of Binius constraint systems can be found in our Binius circuits directory. For examples involving full prove and verify functionality, we recommend our Binius examples.