From b86552e489085f0d723fd07da12b0da79b7ffd85 Mon Sep 17 00:00:00 2001
From: pdobacz <5735525+pdobacz@users.noreply.github.com>
Date: Tue, 30 Jan 2024 14:04:26 +0100
Subject: [PATCH] Put `STATICCALL` on the undefined opcode list (#48)

---
 spec/eof.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec/eof.md b/spec/eof.md
index a9fc296..56d3ecb 100644
--- a/spec/eof.md
+++ b/spec/eof.md
@@ -149,7 +149,7 @@ Code executing within an EOF environment will behave differently than legacy cod
 
 - Execution starts at the first byte of code section 0, and `pc` is set to 0.
 - `pc` is scoped to the executing code section
-- The instructions `CALL`, `CALLCODE`, `DELEGATECALL`, `SELFDESTRUCT`, `JUMP`, `JUMPI`, `PC`, `CREATE`, `CREATE2`, `CODESIZE`, `CODECOPY`, `EXTCODESIZE`, `EXTCODECOPY`, `EXTCODEHASH`, `GAS` are deprecated and rejected by validation in EOF contracts. They are only available in legacy contracts.
+- The instructions `CALL`, `CALLCODE`, `DELEGATECALL`, `STATICCALL`, `SELFDESTRUCT`, `JUMP`, `JUMPI`, `PC`, `CREATE`, `CREATE2`, `CODESIZE`, `CODECOPY`, `EXTCODESIZE`, `EXTCODECOPY`, `EXTCODEHASH`, `GAS` are deprecated and rejected by validation in EOF contracts. They are only available in legacy contracts.
 - If the target account of `EXTCODECOPY` is an EOF contract, then it will copy 0 bytes.
 - If the target account of `EXTCODEHASH` is an EOF contract, then it will return `0x9dbf3648db8210552e9c4f75c6a1c3057c0ca432043bd648be15fe7be05646f5` (the hash of `EF00`, as if that would be the code).
 - If the target account of `EXTCODESIZE` is an EOF contract, then it will return 2.