Reuse TxFilterConfig in L1-Scan Guest code (#611)

reuse TxFilterConfig in all the l1 batch

crates/proof-impl/btc-blockspace/src/filter.rs

@@ -12,14 +12,12 @@ use strata_tx_parser::filter::{filter_protocol_op_tx_refs, TxFilterConfig};
 pub fn extract_relevant_info(
     block: &Block,
     rollup_params: &RollupParams,
+    filter_config: &TxFilterConfig,
 ) -> (Vec<DepositInfo>, Option<BatchCheckpoint>) {
-    let filter_config =
-        TxFilterConfig::derive_from(rollup_params).expect("derive tx-filter config");
-
     let mut deposits = Vec::new();
     let mut prev_checkpoint = None;
 
-    let relevant_txs = filter_protocol_op_tx_refs(block, &filter_config);
+    let relevant_txs = filter_protocol_op_tx_refs(block, filter_config);
 
     for tx in relevant_txs {
         match tx.proto_op() {

crates/proof-impl/btc-blockspace/src/logic.rs

@@ -4,6 +4,7 @@ use bitcoin::{consensus::deserialize, Block};
 use borsh::{BorshDeserialize, BorshSerialize};
 use strata_primitives::params::RollupParams;
 use strata_state::{batch::BatchCheckpoint, l1::L1TxProof, tx::DepositInfo};
+use strata_tx_parser::filter::TxFilterConfig;
 use strata_zkvm::ZkVmEnv;
 
 use crate::scan::process_blockscan;
@@ -29,7 +30,9 @@ pub fn process_blockspace_proof_outer(zkvm: &impl ZkVmEnv) {
     let serialized_block = zkvm.read_buf();
     let inclusion_proof: Option<L1TxProof> = zkvm.read_borsh();
     let block: Block = deserialize(&serialized_block).unwrap();
-    let output = process_blockscan(&block, &inclusion_proof, &rollup_params);
+    let filter_config =
+        TxFilterConfig::derive_from(&rollup_params).expect("derive tx-filter config");
+    let output = process_blockscan(&block, &inclusion_proof, &rollup_params, &filter_config);
     zkvm.commit_borsh(&output);
 }
 

crates/proof-impl/btc-blockspace/src/scan.rs

@@ -3,6 +3,7 @@
 use bitcoin::{consensus::serialize, Block};
 use strata_primitives::params::RollupParams;
 use strata_state::l1::L1TxProof;
+use strata_tx_parser::filter::TxFilterConfig;
 
 use crate::{block::check_integrity, filter::extract_relevant_info, logic::BlockScanResult};
 
@@ -11,10 +12,11 @@ pub fn process_blockscan(
     block: &Block,
     inclusion_proof: &Option<L1TxProof>,
     rollup_params: &RollupParams,
+    filter_config: &TxFilterConfig,
 ) -> BlockScanResult {
     assert!(check_integrity(block, inclusion_proof));
 
-    let (deposits, prev_checkpoint) = extract_relevant_info(block, rollup_params);
+    let (deposits, prev_checkpoint) = extract_relevant_info(block, rollup_params, filter_config);
 
     BlockScanResult {
         header_raw: serialize(&block.header),

crates/proof-impl/l1-batch/Cargo.toml

@@ -11,6 +11,7 @@ serde.workspace = true
 strata-primitives.workspace = true
 strata-proofimpl-btc-blockspace.workspace = true
 strata-state.workspace = true
+strata-tx-parser.workspace = true
 strata-zkvm.workspace = true
 
 [dev-dependencies]

crates/proof-impl/l1-batch/src/logic.rs

@@ -7,6 +7,7 @@ use strata_state::{
     l1::{get_btc_params, HeaderVerificationState, HeaderVerificationStateSnapshot, L1TxProof},
     tx::DepositInfo,
 };
+use strata_tx_parser::filter::TxFilterConfig;
 use strata_zkvm::ZkVmEnv;
 
 /// Represents the public parameters of the L1BlockScan batch proof.
@@ -29,6 +30,9 @@ pub fn process_l1_batch_proof(zkvm: &impl ZkVmEnv) {
     let mut state: HeaderVerificationState = zkvm.read_borsh();
 
     let rollup_params: RollupParams = zkvm.read_serde();
+    let filter_config =
+        TxFilterConfig::derive_from(&rollup_params).expect("derive tx-filter config");
+
     let num_inputs: u32 = zkvm.read_serde();
     assert!(num_inputs > 0);
 
@@ -41,7 +45,8 @@ pub fn process_l1_batch_proof(zkvm: &impl ZkVmEnv) {
         let inclusion_proof: Option<L1TxProof> = zkvm.read_borsh();
 
         let block: Block = deserialize(&serialized_block).unwrap();
-        let blockscan_result = process_blockscan(&block, &inclusion_proof, &rollup_params);
+        let blockscan_result =
+            process_blockscan(&block, &inclusion_proof, &rollup_params, &filter_config);
         state.check_and_update_continuity(&block.header, &get_btc_params());
         deposits.extend(blockscan_result.deposits);
         prev_checkpoint = prev_checkpoint.or(blockscan_result.prev_checkpoint);