zk_evm 0.153.10

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

use super::*;
use std::collections::*;

pub const NUM_SHARDS: usize = 2;

use crate::reference_impls::{decommitter::SimpleDecommitter, event_sink::*, memory::SimpleMemory};
pub mod simple_tracer;
pub mod storage;

use self::storage::InMemoryStorage;
use crate::witness_trace::DummyTracer;
use zk_evm_abstractions::precompiles::DefaultPrecompilesProcessor;
use zk_evm_abstractions::queries::LogQuery;

pub struct BasicTestingTools<const B: bool> {
    pub storage: InMemoryStorage,
    pub memory: SimpleMemory,
    pub event_sink: InMemoryEventSink,
    pub precompiles_processor: DefaultPrecompilesProcessor<B>,
    pub decommittment_processor: SimpleDecommitter<B>,
    pub witness_tracer: DummyTracer,
}

pub fn create_default_testing_tools() -> BasicTestingTools<false> {
    let storage = InMemoryStorage::new();
    let memory = SimpleMemory::new();
    let event_sink = InMemoryEventSink::new();
    let precompiles_processor = DefaultPrecompilesProcessor::<false>;
    let decommittment_processor = SimpleDecommitter::<false>::new();
    let witness_tracer = DummyTracer;

    BasicTestingTools::<false> {
        storage,
        memory,
        event_sink,
        precompiles_processor,
        decommittment_processor,
        witness_tracer,
    }
}

pub fn get_final_net_states<const B: bool>(
    tools: BasicTestingTools<B>,
) -> (
    Vec<LogQuery>,
    [HashMap<Address, HashMap<U256, U256>>; NUM_SHARDS],
    Vec<LogQuery>,
    Vec<EventMessage>,
    Vec<EventMessage>,
    SimpleMemory,
) {
    let BasicTestingTools::<B> {
        storage,
        event_sink,
        memory,
        ..
    } = tools;

    let final_storage_state = storage.inner.clone();
    let (full_storage_access_history, _per_slot_history) = storage.flatten_and_net_history();
    let (events_log_history, events, l1_messages) = event_sink.flatten();

    (
        full_storage_access_history,
        final_storage_state,
        events_log_history,
        events,
        l1_messages,
        memory,
    )
}

#[cfg(test)]
mod tests;