1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! Range check table

//~ The range check table is a single-column table containing the numbers from 0 to 2^12 (excluded).
//~ This is used to check that the value fits in 12 bits.

use crate::circuits::lookup::tables::{LookupTable, RANGE_CHECK_TABLE_ID};
use ark_ff::Field;

/// The range check will be performed on 12-bit values, i.e. those in `[0, 2^12)`
pub const RANGE_CHECK_UPPERBOUND: u32 = 1 << 12;

/// A single-column table containing the numbers from 0 to [`RANGE_CHECK_UPPERBOUND`] (exclusive)
pub fn range_check_table<F>() -> LookupTable<F>
where
    F: Field,
{
    let table = vec![(0..RANGE_CHECK_UPPERBOUND).map(F::from).collect()];
    LookupTable {
        id: RANGE_CHECK_TABLE_ID,
        data: table,
    }
}

pub const TABLE_SIZE: usize = RANGE_CHECK_UPPERBOUND as usize;