feat(prover): add prove block tx gas limit flag

.env.sample

@@ -35,6 +35,8 @@ ZKEVM_CHAIN_INSTANCES_NUM=1
 # A L1 account (with balance) private key which will send the TaikoL1.proveBlock transactions.
 # WARNING: only use a test account, pasting your private key in plain text here is not secure.
 L1_PROVER_PRIVATE_KEY=
+# Gas limit for proveBlock transactions (in gas)
+PROVE_BLOCK_TX_GAS_LIMIT=1000000
 
 # If you want to be a proposer who proposes L2 execution engine's transactions in mempool to Taiko L1 protocol
 # contract (be a "mining L2 node"), you need to change `ENABLE_PROPOSER` to true, then fill `L1_PROPOSER_PRIVATE_KEY`

.env.sample.l3

@@ -37,6 +37,8 @@ ZKEVM_CHAIN_INSTANCES_NUM=1
 # A L2 account (with balance) private key which will send the TaikoL1.proveBlock transactions.
 # WARNING: only use a test account, pasting your private key in plain text here is not secure.
 L2_PROVER_PRIVATE_KEY=
+# Gas limit for proveBlock transactions (in gas)
+PROVE_BLOCK_TX_GAS_LIMIT=1000000
 
 # If you want to be a proposer who proposes L3 execution engine's transactions in mempool to Taiko L1 protocol (on L2)
 # contract (be a "mining L3 node"), you need to change `ENABLE_PROPOSER` to true, then fill `L2_PROPOSER_PRIVATE_KEY`

script/l2/start-prover-relayer.sh

@@ -21,6 +21,10 @@ if [ "$ENABLE_PROVER" == "true" ]; then
         --l1.proverPrivKey ${L1_PROVER_PRIVATE_KEY}
         --maxConcurrentProvingJobs ${ZKEVM_CHAIN_INSTANCES_NUM}"
 
+    if [[ ! -z "$PROVE_BLOCK_TX_GAS_LIMIT" ]]; then
+        ARGS="${ARGS} --prover.proveBlockTxGasLimit ${PROVE_BLOCK_TX_GAS_LIMIT}"
+    fi
+
     taiko-client prover ${ARGS}
 else
     sleep infinity

script/l3/start-prover-relayer.sh

@@ -27,6 +27,10 @@ if [ "$ENABLE_PROVER" == "true" ]; then
         ARGS="${ARGS} --rpc.waitReceiptTimeout ${WAIT_RECEIPT_TIMEOUT}"
     fi
 
+    if [[ ! -z "$PROVE_BLOCK_TX_GAS_LIMIT" ]]; then
+        ARGS="${ARGS} --prover.proveBlockTxGasLimit ${PROVE_BLOCK_TX_GAS_LIMIT}"
+    fi
+
     if [ "$PROVE_UNASSIGNED_BLOCKS" == "true" ]; then
         ARGS="${ARGS} --prover.proveUnassignedBlocks"
     fi