zksync_vm2 0.5.0

High-performance rewrite of the out-of-circuit VM for ZKsync Era
Documentation 
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

use primitive_types::U256;

use crate::{callframe::Callframe, fat_pointer::FatPointer, state::State};

pub(crate) fn is_valid_tagged_value((value, is_pointer): (U256, bool)) -> bool {
    if is_pointer {
        let pointer = FatPointer::from(value);
        pointer.start.checked_add(pointer.length).is_some()
    } else {
        true
    }
}

impl<T, W> State<T, W> {
    pub(crate) fn is_valid(&self) -> bool {
        self.current_frame.is_valid()
            && self.previous_frames.iter().all(Callframe::is_valid)
            && (0_u16..16).all(|i| {
                is_valid_tagged_value((
                    self.registers[usize::from(i)],
                    self.register_pointer_flags & (1 << i) != 0,
                ))
            })
    }
}

impl<T, W> Callframe<T, W> {
    pub(crate) fn is_valid(&self) -> bool {
        self.stack.is_valid()
    }
}