feat: Single-word Array abstraction

[mmagician]

We eventually want to have double-word arrays & double-word queues. Once we agreed on the structure and where the files live, it's going to be trivial to extend to double-word array. A queue will require an extra storage slot to hold the metadata, though.

Features:

• add a simple wrapper over storage map, s.t. the map keys are [index, 0, 0, 0]
• export procedures set(slot_id_prefix: felt, slot_id_suffix: felt, index: Felt, VALUE: Word) -> OLD_VALUE: Word & get(slot_id_prefix: felt, slot_id_suffix: felt, index: Felt) -> VALUE: Word
• tests that show how other account components have an easy interface for operating on the array

Usage:

use miden::core::word
use miden::standards::data_structures::array

const ARRAY_SLOT = word("test::array::data")

#! Wrapper for array::get that uses exec internally.
#! Inputs:  [index, pad(15)]
#! Outputs: [VALUE, pad(12)]
pub proc test_get
    push.ARRAY_SLOT[0..2]
    exec.array::get
end

#! Wrapper for array::set that uses exec internally.
#! Inputs:  [index, VALUE, pad(11)]
#! Outputs: [OLD_VALUE, pad(12)]
pub proc test_set
    push.ARRAY_SLOT[0..2]
    exec.array::set
end

let data_slot = StorageSlotName::new("test::array::data").unwrap();

// Create the wrapper account component
let wrapper_component = AccountComponent::new(
    wrapper_library.clone(),
    vec![StorageSlot::with_map(
        data_slot.clone(),
        StorageMap::with_entries([(
            Word::from([Felt::ZERO, Felt::ZERO, Felt::ZERO, Felt::ZERO]),
            Word::from([42u32, 42, 42, 42]),
        )])?,
    )],
)?
.with_supports_all_types();

[mmagician]

@copilot add change log entry for this PR 2203

[Copilot]

@mmagician I've opened a new pull request, #2204, to work on those changes. Once the pull request is ready, I'll request review from you.

[Copilot]

Pull request overview

This PR introduces a single-word Array account component that provides a simple, reusable array data structure for Miden accounts. The implementation wraps a StorageMap where array indices are mapped to keys of the form [index, 0, 0, 0].

Key changes:

• Added Array struct with methods for creating arrays with initial elements or from slices
• Implemented MASM procedures (get and set) for array access with configurable storage slots
• Added comprehensive unit tests and integration tests demonstrating the component's usage

Reviewed changes

Copilot reviewed 6 out of 6 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
crates/miden-standards/src/account/array.rs	Core implementation of the Array component with constructors, MASM generation, and conversion to AccountComponent
crates/miden-standards/asm/account_components/array.masm	MASM template defining get and set procedures for array operations
crates/miden-standards/src/account/mod.rs	Adds array module to the account components public API
crates/miden-testing/src/kernel_tests/tx/test_array.rs	Integration test verifying get/set operations work correctly in transaction context
crates/miden-testing/src/kernel_tests/tx/mod.rs	Includes the new test module
CHANGELOG.md	Documents the addition of the Array component

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

Pull request overview

Copilot reviewed 6 out of 6 changed files in this pull request and generated 2 comments.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[partylikeits1983]

Looks great! This is a great feature!

When reviewing the implementation, it reminded me of this issue for KEY => vec![] issue I opened: #2085

[Fumuran]

Looks good! Aside from the decision of whether we need to make this component a utility, I have just a small style nit inline.

[Copilot]

Pull request overview

Copilot reviewed 4 out of 4 changed files in this pull request and generated 7 comments.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[PhilippGackstatter]

Looks good to me! Sorry for the late review, it slipped through my notifications.