diff --git a/spec/implementation_matrix.md b/spec/implementation_matrix.md index 64d3ab4..f3c1d8f 100644 --- a/spec/implementation_matrix.md +++ b/spec/implementation_matrix.md @@ -3,7 +3,7 @@ | | 3540 | 3670 | 4200 | 4750 | 5450 | 6206 | 7480 | 7069 | 7620 | 663 | |--------------|---------|-----------|------|------|------|------|------|------|----------|-------| | **Megaspec** | :+1: | :+1: | :+1: | :+1: | :+1: | :+1: | :+1: | :+1: | :+1: | :+1: | -| **EIP** | 🚧 | :+1: | :+1: | 🚧 | 🚧 | :+1: | :+1: | :+1: | :+1: | :+1: | +| **EIP** | :+1: | :+1: | :+1: | :+1: | :+1: | :+1: | :+1: | :+1: | :+1: | :+1: | | **testing** | :+1: | :+1: | :+1: | :+1: | :+1: | 🚧 | | :+1: | :+1: | | | besu | :+1: | :+1: | :+1: | :+1: | :+1: | :+1: | :+1: | :+1: | 🚧 | :+1: | | erigon | | | | | | | | | | | @@ -12,7 +12,7 @@ | geth | | | | | | | | | | | | nethermind | | | | | | | | | | | | revm | :+1: | :+1: | :+1: | :+1: | 🚧 | :+1: | :+1: | 🚧 | 🚧 | :+1: | -| solidity | | | | | | | | | | | +| solidity | 🚧 | N/A | 🚧 | 🚧 | N/A | | | | | | | vyper | | | | | | | | | | | # Specs @@ -21,12 +21,14 @@ [**Megaspec**](./eof.md) is ready and main source of truth. +- Alternative version without an irregular state change is discussed: https://github.com/ipsilon/eof/pull/78 + ## EIP updates in progress 🚧 EIP contents are being updated to match up with the **Megaspec**: -- **EIP-3540** - ethereum/EIPs#8152 -- **EIP-4750** - ethereum/EIPs#8312 +- **EIP-7620** - ethereum/EIPs#8358 (mostly clarifications) +- **EIP-7620** - irregular state change discussion pending, to be filed after https://github.com/ipsilon/eof/pull/78 concludes # Implementations @@ -34,7 +36,6 @@ EIP contents are being updated to match up with the **Megaspec**: Currently EOF is in a branch [mega-eof](https://github.com/hyperledger/besu/tree/mega-eof) - # Column Descriptions * EIP-3540 - EOF Container @@ -46,7 +47,7 @@ Currently EOF is in a branch [mega-eof](https://github.com/hyperledger/besu/tree * EIP-3670 - Code Validation * Validation - https://github.com/ethereum/tests/tree/develop/EOFTests/EIP3670 - * Validation tests generated from evmone unit tests - https://github.com/ipsilon/tests/tree/evmone-eof-validation-tests/EOFTests/eof_validation + * Validation tests generated from evmone unit tests - https://github.com/ethereum/tests/tree/develop/EOFTests/efValidation * these cover validation rules from all EIPs * EIP-4200 - Static Relative Jumps @@ -60,7 +61,7 @@ Currently EOF is in a branch [mega-eof](https://github.com/hyperledger/besu/tree * EIP-5450 - Stack Validation * Validation - https://github.com/ethereum/tests/tree/develop/EOFTests/EIP5450 * Execution - https://github.com/ethereum/tests/tree/develop/EIPTests/StateTests/stEOF/stEIP5450 - * Validation tests generated from evmone unit tests - https://github.com/ipsilon/tests/tree/evmone-eof-validation-tests/EOFTests/eof_validation/stack + * Validation tests generated from evmone unit tests - https://github.com/ethereum/tests/tree/develop/EOFTests/efStack * EIP-6206 - JUMPF and non-returning functions @@ -73,3 +74,7 @@ Currently EOF is in a branch [mega-eof](https://github.com/hyperledger/besu/tree * Creation state tests generated from evmone unit tests - https://github.com/ipsilon/tests/tree/eof-create3-evmone-generated/EIPTests/StateTests/stEOF/stCreate * EIP-663 - SWAPN/DUPN/EXCHANGE + +## Solidity + +Last implementation resides at https://github.com/ethereum/solidity/pull/13825. This is based on the December 2022 version of EOF.