Skip to content

Updating EL specs to include EIP-7702 type 4 transaction #484

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

Draft
ParthRathix0 wants to merge 3 commits into
base: main
Choose a base branch
from
Draft

Updating EL specs to include EIP-7702 type 4 transaction #484

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
0fb16f9
Updating EL specs to include EIP-7702 type 4 transaction
ParthRathix0 Feb 19, 2026
dd93831
Fix spelling in readme.md
ParthRathix0 Feb 19, 2026
ba034d1
Fix typo in 'Finalisation' to 'Finalization'
ParthRathix0 Feb 19, 2026
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
2 changes: 1 addition & 1 deletion docs/readme.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ The EPF Wiki is a collection of technical resources about the Ethereum protocol.

## Protocol Study Group

Ethereum Protocol Fellowship Study Group (EPFsg) is an open study program for anyone interested in learning about internals of the protocol. The study group resources are available as self study curriculum but there is also live Study Group organized annualy between February-April. Following blog.ethereum.org for announcements to join a community of students.
Ethereum Protocol Fellowship Study Group (EPFsg) is an open study program for anyone interested in learning about internals of the protocol. The study group resources are available as self study curriculum but there is also live Study Group organized annually between February-April. Following blog.ethereum.org for announcements to join a community of students.

**[Start your studies](/eps/intro.md) by diving into providing resources** and get ready for live study group in 2026!

Expand Down
36 changes: 26 additions & 10 deletions docs/wiki/EL/el-specs.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -437,13 +437,13 @@ $$

### Effective Gas Price & Priority Fee

The equations below were modified to include blob transactions ( $T_{type} = 3$ )
The equations below were modified to include blob and set code transactions ( $T_{type} = 3 \lor 4$ )

$$ p \equiv effectiveGasPrice \equiv
\begin{aligned}
&\begin{cases}
T_{gasPrice}, & \text{if} \space T_{type} = 0 \lor 1\\
priorityFee + H_{baseFeePerGas} , & \text{if} \space T_{type} = 2 \lor 3
priorityFee + H_{baseFeePerGas} , & \text{if} \space T_{type} = 2 \lor 3 \lor 4
\end{cases}\\
\end{aligned} \qquad (62)
$$
Expand All @@ -452,7 +452,7 @@ $$ f \equiv priorityFee \equiv
\begin{aligned}
&\begin{cases}
T_{gasPrice} - H_{baseFeePerGas}, & \text{if} \space T_{type} = 0 \lor 1\\
min(T_{maxPriorityFeePerGas} , T_{maxFeePerGas} - H_{baseFeePerGas}) , & \text{if} \space T_{type} = 2 \lor 3
min(T_{maxPriorityFeePerGas} , T_{maxFeePerGas} - H_{baseFeePerGas}) , & \text{if} \space T_{type} = 2 \lor 3 \lor 4
\end{cases}\\
\end{aligned}
$$
Expand Down Expand Up @@ -496,7 +496,7 @@ $$
\begin{aligned}
&\begin{cases}
T_{gasLimit} \times T_{gasPrice} , & \text{if} \space T_{type} = 0 \lor 1\\
T_{gasLimit} \times T_{maxFeePerGas} , & \text{if} \space T_{type} = 2 \\
T_{gasLimit} \times T_{maxFeePerGas} , & \text{if} \space T_{type} = 2 \lor 4 \\
(T_{gasLimit} \times T_{maxFeePerGas}) + maxBlobFee , & \text{if} \space T_{type} = 3
\end{cases}\\
\end{aligned}
Expand Down Expand Up @@ -535,7 +535,7 @@ T_{nonce} &= \sigma[Sender(T)]_{nonce} \\ \land \nonumber \\
intrinsicGas &\leq T_{gasLimit}\\ \land \nonumber \\
maxGasFee + T_{value} &\leq \sigma[Sender(T)]_{balance}\\ \land \nonumber \\
m &\geq H_{baseFeePerGas}\\ \land \nonumber \\
\text{if} \space T_{type} = 2 \lor 3 : T_{maxFeePerGas} &\geq T_{maxPriorityFeePerGas} \\ \land \nonumber \\
\text{if} \space T_{type} = 2 \lor 3 \lor 4 : T_{maxFeePerGas} &\geq T_{maxPriorityFeePerGas} \\ \land \nonumber \\
T_{gasLimit} \leq Header_{gasLimit} \nonumber \\ &− last( \left[ Block_{receipt} \right] )_{cumulativeGasUsed} \\
\end{align}
$$
Expand All @@ -544,7 +544,7 @@ $$ \text{Where, }m \equiv
\begin{aligned} \\
&\begin{cases}
T_{gasPrice}, & \text{if} \space T_{type} = 0 \lor 1\\
T_{maxFeePerGas} , & \text{if} \space T_{type} = 2 \lor 3
T_{maxFeePerGas} , & \text{if} \space T_{type} = 2 \lor 3 \lor 4
\end{cases}\\
\end{aligned}
$$
Expand Down Expand Up @@ -630,7 +630,7 @@ The initialization of the substate sets the groundwork for transaction execution
Depending on the transaction type, accessed addresses are initialized differently:

- For $T_{type} = 0$, the coinbase address, the caller , the current target and all the pre-compile contract addressees are added to the accessed account substate
- For $T_{type} = 1, 2, or \space 3$, the coinbase address , the caller , the current target, all the pre-compiles and those in the access list are added
- For $T_{type} = 1, 2, 3 or \space 4$, the coinbase address , the caller , the current target, all the pre-compiles and those in the access list are added

$$A^* \equiv (A^{*}_{selfDestructSet} = \empty, $$
$$A^{*}_{logSeries} = (), $$
Expand All @@ -641,7 +641,7 @@ $$A^{*}_{accesedAccountAddresses} = \{ H_{coinBase},$$
$$Message_{caller}, Message_{current_target} $$
$$allPrecompiledContract_{addresses}\}$$
$$A^{*}_{accesedStorageKeys} = \empty $$
if $T_{type} = 1 \lor 2 \lor 3$:
if $T_{type} = 1 \lor 2 \lor 3 \lor 4$:
$$A^{*}_{accesedAccountAddresses} = \{ H_{coinBase},$$
$${ \bigcup_{Entry \in T_{accessList}} \{ Entry_{address} \}},$$
$$Message_{caller}, Message_{current_target} $$
Expand Down Expand Up @@ -1090,7 +1090,7 @@ Block validity is **atomic**. The block-level transition function $\Phi$ maps an

**Implementation Reference:**
The semantics described above are based on the [Ethereum Yellow Paper](https://ethereum.github.io/yellowpaper/paper.pdf):
- **Section 12:** Block Finalisation
- **Section 12:** Block Finalization
- **Section 12.1:** Executing Withdrawals
- **Section 12.2:** Transaction Validation
- **Section 12.3:** State Validation
Expand Down Expand Up @@ -1166,7 +1166,23 @@ Initially, an upfront amount is reserved, meaning it's deducted from the sender.
#### Refund to Sender Calculation
- `refund_blob = reserved_blob − blobFee` and is returned to sender.

These examples should help tie together how gas is handled during a transaction lifecycle.
### Example 3: Set EOA Code Transaction

EIP-7702 introduces a new transaction type that enables an Externally Owned Account (EOA) to temporarily set its code to that of a smart contract during a transaction. This paves the way for account abstraction features like transaction bundling and sponsored gas.

#### Set EOA Code Transaction Type
- **Type 4**: EIP-7702 transaction ([EIP-7702](https://eips.ethereum.org/EIPS/eip-7702))

#### Transaction Parameters
Along with the standard EIP-1559 parameters (`chainId`, `nonce`, `maxPriorityFeePerGas`, `maxFeePerGas`, `gasLimit`, `to`, `value`, `data`, `accessList`), Type 4 transactions include:
- `authorizationList` – A list of tuples containing `chainId`, `address`, `nonce`, `yParity`, `r`, and `s`. This serves as an authorization from the address owner to set their address to mimic the chosen smart contract.

#### Execution Cost
- **Type 4** gas fee accounting behaves identical to **Type 2** transactions.
- The `baseFee` is burned and the priority fee is awarded to the proposer. The distinguishing cost feature in Type 4 is the computational overhead of applying the `authorizationList` during intrinsic gas calculation and substate execution.

These examples should help tie together how gas is handled during a transaction lifecycle.


## Appendix

Expand Down
Loading