halo2_base/virtual_region/
mod.rs

1//! Trait describing the shared properties for a struct that is in charge of managing a virtual region of a circuit
2//! _and_ assigning that virtual region to a "raw" Halo2 region in the "physical" circuit.
3//!
4//! Currently a raw region refers to a subset of columns of the circuit, and spans all rows (so it is a vertical region),
5//! but this is not a requirement of the trait.
6
7/// Shared copy constraints across different virtual regions
8pub mod copy_constraints;
9/// Virtual region manager for lookup tables
10pub mod lookups;
11/// Virtual region manager
12pub mod manager;
13
14#[cfg(test)]
15mod tests;