Refactored account update details

CHANGELOG.md

@@ -3,6 +3,7 @@
 ## 0.3.0 (TBD)
 
 * [BREAKING] Removed the transaction script root output from the transaction kernel (#608).
+* [BREAKING] Refactored account update details (#618).
 
 ## 0.2.1 (2024-04-12)
 
@@ -19,7 +20,8 @@
 * Improved `ProvenTransaction` serialization (#543).
 * Implemented note tree wrapper structs (#560).
 * [BREAKING] Migrated to v0.9 version of Miden VM (#567).
-* [BREAKING] Added account storage type parameter to `create_basic_wallet` and `create_basic_fungible_faucet` (miden-lib crate only) (#587).
+* [BREAKING] Added account storage type parameter to `create_basic_wallet` and `create_basic_fungible_faucet` (miden-lib
+  crate only) (#587).
 * Removed serialization of source locations from account code (#590).
 
 ## 0.1.1 (2024-03-07) - `miden-objects` crate only

miden-tx/src/prover/mod.rs

@@ -2,7 +2,8 @@ use miden_lib::transaction::{ToTransactionKernelInputs, TransactionKernel};
 use miden_objects::{
     notes::Nullifier,
     transaction::{
-        AccountDetails, InputNotes, ProvenTransaction, ProvenTransactionBuilder, TransactionWitness,
+        AccountUpdateDetails, InputNotes, ProvenTransaction, ProvenTransactionBuilder,
+        TransactionWitness,
     },
 };
 use miden_prover::prove;
@@ -81,12 +82,12 @@ impl TransactionProver {
                         .apply_delta(&account_delta)
                         .map_err(TransactionProverError::InvalidAccountDelta)?;
 
-                    AccountDetails::Full(account)
+                    AccountUpdateDetails::New(account)
                 } else {
-                    AccountDetails::Delta(account_delta)
+                    AccountUpdateDetails::Delta(account_delta)
                 };
 
-                builder.account_details(account_details)
+                builder.account_update_details(account_details)
             },
             false => builder,
         };

miden-tx/src/verifier/mod.rs

@@ -34,12 +34,12 @@ impl TransactionVerifier {
         // build stack inputs and outputs
         let stack_inputs = TransactionKernel::build_input_stack(
             transaction.account_id(),
-            transaction.initial_account_hash(),
+            transaction.account_update().init_hash(),
             transaction.input_notes().commitment(),
             transaction.block_ref(),
         );
         let stack_outputs = TransactionKernel::build_output_stack(
-            transaction.final_account_hash(),
+            transaction.account_update().final_hash(),
             transaction.output_notes().commitment(),
         );
 

objects/src/transaction/mod.rs

@@ -20,7 +20,9 @@ pub use executed_tx::ExecutedTransaction;
 pub use inputs::{InputNote, InputNotes, ToNullifier, TransactionInputs};
 pub use outputs::{OutputNote, OutputNotes, TransactionOutputs};
 pub use prepared_tx::PreparedTransaction;
-pub use proven_tx::{AccountDetails, ProvenTransaction, ProvenTransactionBuilder};
+pub use proven_tx::{
+    AccountUpdate, AccountUpdateDetails, ProvenTransaction, ProvenTransactionBuilder,
+};
 pub use transaction_id::TransactionId;
 pub use tx_args::{TransactionArgs, TransactionScript};
 pub use tx_witness::TransactionWitness;