Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add EIP: SLOT precompile #9141

Open
wants to merge 7 commits into
base: master
Choose a base branch
from
Open
Changes from 2 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
60 changes: 60 additions & 0 deletions EIPS/eip-slot-precompile.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,60 @@
---
eip:
Marchhill marked this conversation as resolved.
Show resolved Hide resolved
title: SLOT precompile
description: Precompile to get the current slot
author: Marc Harvey-Hill (@Marchhill)
discussions-to:
Marchhill marked this conversation as resolved.
Show resolved Hide resolved
status: Draft
type: Standards Track
category: Core
created: 2024-12-06
---

## Abstract

This EIP proposes to add a new precompile that returns the corresponding slot for the current block.

## Motivation

It is currently possible to calculate the slot number from the block timestamp. However, this requires hardcoding the chain slot length into a smart contract. This would require the contract code to be changed in the event of a future change to slot length. A better approach is for the slot number to be calculated by the execution layer and exposed in a precompile.

### Encrypted Mempools

This 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. This rule can be enforced by a smart contract using this precompile.

## Specification

If `block.number >= TBD` a new precompiled contract `SLOT` shall be created at address `TBD`.

`SLOT` returns as output the current slot number as an 8 byte ulong in big endian encoding.

### Gas Cost

The gas cost for `SLOT` 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

<!-- TODO -->
Needs discussion.

## Copyright

Copyright and related rights waived via [CC0](../LICENSE.md).
Loading