blockifier: remove fee builtins duplicacy in get_tx_weights

Author: avivg-starkware

crates/blockifier/src/bouncer.rs

@@ -786,8 +786,6 @@ pub fn get_tx_weights<S: StateReader>(
     add_maps(&mut builtin_counters_without_casm_hash_computation, tx_builtin_counters);
     // The transaction builtin counters does not include the transaction overhead ('additional')
     // resources.
-    // TODO(AvivG): Builtins from `fee_transfer_call_info` are counted twice - in `os_vm_resources`
-    // and again in `tx_builtin_counters`. Remove the duplication.
     add_maps(
         &mut builtin_counters_without_casm_hash_computation,
         &tx_resources.computation.os_vm_resources.prover_builtins(),

crates/blockifier/src/transaction/objects.rs

@@ -208,6 +208,11 @@ impl TransactionExecutionInfo {
             .chain(self.fee_transfer_call_info.iter())
     }
 
+    /// Returns call infos excluding fee transfer (to avoid double-counting in bouncer calculations)
+    pub fn call_infos_without_fee_transfer(&self) -> impl Iterator<Item = &CallInfo> {
+        self.validate_call_info.iter().chain(self.execute_call_info.iter())
+    }
+
     pub fn is_reverted(&self) -> bool {
         self.revert_error.is_some()
     }
@@ -222,7 +227,9 @@ impl TransactionExecutionInfo {
     }
 
     pub fn summarize_builtins(&self) -> BuiltinCounterMap {
-        CallInfo::summarize_many_builtins(self.non_optional_call_infos())
+        // Remove fee transfer builtins to avoid double-counting in `get_tx_weights`
+        // in bouncer.rs (already included in os_vm_resources).
+        CallInfo::summarize_many_builtins(self.call_infos_without_fee_transfer())
     }
 }
 pub trait ExecutionResourcesTraits {