fix delegate call with insufficient balance

bus-mapping/src/evm/opcodes/callop.rs

@@ -119,15 +119,23 @@ impl<const N_ARGS: usize> Opcode for CallOpcode<N_ARGS> {
         debug_assert!(found);
 
         let caller_balance = sender_account.balance;
-        let insufficient_balance = call.value > caller_balance;
+        let is_call_or_callcode = call.kind == CallKind::Call || call.kind == CallKind::CallCode;
+        let insufficient_balance = call.value > caller_balance && is_call_or_callcode;
+
+        log::debug!(
+            "insufficient_balance: {}, call type: {:?}, sender_account: {:?} ",
+            insufficient_balance,
+            call.kind,
+            call.caller_address
+        );
 
         // read balance of caller to compare to value for insufficient_balance checking
         // in circuit, also use for callcode successful case check balance is
         // indeed larger than transfer value. for call opcode, it does in
         // tranfer gadget implicitly.
         state.account_read(
             &mut exec_step,
-            call.address,
+            call.caller_address,
             AccountField::Balance,
             caller_balance,
             caller_balance,

zkevm-circuits/src/evm_circuit/execution/callop.rs

@@ -155,7 +155,7 @@ impl<F: Field> ExecutionGadget<F> for CallOpGadget<F> {
 
         let caller_balance_word = cb.query_word_rlc();
         cb.account_read(
-            callee_address.expr(),
+            caller_address.expr(),
             AccountFieldTag::Balance,
             caller_balance_word.expr(),
         );
@@ -488,8 +488,7 @@ impl<F: Field> ExecutionGadget<F> for CallOpGadget<F> {
         self.is_insufficient_balance
             .assign(region, offset, caller_balance, value)?;
 
-        let is_insufficient = value > caller_balance;
-
+        let is_insufficient = (value > caller_balance) && (is_call || is_callcode);
         // only call opcode do transfer in sucessful case.
         let (caller_balance_pair, callee_balance_pair) = if is_call & !is_insufficient {
             rw_offset += 2;