zk_evm 0.153.12

ZKsync out-of-circuit EraEVM implementation
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80

use super::*;
use crate::vm_state::{PreState, VmState};

#[derive(Clone, Copy)]
pub struct DecodedOpcode<const N: usize = 8, E: VmEncodingMode<N> = EncodingModeProduction> {
    pub inner: zkevm_opcode_defs::DecodedOpcode<N, E>,
}

impl<const N: usize, E: VmEncodingMode<N>> std::ops::Deref for DecodedOpcode<N, E> {
    type Target = zkevm_opcode_defs::DecodedOpcode<N, E>;

    fn deref(&self) -> &Self::Target {
        &self.inner
    }
}

impl<const N: usize, E: VmEncodingMode<N>> std::ops::DerefMut for DecodedOpcode<N, E> {
    fn deref_mut(&mut self) -> &mut Self::Target {
        &mut self.inner
    }
}

impl<const N: usize, E: VmEncodingMode<N>> std::fmt::Display for DecodedOpcode<N, E> {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "{}", self.inner)
    }
}

impl<const N: usize, E: VmEncodingMode<N>> std::fmt::Debug for DecodedOpcode<N, E> {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "{}", self.inner)
    }
}

use crate::zkevm_opcode_defs::decoding::encoding_mode_production::EncodingModeProduction;
use crate::zkevm_opcode_defs::decoding::VmEncodingMode;

impl<const N: usize, E: VmEncodingMode<N>> DecodedOpcode<N, E> {
    pub fn mask_into_panic(&mut self) {
        self.inner.mask_into_panic();
    }

    pub fn mask_into_nop(&mut self) {
        self.inner.mask_into_nop();
    }

    pub fn apply<
        S: zk_evm_abstractions::vm::Storage,
        M: zk_evm_abstractions::vm::Memory,
        EV: zk_evm_abstractions::vm::EventSink,
        PP: zk_evm_abstractions::vm::PrecompilesProcessor,
        DP: zk_evm_abstractions::vm::DecommittmentProcessor,
        WT: crate::witness_trace::VmWitnessTracer<N, E>,
    >(
        &self,
        vm_state: &mut VmState<S, M, EV, PP, DP, WT, N, E>,
        prestate: PreState<N, E>,
    ) -> anyhow::Result<()> {
        use crate::zkevm_opcode_defs::Opcode;

        Ok(match self.inner.variant.opcode {
            Opcode::Nop(_) => self.noop_opcode_apply(vm_state, prestate),
            Opcode::Add(_) => self.add_opcode_apply(vm_state, prestate),
            Opcode::Sub(_) => self.sub_opcode_apply(vm_state, prestate),
            Opcode::Mul(_) => self.mul_opcode_apply(vm_state, prestate),
            Opcode::Div(_) => self.div_opcode_apply(vm_state, prestate),
            Opcode::Jump(_) => self.jump_opcode_apply(vm_state, prestate),
            Opcode::Context(_) => self.context_opcode_apply(vm_state, prestate),
            Opcode::Shift(_) => self.shift_opcode_apply(vm_state, prestate),
            Opcode::Binop(_) => self.binop_opcode_apply(vm_state, prestate),
            Opcode::Ptr(_) => self.ptr_opcode_apply(vm_state, prestate),
            Opcode::Log(_) => self.log_opcode_apply(vm_state, prestate)?,
            Opcode::NearCall(_) => self.near_call_opcode_apply(vm_state, prestate),
            Opcode::FarCall(_) => self.far_call_opcode_apply(vm_state, prestate)?,
            Opcode::Ret(_) => self.ret_opcode_apply(vm_state, prestate),
            Opcode::UMA(_) => self.uma_opcode_apply(vm_state, prestate),
            Opcode::Invalid(_) => unreachable!(),
        })
    }
}