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
14
15

//! Trait describing the shared properties for a struct that is in charge of managing a virtual region of a circuit
//! _and_ assigning that virtual region to a "raw" Halo2 region in the "physical" circuit.
//!
//! Currently a raw region refers to a subset of columns of the circuit, and spans all rows (so it is a vertical region),
//! but this is not a requirement of the trait.

/// Shared copy constraints across different virtual regions
pub mod copy_constraints;
/// Virtual region manager for lookup tables
pub mod lookups;
/// Virtual region manager
pub mod manager;

#[cfg(test)]
mod tests;