the early return skipped the receiver creation

Author: ChihChengLiang

bus-mapping/src/circuit_input_builder/input_state_ref.rs

@@ -610,20 +610,18 @@ impl<'a> CircuitInputStateRef<'a> {
             sender_balance
         );
 
-        if value.is_zero() {
-            // Skip transfer if value == 0
-            return Ok(());
+        if !value.is_zero() {
+            self.push_op_reversible(
+                step,
+                AccountOp {
+                    address: sender,
+                    field: AccountField::Balance,
+                    value: sender_balance,
+                    value_prev: sender_balance_prev,
+                },
+            )?;
         }
 
-        self.push_op_reversible(
-            step,
-            AccountOp {
-                address: sender,
-                field: AccountField::Balance,
-                value: sender_balance,
-                value_prev: sender_balance_prev,
-            },
-        )?;
         self.transfer_to(
             step,
             receiver,