feat: charge gas for each Transferred Asset

crates/interpreter/src/gas/calc.rs

@@ -1,5 +1,5 @@
 use super::constants::*;
-use crate::primitives::{Address, Spec, SpecId::*, U256};
+use crate::primitives::{Address, Spec, SpecId::*, TransferredAsset, U256};
 use alloc::vec::Vec;
 
 #[allow(clippy::collapsible_else_if)]
@@ -312,11 +312,12 @@ pub fn mint_cost<SPEC: Spec>(_is_cold: bool) -> Option<u64> {
 }
 
 /// Initial gas that is deducted for transaction to be included.
-/// Initial gas contains initial stipend gas, gas for access list and input data.
+/// Initial gas contains initial stipend gas, gas for access list and input data, and gas for transferred MNAs.
 pub fn initial_tx_gas<SPEC: Spec>(
     input: &[u8],
     is_create: bool,
     access_list: &[(Address, Vec<U256>)],
+    transferred_assets: &Option<Vec<TransferredAsset>>,
 ) -> u64 {
     let mut initial_gas = 0;
     let zero_data_len = input.iter().filter(|v| **v == 0).count() as u64;
@@ -354,5 +355,9 @@ pub fn initial_tx_gas<SPEC: Spec>(
         initial_gas += initcode_cost(input.len() as u64)
     }
 
+    if let Some(assets) = transferred_assets {
+        initial_gas += assets.len() as u64 * TRANSFERRED_ASSET;
+    }
+
     initial_gas
 }

crates/interpreter/src/gas/constants.rs

@@ -38,3 +38,5 @@ pub const WARM_STORAGE_READ_COST: u64 = 100;
 pub const INITCODE_WORD_COST: u64 = 2;
 
 pub const CALL_STIPEND: u64 = 2300;
+
+pub const TRANSFERRED_ASSET: u64 = 50;

crates/revm/benches/bench.rs

@@ -5,8 +5,8 @@ use revm::{
     db::BenchmarkDB,
     interpreter::{analysis::to_analysed, BytecodeLocked, Contract, DummyHost, Interpreter},
     primitives::{
-        address, bytes, hex, BerlinSpec, Bytecode, BytecodeState, Bytes, TransactTo, B256,
-        BASE_ASSET_ID, U256,
+        address, bytes, hex, BerlinSpec, Bytecode, BytecodeState, Bytes, TransactTo,
+        TransferredAsset, B256, BASE_ASSET_ID, U256,
     },
 };
 use revm_interpreter::{opcode::make_instruction_table, SharedMemory, EMPTY_SHARED_MEMORY};
@@ -69,7 +69,10 @@ fn transfer(c: &mut Criterion) {
 
     evm.env.tx.caller = address!("0000000000000000000000000000000000000001");
     evm.env.tx.transact_to = TransactTo::Call(address!("0000000000000000000000000000000000000000"));
-    evm.env.tx.transferred_assets = Some(vec![(B256::from(BASE_ASSET_ID), U256::from(10))]);
+    evm.env.tx.transferred_assets = Some(vec![TransferredAsset {
+        id: B256::from(BASE_ASSET_ID),
+        amount: U256::from(10),
+    }]);
 
     let mut g = c.benchmark_group("transfer");
     g.noise_threshold(0.03).warm_up_time(Duration::from_secs(1));

crates/revm/src/evm_impl.rs

@@ -361,6 +361,7 @@ impl<'a, SPEC: Spec + 'static, DB: Database> EVMImpl<'a, SPEC, DB> {
             &env.tx.data,
             env.tx.transact_to.is_create(),
             &env.tx.access_list,
+            &env.tx.transferred_assets,
         );
 
         // Additional check to see if limit is big enough to cover initial gas.
@@ -415,6 +416,7 @@ impl<'a, SPEC: Spec + 'static, DB: Database> EVMImpl<'a, SPEC, DB> {
             &tx_data,
             env.tx.transact_to.is_create(),
             &env.tx.access_list,
+            &env.tx.transferred_assets,
         );
 
         // load coinbase