fix(raiko): remove useless log & fix prove script

Author: smtmfft

lib/src/utils/shasta_rules.rs

@@ -3,7 +3,7 @@ use reth_evm_ethereum::taiko::ANCHOR_V4_GAS_LIMIT;
 use reth_primitives::revm_primitives::SpecId;
 use reth_primitives::{Block, Header};
 use std::cmp::max as std_max;
-use tracing::warn;
+use tracing::{info, warn};
 
 use crate::consts::ForkCondition;
 use crate::input::{BlockProposedFork, GuestBatchInput, GuestInput};
@@ -283,9 +283,9 @@ pub fn validate_shasta_block_gas_limit(
             ),
             upper_limit,
         );
-        tracing::info!("validate_shasta_block_gas_limit, parent_gas_limit: {}, block_gas_limit: {}, upper_limit: {}, lower_limit: {}", parent_gas_limit, block_gas_limit, upper_limit, lower_limit);
 
         if block_gas_limit < lower_limit || block_gas_limit > upper_limit {
+            info!("validate_shasta_block_gas_limit, parent_gas_limit: {}, block_gas_limit: {}, upper_limit: {}, lower_limit: {}", parent_gas_limit, block_gas_limit, upper_limit, lower_limit);
             warn!("block gas limit is out of bounds, block_gas_limit: {}, lower_limit: {}, upper_limit: {}", block_gas_limit, lower_limit, upper_limit);
             return false;
         }

script/prove-shasta.sh

@@ -80,8 +80,8 @@ elif [ "$chain" == "holesky" ]; then
     l1_network="holesky"
 elif [ "$chain" == "taiko_mainnet" ]; then
     l1_network="ethereum"
-elif [ "$chain" == "taiko_a7" ]; then
-    l1_network="holesky"
+elif [ "$chain" == "taiko_hoodi" ]; then
+    l1_network="hoodi"
 elif [ "$chain" == "taiko_dev" ]; then
     l1_network="taiko_dev_l1"
 else