halo2-base 0.5.4

Embedded domain specific language (eDSL) for writing circuits with the [`halo2`](https://github.com/axiom-crypto/halo2) API. It simplifies circuit programming to declaring constraints over a single advice and selector column and provides built-in circuit tuning and support for multi-threaded witness generation.
Documentation 
1
2
3
4
5
6
7
8
9

use crate::halo2_proofs::halo2curves::bn256::Fr;

mod flex_gate;
mod general;
mod idx_to_indicator;
mod neg_prop;
mod pos_prop;
mod range;
mod utils;