Merge branch 'main' into initcode-validation

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,20 +21,21 @@
 
 [**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
 
 ## Besu
 
 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.