Merge branch 'main' into next

CHANGELOG.md

@@ -6,6 +6,14 @@
 
 - [BREAKING] Incremented minimum supported Rust version to 1.84.
 
+## 0.7.1 (2025-01-24) - `miden-objects` crate only
+
+### Fixes
+
+- Added missing doc comments (#1100).
+- Fixed setting of supporting types when instantiating `AccountComponent` from templates (#1103).
+
+
 ## 0.7.0 (2025-01-22)
 
 ### Highlights

crates/miden-objects/src/account/account_id/account_type.rs

@@ -13,6 +13,7 @@ pub(super) const NON_FUNGIBLE_FAUCET: u8 = 0b11;
 pub(super) const REGULAR_ACCOUNT_IMMUTABLE_CODE: u8 = 0b00;
 pub(super) const REGULAR_ACCOUNT_UPDATABLE_CODE: u8 = 0b01;
 
+/// Represents the different account types recognized by the protocol.
 #[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord)]
 #[repr(u8)]
 pub enum AccountType {

crates/miden-objects/src/account/account_id/storage_mode.rs

@@ -9,10 +9,13 @@ use crate::errors::AccountIdError;
 pub(super) const PUBLIC: u8 = 0b00;
 pub(super) const PRIVATE: u8 = 0b10;
 
+/// Describes where the state of the account is stored.
 #[derive(Debug, Clone, Copy, PartialEq, Eq)]
 #[repr(u8)]
 pub enum AccountStorageMode {
+    /// The account's full state is stored on-chain.
     Public = PUBLIC,
+    /// The account's state is stored off-chain, and only a commitment to it is stored on-chain.
     Private = PRIVATE,
 }
 

crates/miden-objects/src/account/component/mod.rs

@@ -113,7 +113,8 @@ impl AccountComponent {
             storage_slots.extend(entry_storage_slots);
         }
 
-        AccountComponent::new(template.library().clone(), storage_slots)
+        Ok(AccountComponent::new(template.library().clone(), storage_slots)?
+            .with_supported_types(template.metadata().targets().clone()))
     }
 
     // ACCESSORS

crates/miden-objects/src/account/component/template/storage/mod.rs

@@ -462,7 +462,7 @@ mod tests {
             name = "Test Component"
             description = "This is a test component"
             version = "1.0.1"
-            targets = ["FungibleFaucet"]
+            targets = ["FungibleFaucet", "RegularAccountImmutableCode"]
 
             [[storage]]
             name = "map"
@@ -536,6 +536,13 @@ mod tests {
 
         let component = AccountComponent::from_template(&template, &storage_placeholders).unwrap();
 
+        assert_eq!(
+            component.supported_types(),
+            &[AccountType::FungibleFaucet, AccountType::RegularAccountImmutableCode]
+                .into_iter()
+                .collect()
+        );
+
         let storage_map = component.storage_slots.first().unwrap();
         match storage_map {
             StorageSlot::Map(storage_map) => assert_eq!(storage_map.entries().count(), 3),

crates/miden-objects/src/account/delta/mod.rs

@@ -96,6 +96,8 @@ impl AccountDelta {
     }
 }
 
+/// Describes the details of an account state transition resulting from applying a transaction to
+/// the account.
 #[derive(Clone, Debug, PartialEq, Eq)]
 pub enum AccountUpdateDetails {
     /// Account is private (no on-chain state change).

crates/miden-objects/src/account/storage/slot/mod.rs

@@ -12,7 +12,12 @@ pub use r#type::StorageSlotType;
 // STORAGE SLOT
 // ================================================================================================
 
-/// An object that represents the type of a storage slot.
+/// An object representing the contents of an account's storage slot.
+///
+/// An account storage slot can be of two types:
+/// - A simple value which contains a single word (4 field elements or ~32 bytes).
+/// - A key value map where both keys and values are words. The capacity of such storage slot is
+///   theoretically unlimited.
 #[derive(Debug, Clone, PartialEq, Eq)]
 pub enum StorageSlot {
     Value(Word),