haloumi-core 0.5.6

Core types and traits of the Halo2 frontend for LLZK
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//! Types related to constraints.

use crate::{
    felt::Felt,
    query::Fixed,
    table::{Any, Column},
};

/// Types of copy constraints.
#[derive(Debug, Copy, Clone, PartialEq, Eq, Hash)]
pub enum CopyConstraint {
    /// A copy constraint between two cells.
    Cells(Column<Any>, usize, Column<Any>, usize),
    /// Constraints a fixed cell to a constant value.
    Fixed(Column<Fixed>, usize, Felt),
}