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
10
11
12
13
/// Module providing tools to create a circuit using our gates
pub mod circuit;
/// Module implementing our simple custom gate and common functions using it
pub mod flex_gate;
/// Module using a single lookup table for range checks
pub mod range;

/// Tests
#[cfg(test)]
pub mod tests;

pub use flex_gate::{GateChip, GateInstructions};
pub use range::{RangeChip, RangeInstructions};