fix: review

README.md

@@ -385,16 +385,16 @@ A few other notes:
 
 ### Generating Witnesses Only
 
-If you want to test a block without the high CPU & memory requirements that come with creating a full proof, you can instead generate only the witness using `tools/debug_block.sh`:
+If you want to test a block without the high CPU & memory requirements that come with creating a full proof, you can instead generate only the witness using `tools/prove_blocks.sh` in the `test_only` mode:
 
 ```sh
-./debug_block.sh <BLOCK_NUMBER> <FULL_NODE_ENDPOINT>
+./prove_blocks.sh <START_BLOCK> <END_BLOCK> <FULL_NODE_ENDPOINT> <IGNORE_PREVIOUS_PROOFS> test_only
 ```
 
 Filled in:
 
 ```sh
-./debug_block.sh 18299898 http://34.89.57.138:8545
+./prove_blocks.sh 18299898 18299899 http://34.89.57.138:8545 true test_only
 ```
 
 Finally, note that both of these testing scripts force proof generation to be sequential by allowing only one worker. Because of this, this is not a realistic representation of performance but makes the debugging logs much easier to follow.

common/src/block_interval.rs

@@ -2,8 +2,8 @@ use alloy::primitives::B256;
 use alloy::rpc::types::eth::BlockId;
 use alloy::{hex, providers::Provider, transports::Transport};
 use async_stream::try_stream;
+use futures::Stream;
 use thiserror::Error;
-use tokio_stream::Stream;
 use tracing::{error, info};
 
 use crate::parsing;
@@ -27,7 +27,6 @@ pub enum BlockIntervalError {
 }
 
 /// Range of blocks to be processed and proven.
-#[allow(unused)]
 #[derive(Debug, PartialEq, Clone)]
 pub enum BlockInterval {
     // A single block number.

leader/src/cli.rs

@@ -34,12 +34,9 @@ pub(crate) enum Command {
         // The Jerigon RPC URL.
         #[arg(long, short = 'u', value_hint = ValueHint::Url)]
         rpc_url: String,
-        /// The block number for which to generate a proof.
-        #[arg(short, long)]
-        block_number: Option<u64>,
         /// The block interval for which to generate a proof.
         #[arg(long, short = 'i')]
-        block_interval: Option<String>,
+        block_interval: String,
         /// The checkpoint block number.
         #[arg(short, long, default_value_t = 0)]
         checkpoint_block_number: u64,

leader/src/jerigon.rs

@@ -28,13 +28,13 @@ pub(crate) async fn jerigon_main(
     )
     .await?;
 
-    let previous_block_proof = previous_proof.map(|proof| GeneratedBlockProof {
+    let checkpoint_block_proof = previous_proof.map(|proof| GeneratedBlockProof {
         b_height: checkpoint_block_number,
         intern: proof,
     });
 
     let block_proofs = prover_input
-        .prove(&runtime, previous_block_proof, save_inputs_on_error)
+        .prove(&runtime, checkpoint_block_proof, save_inputs_on_error)
         .await?;
     runtime.close().await?;
 

leader/src/main.rs

@@ -91,24 +91,14 @@ async fn main() -> Result<()> {
         }
         Command::Jerigon {
             rpc_url,
-            block_number,
             block_interval,
             checkpoint_block_number,
             previous_proof,
             proof_output_dir,
             save_inputs_on_error,
         } => {
             let previous_proof = get_previous_proof(previous_proof)?;
-
-            let block_interval = if let Some(block_number) = block_number {
-                BlockInterval::Single(block_number)
-            } else if let Some(s) = block_interval {
-                BlockInterval::new(&s)?
-            } else {
-                return Err(anyhow::Error::msg(
-                    "block_number or block_interval must be provided as command line parameter",
-                ));
-            };
+            let block_interval = BlockInterval::new(&block_interval)?;
 
             info!("Proving {block_interval}");