zkevm-assembly 0.132.0

The zkEVM common utilities
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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103

use super::*;

use crate::assembly::constants::ConstantValue;

#[derive(Clone, Copy, Debug, PartialEq, Eq)]
pub(crate) enum SectionType {
    Data,
    Text,
    Globals,
    Unknown,
}

#[derive(Clone, Copy, Debug)]
pub(crate) struct UnparsedSection {
    pub(crate) section_type: SectionType,
    pub(crate) start: usize,
    pub(crate) end: usize,
}

#[derive(Clone, Copy, Debug)]
pub(crate) struct UnparsedLabel<'a> {
    pub(crate) section_type: SectionType,
    pub(crate) label: &'a str,
    pub(crate) start: usize,
    pub(crate) end: usize,
}

#[derive(Clone, Debug)]
pub(crate) enum ParsedSection {
    Globals(GlobalsSection),
    Data(DataSection),
    Text(TextSection),
}

#[derive(Clone, Debug)]
pub(crate) struct TextSection {
    pub(crate) elements: Vec<TextSectionElement>,
}

// Text section can contain either labeled or unlabeled code

#[derive(Clone, Debug)]
pub(crate) enum TextSectionElement {
    Unlabeled(CodeElement),
    Labeled(LabeledFunction),
}

#[derive(Clone, Debug)]
pub(crate) struct LabeledFunction {
    pub(crate) label: String,
    pub(crate) source_line: usize,
    pub(crate) content: Vec<CodeElement>,
}

#[derive(Clone, Debug)]
pub(crate) struct CodeElement {
    pub(crate) source_line: usize,
    pub(crate) instruction: Instruction,
}

// Data section can only contraint constants
#[derive(Clone, Debug)]
pub(crate) struct DataSection {
    pub(crate) elements: Vec<DataSectionElement>,
}

#[derive(Clone, Debug)]
pub(crate) enum DataSectionElement {
    Unlabeled(ConstantElement),
    Labeled(LabeledConstant),
}

#[derive(Clone, Debug)]
pub(crate) struct LabeledConstant {
    pub(crate) label: String,
    pub(crate) source_line: usize,
    pub(crate) content: Vec<ConstantValue>,
}

#[derive(Clone, Debug)]
pub(crate) struct ConstantElement {
    pub(crate) source_line: usize,
    pub(crate) content_type: ConstantValue,
}

// Globals section can only containt named globals
#[derive(Clone, Debug)]
pub(crate) struct GlobalsSection {
    pub(crate) elements: Vec<GlobalsSectionElement>,
}

#[derive(Clone, Debug)]
pub(crate) enum GlobalsSectionElement {
    Unlabeled(ConstantElement),
    Labeled(LabeledGlobal),
}

#[derive(Clone, Debug)]
pub(crate) struct LabeledGlobal {
    pub(crate) label: String,
    pub(crate) source_line: usize,
    pub(crate) content: Vec<ConstantValue>,
}