constrain tx_l1_fee gadget (#1151)

Author: DreamWuGit

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

@@ -153,6 +153,12 @@ impl<F: Field> ExecutionGadget<F> for BeginTxGadget<F> {
         });
         cb.condition(tx_l1_msg.is_l1_msg(), |cb| {
             cb.require_zero("l1fee is 0 for l1msg", tx_data_gas_cost.expr());
+            // also constrain fee value of tx_l1_fee gadget is zero, such other gadgets can use it
+            // with certain value for l1 type.
+            cb.require_zero(
+                "l1fee is 0 for tx_l1_fee gadget",
+                tx_l1_fee.tx_l1_fee_word().expr(),
+            );
         });
         // the rw delta caused by l1 related handling
         let l1_rw_delta = select::expr(