feat(Prague): Add EIP-7702 (#1565)

* feat(Prague): Skeleton for EIP-7702

* fmt

* load authorizations

* include Vec and B256

* fmt and no_std import

* Integrate alloy-eips Authorizations types

* Add box

* disable alloy

* clippy nits

* patch alloy

* bump new alloy

Cargo.toml

@@ -22,3 +22,8 @@ debug = true
 [profile.ethtests]
 inherits = "test"
 opt-level = 3
+
+# [patch.crates-io]
+# alloy-eips = { git = "https://github.com/alloy-rs/alloy.git", rev = "41d4c7c" }
+# alloy-provider = { git = "https://github.com/alloy-rs/alloy.git", rev = "41d4c7c" }
+# alloy-transport = { git = "https://github.com/alloy-rs/alloy.git", rev = "41d4c7c" }

crates/interpreter/src/gas/calc.rs

@@ -1,9 +1,7 @@
-use revm_primitives::AccessListItem;
-
 use super::constants::*;
 use crate::{
     num_words,
-    primitives::{SpecId, U256},
+    primitives::{AccessListItem, SpecId, U256},
     SelfDestructResult,
 };
 
@@ -359,6 +357,7 @@ pub fn validate_initial_tx_gas(
     input: &[u8],
     is_create: bool,
     access_list: &[AccessListItem],
+    authorization_list_num: u64,
 ) -> u64 {
     let mut initial_gas = 0;
     let zero_data_len = input.iter().filter(|v| **v == 0).count() as u64;
@@ -399,5 +398,10 @@ pub fn validate_initial_tx_gas(
         initial_gas += initcode_cost(input.len() as u64)
     }
 
+    //   EIP-7702
+    if spec_id.is_enabled_in(SpecId::PRAGUE) {
+        initial_gas += authorization_list_num * PER_CONTRACT_CODE_BASE_COST;
+    }
+
     initial_gas
 }

crates/interpreter/src/gas/constants.rs

@@ -47,6 +47,9 @@ pub const COLD_ACCOUNT_ACCESS_COST: u64 = 2600;
 pub const WARM_STORAGE_READ_COST: u64 = 100;
 pub const WARM_SSTORE_RESET: u64 = SSTORE_RESET - COLD_SLOAD_COST;
 
+/// EIP-7702
+pub const PER_CONTRACT_CODE_BASE_COST: u64 = 2400;
+
 /// EIP-3860 : Limit and meter initcode
 pub const INITCODE_WORD_COST: u64 = 2;
 

crates/interpreter/src/instruction_result.rs

@@ -61,7 +61,7 @@ pub enum InstructionResult {
     EOFFunctionStackOverflow,
     /// Aux data overflow, new aux data is larger tha u16 max size.
     EofAuxDataOverflow,
-    /// Aud data is smaller then already present data size.
+    /// Aux data is smaller then already present data size.
     EofAuxDataTooSmall,
     /// EXT*CALL target address needs to be padded with 0s.
     InvalidEXTCALLTarget,

crates/primitives/Cargo.toml

@@ -22,7 +22,7 @@ rust_2018_idioms = "deny"
 all = "warn"
 
 [dependencies]
-alloy-eips = { version = "0.1", default-features = false }
+alloy-eips = { version = "0.1", default-features = false, features = ["k256"]}
 alloy-primitives = { version = "0.7.2", default-features = false, features = [
     "rlp",
 ] }
@@ -104,4 +104,4 @@ optional_beneficiary_reward = []
 rand = ["alloy-primitives/rand"]
 
 # See comments in `revm-precompile`
-c-kzg = ["dep:c-kzg", "dep:once_cell", "dep:derive_more"]
+c-kzg = ["dep:c-kzg", "dep:once_cell", "dep:derive_more"]