EIP-7793: TXINDEX precompile
Precompile to get index of transaction within block
Abstract
This EIP proposes to add a new precompile that returns the index of the transaction being executed within the current block.
Motivation
The new precompile aims to improve support for encrypted mempools. In order to be secure, the validity of encrypted mempool transactions should be tied to the inclusion of all transactions by a proposer in the correct slot, and following the ordering rules. If these rules are not enshrined as block validity conditions then they can be enforced by a smart contract.
This proposal enables smart contract solutions to check their own transaction index, so they can enforce inclusion at the correct index. These out-of-protocol solutions could be used for experimentation until a design appropriate for enshrinement is agreed upon.
Specification
If block.timestamp >= TBD a new precompiled contract TXINDEX shall be created at address TBD.
TXINDEX returns as output the transaction index as a 4 byte uint in big endian encoding.
Gas Cost
The gas cost for TXINDEX is a fixed fee of 2
Rationale
Gas Price
The precompile is priced to match similar opcodes in the W_base set.
Precompile
Making the feature a precompile rather than an opcode gives L2s flexibility to decide whether to implement it.
Backwards Compatibility
No backward compatibility issues found.
Test Cases
N/A
Security Considerations
None.
Copyright
Copyright and related rights waived via CC0.