Isthmus: EIP-2537 (#553)

* chore: eip-2537

* chore: eip-2537

* fix: doctoc

* fix: fill in todo

* feat: bls precompile input size limits and specify acceleration (#570)

---------

Co-authored-by: Emilia Hane <elsaemiliaevahane@gmail.com>
Co-authored-by: Julian Meyer <julianmeyer2000@gmail.com>

Author: 3 people

specs/protocol/isthmus/exec-engine.md

@@ -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)
@@ -149,6 +150,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`.

specs/protocol/isthmus/overview.md

@@ -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-7002](https://eips.ethereum.org/EIPS/eip-7002)
     - The EIP-7002 predeploy contract and syscall are not adopted as part of the OP Stack.