Skip to content

Isthmus: EIP-2537 #553

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.

Sign up for GitHub

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

Merged
tynes merged 10 commits into from
Feb 3, 2025
Merged

Isthmus: EIP-2537 #553

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
3355974
chore: eip-2537
refcell Jan 27, 2025
6793ecb
chore: eip-2537
refcell Jan 27, 2025
e8f1242
fix: doctoc
refcell Jan 27, 2025
9391515
fix: fill in todo
refcell Jan 28, 2025
183b4c6
Merge branch 'main' into rf/eip-2537
refcell Jan 28, 2025
0a3ad6b
Merge branch 'main' into rf/eip-2537
refcell Jan 29, 2025
5a303eb
Merge branch 'main' into rf/eip-2537
refcell Jan 31, 2025
6cc7be1
Merge branch 'main' into rf/eip-2537
emhane Jan 31, 2025
6fe5c4e
feat: bls precompile input size limits and specify acceleration (#570)
meyer9 Feb 3, 2025
afea8f5
Merge branch 'main' into rf/eip-2537
refcell Feb 3, 2025
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
18 changes: 18 additions & 0 deletions specs/protocol/isthmus/exec-engine.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@
- [Transaction Simulation](#transaction-simulation)
- [Deposit Requests](#deposit-requests)
- [Block Body Withdrawals List](#block-body-withdrawals-list)
- [EVM Changes](#evm-changes)
- [Block Sealing](#block-sealing)
- [Engine API Updates](#engine-api-updates)
- [Update to `ExecutableData`](#update-to-executabledata)
Expand Down Expand Up @@ -144,6 +145,23 @@ deposit type requests may always be excluded.

Withdrawals list in the block body is encoded as an empty RLP list.

## EVM Changes

Similar to the `bn256Pairing` precompile in the [granite hardfork](../granite/exec-engine.md),
[EIP-2537](https://eips.ethereum.org/EIPS/eip-2537) introduces a BLS
precompile that short-circuits depending on input size in the EVM.

The input size limits of the BLS precompile contracts are listed below:

- G1 multiple-scalar-multiply: `input_size <= 513760 bytes`
- G2 multiple-scalar-multiply: `input_size <= 488448 bytes`
- Pairing check: `input_size <= 235008 bytes`

The rest of the BLS precompiles are fixed-size operations which have a fixed gas cost.

All of the BLS precompiles should be [accelerated](../../fault-proof/index.md#precompile-accelerators) in fault proof
programs so they call out to the L1 instead of calculating the result inside the program.

## Block Sealing

[EIP-7251](https://eips.ethereum.org/EIPS/eip-7251) introduces new request type `0x02`, the `CONSOLIDATION_REQUEST_TYPE`.
Expand Down
1 change: 1 addition & 0 deletions specs/protocol/isthmus/overview.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@ This document is not finalized and should be considered experimental.
- [Pectra](https://eips.ethereum.org/EIPS/eip-7600) (Execution Layer):
- [EIP-7702](https://eips.ethereum.org/EIPS/eip-7702)
- [Span Batch Updates](./derivation.md#span-batch-updates)
- [EIP-2537](https://eips.ethereum.org/EIPS/eip-2537)
- [EIP-2935](https://eips.ethereum.org/EIPS/eip-2935)
- [EIP-7251](https://eips.ethereum.org/EIPS/eip-7251)
- [EIP-7623](https://eips.ethereum.org/EIPS/eip-7623)
Expand Down