This EIP proposes to add a new opcode SLOTNUM (0x4b), that returns the corresponding slot number for the current block.
There are currently two ways to get the current slot number onchain:
Calculate from the block timestamp. This requires hardcoding the chain slot length into a smart contract.
Provide the slot number as calldata and prove it against the beacon block root (using EIP-4788).
Both of these approaches have significant drawbacks. (1) would break contracts in the event of a change to the slot length. (2) is expensive in terms of gas, encouraging approach (1) to be used instead.
A better approach is for the slot length to be abstracted away from applications, and instead the slot number can be calculated in the consensus layer client and exposed by an opcode. This paves the way for future changes to the slot length.
A new opcode SLOTNUM is introduced at 0x4b. It shall return one stack element.
One element SlotNumber is added to the stack; it is equal to the corresponding slot number for this block. SlotNumber is a uint64 in big endian encoding.
The gas cost for SLOTNUM is a fixed fee of 2.
The slot number is calculated in the consensus layer and passed to the execution layer through the engine API.
The header encoding shall be extended to include a slot_number field of type uint64.
The engine API's PayloadAttributes object shall be extended to include a slot_number field of type uint64.
The opcode is priced to match similar opcodes in the W_base set.
The slot number could alternatively be calculated in the execution layer using the timestamp, but it is more appropriate to calculate values pertaining to the beacon chain in the consensus layer. Additionally this avoids code duplication, as the slot number is already calculated in the consensus layer.
The SLOTNUM opcode should not increase the complexity of proving EVM execution, as it is similar to existing opcodes such as TIMESTAMP. The slot number is included in the block header rather than as a new_payload parameter, ensuring that the block is self-contained for proving; no extra inputs to the circuit are required.
No backward compatibility issues found.
N/A
None.
Copyright and related rights waived via CC0.