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
16

use crate::ff::Field;
use crate::halo2_proofs::circuit::Region;

/// A virtual region manager is responsible for managing a virtual region and assigning the
/// virtual region to a physical Halo2 region.
///
pub trait VirtualRegionManager<F: Field> {
    /// The Halo2 config with associated columns and gates describing the physical Halo2 region
    /// that this virtual region manager is responsible for.
    type Config: Clone;
    /// Return type of the `assign_raw` method. Default is `()`.
    type Assignment;

    /// Assign virtual region this is in charge of to the raw region described by `config`.
    fn assign_raw(&self, config: &Self::Config, region: &mut Region<F>) -> Self::Assignment;
}