You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: index.html
+34-14Lines changed: 34 additions & 14 deletions
Original file line number
Diff line number
Diff line change
@@ -40,8 +40,8 @@
40
40
<sectionid="intro" class="main">
41
41
<divclass="spotlight">
42
42
<divclass="content">
43
-
<p>The EVM Object Format (EOF) is an important upgrade for the Ethereum Virtual Machine, comprising a series of
44
-
EIPs. It introduces an extensible and versioned container format for EVM bytecode with a once-off
43
+
<p>The EVM Object Format (EOF) is an important upgrade for the Ethereum Virtual Machine, comprising <ahref="https://eips.ethereum.org/EIPS/eip-7692">a series of
44
+
EIPs</a>. It introduces an extensible and versioned container format for EVM bytecode with a once-off
45
45
validation at deploy time, focusing on separating code and data, enhancing code validation, and improving
46
46
overall efficiency. </p>
47
47
</div>
@@ -65,7 +65,7 @@ <h3>Code-data separation</h3>
65
65
</li>
66
66
<li>
67
67
<h3>Removal of dynamic JUMPs</h3>
68
-
<p>EOF bytecode uses only static relative jumps, which is very desirable for tools involving static analysis, formal verification, compilation to native code, zero-knowledge circuits, as well as L2 EVMs.</p>
68
+
<p>EOF bytecode uses only <ahref="https://eips.ethereum.org/EIPS/eip-4200">static relative jumps</a>, which is very desirable for tools involving static analysis, formal verification, compilation to native code, zero-knowledge circuits, as well as L2 EVMs.</p>
69
69
</li>
70
70
<li>
71
71
<h3>Code and gas non-observability</h3>
@@ -77,7 +77,7 @@ <h3>Removal of JUMPDEST-analysis</h3>
77
77
</li>
78
78
<li>
79
79
<h3>First-class support for EVM functions</h3>
80
-
<p>Functions in EOF are a subroutine mechanism not relying on dynamic jumps. It improves analysis opportunities by encoding the number of inputs and outputs for each given function, and isolating the stack of each function.</p>
80
+
<p><ahref="https://eips.ethereum.org/EIPS/eip-4750">Functions in EOF</a> are a subroutine mechanism not relying on dynamic jumps. It improves analysis opportunities by encoding the number of inputs and outputs for each given function, and isolating the stack of each function.</p>
0 commit comments