feat: introduce TransactionResult

miden-tx/src/executor/mod.rs

@@ -1,5 +1,5 @@
 use super::{
-    AccountCode, AccountId, DataStore, Digest, NoteOrigin, NoteScript, NoteTarget,
+    AccountCode, AccountId, DataStore, Digest, ModuleAst, NoteOrigin, NoteScript, NoteTarget,
     PreparedTransaction, ProgramAst, RecAdviceProvider, TransactionComplier,
     TransactionExecutorError, TransactionResult,
 };

miden-tx/src/prover/mod.rs

@@ -0,0 +1 @@
+

objects/src/accounts/account_id.rs

@@ -26,7 +26,7 @@ pub enum AccountType {
 ///  - 0 - full account data is stored on-chain.
 ///  - 1 - only the account hash is stored on-chain which serves as a commitment to the account state.
 /// As such the three most significant bits fully describes the type of the account.
-#[derive(Debug, Copy, Clone, Eq, PartialEq)]
+#[derive(Debug, Default, Copy, Clone, Eq, PartialEq)]
 pub struct AccountId(Felt);
 
 impl AccountId {

objects/src/accounts/code.rs

@@ -1,8 +1,8 @@
 use super::{
     AccountError, AccountId, Assembler, AssemblyContext, AssemblyContextType, Digest, LibraryPath,
-    Module, ModuleAst, Vec,
+    Module, ModuleAst, TryApplyDiff, Vec,
 };
-use crypto::merkle::SimpleSmt;
+use crypto::merkle::{SimpleSmt, StoreNode};
 
 // ACCOUNT CODE
 // ================================================================================================
@@ -118,3 +118,21 @@ impl AccountCode {
         self.procedures.binary_search_by(|x| x.as_bytes().cmp(&root_bytes)).ok()
     }
 }
+
+// DIFF
+// ================================================================================================
+impl TryApplyDiff<Digest, StoreNode> for AccountCode {
+    type DiffType = Option<ModuleAst>;
+    type Error = AccountError;
+
+    fn try_apply(&mut self, diff: Option<ModuleAst>) -> Result<(), Self::Error> {
+        if let Some(module) = diff {
+            // TODO: Consider introducing a TryApplyDiff variant that returns Result<(), Error>
+            let code = AccountCode::new(AccountId::default(), module, &Assembler::default())?;
+            self.module = code.module;
+            self.procedures = code.procedures;
+            self.procedure_tree = code.procedure_tree;
+        }
+        Ok(())
+    }
+}