Skip to content

Commit d4b8661

Browse files
authored
feat(docs): add prague-devnet-5 link; add EOF EIP links/info (ethereum#957)
* docs: add link to prague-devnet-5 specs * docs: add link to eof-devnet-0; add EIP links
1 parent 3295ec8 commit d4b8661

File tree

12 files changed

+67
-27
lines changed

12 files changed

+67
-27
lines changed

osaka/eip7692_eof_v1/__init__.py

Lines changed: 19 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,22 @@
11
"""
2-
Test cases for all EIPs mentioned in the EOF V1 meta-EIP.
3-
"""
2+
abstract: Test cases for [EIP-7692: EVM Object Format (EOFv1) Meta](https://eips.ethereum.org/EIPS/eip-7692)
3+
Test cases for the EIPs included in [EIP-7692 EOFv1 Meta](https://eips.ethereum.org/EIPS/eip-7692):
4+
5+
* [EIP-663: SWAPN, DUPN and EXCHANGE instructions](https://eips.ethereum.org/EIPS/eip-663).
6+
* [EIP-3540: EOF - EVM Object Format v1](https://eips.ethereum.org/EIPS/eip-3540).
7+
* [EIP-3670: EOF - Code Validation](https://eips.ethereum.org/EIPS/eip-3670).
8+
* [EIP-4200: EOF - Static relative jumps](https://eips.ethereum.org/EIPS/eip-4200).
9+
* [EIP-4750: EOF - Functions](https://eips.ethereum.org/EIPS/eip-4750).
10+
* [EIP-5450: EOF - Stack Validation](https://eips.ethereum.org/EIPS/eip-5450).
11+
* [EIP-6206: EOF - JUMPF and non-returning functions](https://eips.ethereum.org/EIPS/eip-6206).
12+
* [EIP-7069: Revamped CALL instructions](https://eips.ethereum.org/EIPS/eip-7069).
13+
* [EIP-7480: EOF - Data section access instructions](https://eips.ethereum.org/EIPS/eip-7480).
14+
* [EIP-7620: EOF Contract Creation](https://eips.ethereum.org/EIPS/eip-7620).
15+
* [EIP-7698: EOF - Creation transaction](https://eips.ethereum.org/EIPS/eip-7698).
16+
17+
## Devnet Specifications
18+
19+
- [ethpandaops/eof-devnet-0](https://notes.ethereum.org/@ethpandaops/eof-devnet-0).
20+
""" # noqa: E501
421

522
EOF_FORK_NAME = "CancunEIP7692,Osaka"
Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
11
"""
2-
Cross-client EVM Object Format Tests
3-
"""
2+
abstract: Test cases for [EIP-3540: EOF - EVM Object Format v1](https://eips.ethereum.org/EIPS/eip-3540)
3+
EIP-3540 introduces a structured format for EVM bytecode, with separate sections for code and data.
4+
Opcodes introduced: None (defines a new bytecode structure but no new opcodes).
5+
""" # noqa: E501
Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
11
"""
2-
EOF tests for EIP-4200 relative jumps
3-
"""
2+
abstract: Test cases for [EIP-4200: EOF - Static relative jumps](https://eips.ethereum.org/EIPS/eip-4200)
3+
EIP-4200 replaces dynamic jump instructions with relative jump offsets for improved control flow predictability.
4+
Opcodes introduced: `RJUMP` (`0xE0`), `RJUMPI` (`0xE1`), `RJUMPV` (`0xE2`).
5+
""" # noqa: E501
Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
11
"""
2-
EOF tests for EIP-4750 functions
3-
"""
2+
abstract: Test cases for [EIP-4750: EOF - Functions](https://eips.ethereum.org/EIPS/eip-4750)
3+
EIP-4750 formalizes functions in the EVM object format, introducing callable units of code.
4+
Opcodes introduced: `CALLF` (`0xE3`), `RETF` (`0xE4`).
5+
""" # noqa: E501
Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
11
"""
2-
EOF tests for EIP-5450 stack validation
3-
"""
2+
abstract: Test cases for [EIP-5450: EOF - Stack Validation](https://eips.ethereum.org/EIPS/eip-5450)
3+
EIP-5450 defines stack validation requirements to ensure consistent behavior during execution.
4+
Opcodes introduced: None (specifies validation rules for stack usage).
5+
""" # noqa: E501
Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
11
"""
2-
EOF tests for EIP-6206 JUMPF
3-
"""
2+
abstract: Test cases for [EIP-6206: EOF - JUMPF and non-returning functions](https://eips.ethereum.org/EIPS/eip-6206)
3+
EIP-6206 adds a conditional forward jump instruction and support for functions without return values.
4+
Opcodes introduced: `JUMPF` (`0xE5`).
5+
""" # noqa: E501

osaka/eip7692_eof_v1/eip663_dupn_swapn_exchange/__init__.py

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
"""
2-
abstract: Tests [EIP-663: SWAPN, DUPN and EXCHANGE instructions](https://eips.ethereum.org/EIPS/eip-663)
3-
Tests for [EIP-663: SWAPN, DUPN and EXCHANGE instructions](https://eips.ethereum.org/EIPS/eip-663).
2+
abstract: Test cases for [EIP-663: SWAPN, DUPN and EXCHANGE instructions](https://eips.ethereum.org/EIPS/eip-663)
3+
EIP-663 defines new stack manipulation instructions that allow accessing the stack at higher depths.
4+
Opcodes introduced: `DUPN` (`0xE6`), `SWAPN` (`0xE7`), `EXCHANGEN` (`0xE8`).
45
""" # noqa: E501
56

67
REFERENCE_SPEC_GIT_PATH = "EIPS/eip-663.md"
Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,8 @@
11
"""
2-
Revamped Call Instructions Tests
3-
"""
2+
abstract: Test cases for [EIP-7069: Revamped CALL instructions](https://eips.ethereum.org/EIPS/eip-7069)
3+
EIP-7069 proposes modifications to `CALL` instructions to align with the structured EOF format.
4+
Opcodes introduced: `EXTCALL` (`0xF8`), `EXTDELEGATECALL` (`0xF9`), `EXTSTATICCALL` (`0xFB`), `RETURNDATALOAD` (`0xF7`).
5+
""" # noqa: E501
46

57
REFERENCE_SPEC_GIT_PATH = "EIPS/eip-7069.md"
68
REFERENCE_SPEC_VERSION = "1795943aeacc86131d5ab6bb3d65824b3b1d4cad"
Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
11
"""
2-
Cross-client EVM Object Format Tests
3-
"""
2+
abstract: Test cases for [EIP-7480: EOF - Data section access instructions](https://eips.ethereum.org/EIPS/eip-7480)
3+
EIP-7480 specifies instructions for accessing data stored in the dedicated data section of the EOF format.
4+
Opcodes introduced: `DATALOAD` (`0xD0`), `DATALOADN` (`0xD1`), `DATASIZE` (`0xD2`), `DATACOPY` (`0xD3`).
5+
""" # noqa: E501
Lines changed: 12 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,19 @@
11
"""
2+
abstract: Test cases for [EIP-7620: EOF Contract Creation](https://eips.ethereum.org/EIPS/eip-7620)
3+
EIP-7620 replaces `CREATE` and `CREATE2` with `EOFCREATE` for deploying contracts in the EOF format.
4+
Opcodes introduced: `EOFCREATE` (`0xEC`), `RETURNCONTRACT` (`0xEE`).
5+
6+
27
EOFCREATE, RETURNCONTRACT, and container tests
38
49
evmone tests not ported
510
6-
create_tx_with_eof_initcode - This calls it invalid, it is now the way to add EOF contacts to state
7-
eofcreate_extcall_returncontract - per the new initcode mode tests you cannot have RETURNCONTRACT
11+
- create_tx_with_eof_initcode - This calls it invalid, it is now the way to add EOF contacts to state
12+
- eofcreate_extcall_returncontract - per the new initcode mode tests you cannot have RETURNCONTRACT
813
in a deployed contract
9-
eofcreate_dataloadn_referring_to_auxdata - covered by
14+
- eofcreate_dataloadn_referring_to_auxdata - covered by
1015
tests.osaka.eip7480_data_section.test_data_opcodes.test_data_section_succeed
11-
eofcreate_initcontainer_return - RETURN is banned in initcode containers
12-
eofcreate_initcontainer_stop - STOP is banned in initcode containers
13-
All TXCREATE tests - TXCREATE has been removed from Prague
14-
"""
16+
- eofcreate_initcontainer_return - RETURN is banned in initcode containers
17+
- eofcreate_initcontainer_stop - STOP is banned in initcode containers
18+
- All TXCREATE tests.
19+
""" # noqa: E501

0 commit comments

Comments
 (0)