zkevm_circuits 0.153.12

ZKsync Era circuits for EraVM
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

use super::*;
use boojum::cs::implementations::lookup_table::LookupTable;
use boojum::field::SmallField;

pub const UMA_PTR_READ_CLEANUP_TABLE_NAME: &'static str = "UMA PTR read cleanup mask table";

#[derive(Derivative)]
#[derivative(Clone, Copy, Debug, PartialEq, Eq)]
pub struct UMAPtrReadCleanupTable;

pub fn create_uma_ptr_read_bitmask_table<F: SmallField>() -> LookupTable<F, 3> {
    let num_keys = 32;
    let mut all_keys = Vec::with_capacity(num_keys);
    for integer in 0..num_keys {
        let key = smallvec::smallvec![F::from_u64_unchecked(integer as u64)];
        all_keys.push(key);
    }

    const FULL_MASK: u64 = (1u64 << 32) - 1;

    LookupTable::new_from_keys_and_generation_function(
        &all_keys,
        UMA_PTR_READ_CLEANUP_TABLE_NAME.to_string(),
        1,
        |keys| {
            let a = keys[0].as_u64_reduced();

            let result = if a == 0 {
                FULL_MASK
            } else {
                let mut tmp = FULL_MASK;
                tmp -= (1u64 << a) - 1;

                tmp
            };

            smallvec::smallvec![F::from_u64_unchecked(result), F::ZERO]
        },
    )
}