chore: bump miden-base versions (#689)

Cargo.toml

@@ -28,18 +28,18 @@ version      = "0.8.0"
 assert_matches            = { version = "1.5" }
 itertools                 = { version = "0.14" }
 miden-air                 = { version = "0.12" }
-miden-lib                 = { git = "https://github.com/0xPolygonMiden/miden-base.git", rev = "e82dee03de7589ef3fb12b7fd901cef25ae5535d" }
+miden-lib                 = { git = "https://github.com/0xPolygonMiden/miden-base", branch = "next" }
 miden-node-block-producer = { path = "crates/block-producer", version = "0.8" }
 miden-node-proto          = { path = "crates/proto", version = "0.8" }
 miden-node-rpc            = { path = "crates/rpc", version = "0.8" }
 miden-node-store          = { path = "crates/store", version = "0.8" }
 miden-node-test-macro     = { path = "crates/test-macro" }
 miden-node-utils          = { path = "crates/utils", version = "0.8" }
-miden-objects             = { git = "https://github.com/0xPolygonMiden/miden-base.git", rev = "e82dee03de7589ef3fb12b7fd901cef25ae5535d" }
+miden-objects             = { git = "https://github.com/0xPolygonMiden/miden-base", branch = "next" }
 miden-processor           = { version = "0.12" }
 miden-stdlib              = { version = "0.12", default-features = false }
-miden-tx                  = { git = "https://github.com/0xPolygonMiden/miden-base.git", rev = "e82dee03de7589ef3fb12b7fd901cef25ae5535d" }
-miden-tx-batch-prover     = { git = "https://github.com/0xPolygonMiden/miden-base.git", rev = "e82dee03de7589ef3fb12b7fd901cef25ae5535d" }
+miden-tx                  = { git = "https://github.com/0xPolygonMiden/miden-base", branch = "next" }
+miden-tx-batch-prover     = { git = "https://github.com/0xPolygonMiden/miden-base.git", branch = "next" }
 prost                     = { version = "0.13" }
 rand                      = { version = "0.8" }
 thiserror                 = { version = "2.0", default-features = false }

crates/block-producer/src/test_utils/batch.rs

@@ -4,6 +4,7 @@ use miden_objects::{
     batch::{BatchAccountUpdate, BatchId, BatchNoteTree, ProvenBatch},
     block::BlockNumber,
     transaction::{InputNotes, ProvenTransaction},
+    Digest,
 };
 
 use crate::test_utils::MockProvenTxBuilder;
@@ -57,6 +58,8 @@ impl TransactionBatchConstructor for ProvenBatch {
 
         ProvenBatch::new(
             BatchId::from_transactions(txs.into_iter()),
+            Digest::default(),
+            BlockNumber::GENESIS,
             account_updates,
             InputNotes::new_unchecked(input_notes),
             BatchNoteTree::with_contiguous_leaves(

crates/block-producer/src/test_utils/block.rs

@@ -131,7 +131,7 @@ impl MockBlockBuilder {
     pub fn account_updates(mut self, updated_accounts: Vec<BlockAccountUpdate>) -> Self {
         for update in &updated_accounts {
             self.store_accounts
-                .insert(update.account_id().into(), update.new_state_hash().into());
+                .insert(update.account_id().into(), update.final_state_commitment().into());
         }
 
         self.updated_accounts = Some(updated_accounts);

crates/block-producer/src/test_utils/store.rs

@@ -199,7 +199,8 @@ impl MockStoreSuccess {
 
         // update accounts
         for update in block.updated_accounts() {
-            locked_accounts.insert(update.account_id().into(), update.new_state_hash().into());
+            locked_accounts
+                .insert(update.account_id().into(), update.final_state_commitment().into());
         }
         let header = block.header();
         debug_assert_eq!(locked_accounts.root(), header.account_root());

crates/store/src/db/sql/mod.rs

@@ -422,10 +422,10 @@ pub fn upsert_accounts(
             AccountUpdateDetails::New(account) => {
                 debug_assert_eq!(account_id, account.id());
 
-                if account.hash() != update.new_state_hash() {
+                if account.hash() != update.final_state_commitment() {
                     return Err(DatabaseError::AccountHashesMismatch {
                         calculated: account.hash(),
-                        expected: update.new_state_hash(),
+                        expected: update.final_state_commitment(),
                     });
                 }
 
@@ -439,16 +439,20 @@ pub fn upsert_accounts(
                     return Err(DatabaseError::AccountNotFoundInDb(account_id));
                 };
 
-                let account =
-                    apply_delta(account_id, &row.get_ref(0)?, delta, &update.new_state_hash())?;
+                let account = apply_delta(
+                    account_id,
+                    &row.get_ref(0)?,
+                    delta,
+                    &update.final_state_commitment(),
+                )?;
 
                 (Some(Cow::Owned(account)), Some(Cow::Borrowed(delta)))
             },
         };
 
         let inserted = upsert_stmt.execute(params![
             account_id.to_bytes(),
-            update.new_state_hash().to_bytes(),
+            update.final_state_commitment().to_bytes(),
             block_num.as_u32(),
             full_account.as_ref().map(|account| account.to_bytes()),
         ])?;

crates/store/src/genesis.rs

@@ -48,7 +48,7 @@ impl GenesisState {
 
         let account_smt: SimpleSmt<ACCOUNT_TREE_DEPTH> =
             SimpleSmt::with_leaves(accounts.iter().map(|update| {
-                (update.account_id().prefix().into(), update.new_state_hash().into())
+                (update.account_id().prefix().into(), update.final_state_commitment().into())
             }))?;
 
         let header = BlockHeader::new(

crates/store/src/state.rs

@@ -264,7 +264,7 @@ impl State {
                 block.updated_accounts().iter().map(|update| {
                     (
                         LeafIndex::new_max_depth(update.account_id().prefix().into()),
-                        update.new_state_hash().into(),
+                        update.final_state_commitment().into(),
                     )
                 }),
             );