Merge pull request #1820 from input-output-hk/djo/1785/last_tx_not_proved

Bugfix: Block range computation ignored last block range & last block range if it finished with empty blocks

Author: Alenar

Cargo.lock

@@ -1,6 +1,6 @@
 [package]
 name = "mithril-persistence"
-version = "0.2.16"
+version = "0.2.17"
 description = "Common types, interfaces, and utilities to persist data for Mithril nodes."
 authors = { workspace = true }
 edition = { workspace = true }

internal/mithril-persistence/Cargo.toml

@@ -22,6 +22,12 @@ impl GetBlockRangeRootQuery {
             condition: WhereCondition::new("start < ?*", vec![Value::Integer(block_number as i64)]),
         }
     }
+
+    pub fn highest() -> Self {
+        Self {
+            condition: WhereCondition::new("end = (select max(end) from block_range_root)", vec![]),
+        }
+    }
 }
 
 impl Query for GetBlockRangeRootQuery {
@@ -134,4 +140,26 @@ mod tests {
 
         assert_eq!(dataset, cursor);
     }
+
+    #[test]
+    fn test_get_highest_with_empty_db() {
+        let connection = cardano_tx_db_connection().unwrap();
+
+        let cursor: Option<BlockRangeRootRecord> = connection
+            .fetch_first(GetBlockRangeRootQuery::highest())
+            .unwrap();
+        assert_eq!(None, cursor);
+    }
+
+    #[test]
+    fn test_get_highest() {
+        let connection = cardano_tx_db_connection().unwrap();
+        let dataset = block_range_root_dataset();
+        insert_block_range_roots(&connection, dataset.clone());
+
+        let cursor: Option<BlockRangeRootRecord> = connection
+            .fetch_first(GetBlockRangeRootQuery::highest())
+            .unwrap();
+        assert_eq!(dataset.last().cloned(), cursor);
+    }
 }

internal/mithril-persistence/src/database/query/block_range_root/get_block_range_root.rs

@@ -1,11 +1,9 @@
 mod delete_block_range_root;
 mod get_block_range_root;
-mod get_interval_without_block_range;
 mod insert_block_range;
 
 pub use delete_block_range_root::*;
 pub use get_block_range_root::*;
-pub use get_interval_without_block_range::*;
 pub use insert_block_range::*;
 
 #[cfg(test)]

internal/mithril-persistence/src/database/query/block_range_root/get_interval_without_block_range.rs

@@ -2,8 +2,6 @@
 
 mod block_range_root;
 mod cardano_transaction;
-mod interval_without_block_range_root;
 
 pub use block_range_root::*;
 pub use cardano_transaction::*;
-pub use interval_without_block_range_root::*;