Expand description
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
- blake3
- builder
- collatz
- keccakf
- lasso
- plain_
lookup - sha256
- transparent
- u32fib
- unconstrained
- vision
- Example of a Binius SNARK that proves execution of Vision Mark-32 permutations.