pub async fn get_last_l1_batch_with_prove_tx(&mut self) -> DalResult<L1BatchNumber> {
        let row = sqlx::query!(
            r#"
            SELECT
                COALESCE(MAX(number), 0) AS "number!"
            FROM
                l1_batches
            WHERE
                eth_prove_tx_id IS NOT NULL
            "#
        )
        .instrument("get_last_l1_batch_with_prove_tx")
        .fetch_one(self.storage)
        .await?;

        Ok(L1BatchNumber(row.number as u32))
    }
Returns the number of the last L1 batch for which an Ethereum prove tx exists in the database.
core/lib/dal/src/blocks_dal.rs