EIP-8163: Reserve `EXTENSION (0xae)` opcode

EIPs EIPs core
,
7

Push range opcodes are ok, if they are used to introduce multi-byte immediates:

0xae60-0xae7f byte sequences will not be valid extension instructions, unless the PUSH1 (0x60)-PUSH32 (0x7f) byte is used to introduce JUMPDEST-neutral immediate arguments

so similar to the other option from your analysis.

2 Likes