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

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

* chore: stop building local risc0 elf

* remove hard dependencies on risc0

---------

Co-authored-by: Yue <zhouyue360@gmail.com>

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;
         }

provers/risc0/builder/src/main.rs

@@ -7,11 +7,8 @@ fn main() {
     let pipeline = Risc0Pipeline::new("provers/risc0/guest", "release");
     pipeline.bins(
         &[
-            "risc0-aggregation",
-            "risc0-batch",
             "boundless-aggregation",
             "boundless-batch",
-            "risc0-shasta-aggregation",
             "boundless-shasta-aggregation",
         ],
         "provers/risc0/driver/src/methods",

provers/risc0/driver/src/lib.rs

@@ -2,8 +2,11 @@
 
 use crate::{
     boundless::BoundlessProver,
-    methods::risc0_aggregation::RISC0_AGGREGATION_ELF, methods::risc0_batch::RISC0_BATCH_ELF,
-    methods::risc0_shasta_aggregation::RISC0_SHASTA_AGGREGATION_ELF,
+    methods::{
+        boundless_aggregation::BOUNDLESS_AGGREGATION_ELF as RISC0_AGGREGATION_ELF,
+        boundless_batch::BOUNDLESS_BATCH_ELF as RISC0_BATCH_ELF,
+        boundless_shasta_aggregation::BOUNDLESS_SHASTA_AGGREGATION_ELF as RISC0_SHASTA_AGGREGATION_ELF,
+    },
 };
 use alloy_primitives::{hex::ToHexExt, B256};
 use bonsai::{cancel_proof, maybe_prove};
@@ -395,7 +398,7 @@ fn build_shasta_block_inputs(
 #[cfg(test)]
 mod test {
     use super::*;
-    use methods::risc0_batch::RISC0_BATCH_ID;
+    use methods::boundless_batch::BOUNDLESS_BATCH_ID as RISC0_BATCH_ID;
     use methods::test_risc0_batch::{TEST_RISC0_BATCH_ELF, TEST_RISC0_BATCH_ID};
     use risc0_zkvm::{default_prover, ExecutorEnv};
 

provers/risc0/driver/src/methods/mod.rs

@@ -1,9 +1,6 @@
 pub mod boundless_aggregation;
 pub mod boundless_batch;
 pub mod boundless_shasta_aggregation;
-pub mod risc0_aggregation;
-pub mod risc0_batch;
-pub mod risc0_shasta_aggregation;
 
 // To build the following `$ cargo run --features test,bench --bin risc0-builder`
 // or `$ $TARGET=risc0 make test`

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