Crate binius_circuits

The Binius frontend library, along with useful gadgets and examples.

The frontend library provides high-level interfaces for constructing constraint systems in the crate::builder module. Most other modules contain circuit gadgets that can be used to build more complex constraint systems.

Modules

• arithmetic
• bitwise
• builder
• collatz
• groestl
• keccakf
• lasso
• plain_lookup
• sha256
• transparent
• u32fib
• unconstrained
• vision
  Example of a Binius SNARK that proves execution of Vision Mark-32 permutations.