3. refactor(state): move database reads and writes to a new zebra_db module

.github/workflows/test.yml

@@ -158,15 +158,17 @@ jobs:
           persist-credentials: false
           fetch-depth: '2'
 
+      # only run this job if the database format might have changed
       - name: Get specific changed files
         id: changed-files-specific
         uses: tj-actions/changed-files@v14.4
         with:
           files: |
+            /zebra-state/**/constants.rs
+            /zebra-state/**/finalized_state.rs
             /zebra-state/**/disk_format.rs
             /zebra-state/**/disk_db.rs
-            /zebra-state/**/finalized_state.rs
-            /zebra-state/**/constants.rs
+            /zebra-state/**/zebra_db.rs
 
       - name: Inject slug/short variables
         uses: rlespinasse/github-slug-action@v4

zebra-state/src/service/finalized_state/arbitrary.rs

@@ -96,7 +96,7 @@ where
 
 impl FinalizedState {
     /// Allow to set up a fake value pool in the database for testing purposes.
-    pub fn set_current_value_pool(&self, fake_value_pool: ValueBalance<NonNegative>) {
+    pub fn set_finalized_value_pool(&self, fake_value_pool: ValueBalance<NonNegative>) {
         let mut batch = DiskWriteBatch::new();
         let value_pool_cf = self.db.cf_handle("tip_chain_value_pool").unwrap();
 

zebra-state/src/service/finalized_state/disk_db.rs

@@ -1,7 +1,7 @@
-//! Module defining access to RocksDB via accessor traits.
+//! Provides low-level access to RocksDB using some database-specific types.
 //!
 //! This module makes sure that:
-//! - all disk writes happen inside a RocksDB transaction, and
+//! - all disk writes happen inside a RocksDB transaction ([`WriteBatch`]), and
 //! - format-specific invariants are maintained.
 //!
 //! # Correctness

zebra-state/src/service/finalized_state/disk_format.rs

@@ -1,4 +1,4 @@
-//! Module defining the serialization format for finalized data.
+//! Serialization formats for finalized data.
 //!
 //! # Correctness
 //!