feat: NetworkAccountTarget helpers in miden::standards (#2338)

* feat: get_id network acc target util

* chore: rename target_account_id -> account_id

* feat: add new_attachment helper

* chore: tests for network account target util

* chore: add a roundtrip test

* Apply suggestions from code review

Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>

* chore: make const public

* chore: add panics & warnings docs

* chore: rename new_attachment -> new

* chore: "new" returns scheme and kind

* feat: extract_attachment_info_from_metadata in note.masm

* chore: use extract_attachment_info_from_metadata

* feat: verify attachment kind also

* feat: change get_id to only take necessary inputs

instead of the whole METADATA word, pass only scheme and kind

* lint

* changelog

* chore: rename attachment -> attachments (plural)

* chore: move tests under miden-testing

move under miden-testing/src/standards

* chore: change stack comparison to word

* chore: use doc comments

* chore: remove tokio dep from miden-testing

---------

Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>

Author: mmagician

CHANGELOG.md

@@ -1,5 +1,24 @@
 # Changelog
 
+## 0.14.0 (TBD)
+
+### Features
+
+- Enable `CodeBuilder` to add advice map entries to compiled scripts ([#2275](https://github.com/0xMiden/miden-base/pull/2275)).
+- Added `BlockNumber::MAX` constant to represent the maximum block number ([#2324](https://github.com/0xMiden/miden-base/pull/2324)).
+
+### Changes
+
+- [BREAKING] Renamed `WellKnownComponent` to `StandardAccountComponent`, `WellKnownNote` to `StandardNote`, and `WellKnownNoteAttachment` to `StandardNoteAttachment` ([#2332](https://github.com/0xMiden/miden-base/pull/2332)).
+- Skip requests to the `DataStore` for asset vault witnesses which are already in transaction inputs ([#2298](https://github.com/0xMiden/miden-base/pull/2298)).
+- [BREAKING] refactored `TransactionAuthenticator::get_public_key()` method to return `Arc<PublicKey> `instead of `&PublicKey` ([#2304](https://github.com/0xMiden/miden-base/pull/2304)).
+- [BREAKING] Renamed `NoteInputs` to `NoteStorage` to better reflect that values are stored data associated with a note rather than inputs ([#1662](https://github.com/0xMiden/miden-base/issues/1662), [#2316](https://github.com/0xMiden/miden-base/issues/2316)).
+- Removed `NoteType::Encrypted` ([#2315](https://github.com/0xMiden/miden-base/pull/2315)).
+
+# 0.13.3 (TBD)
+
+- Added standards for working with `NetworkAccountTarget` attachments ([#2338](https://github.com/0xMiden/miden-base/pull/2338)).
+
 ## 0.13.2 (2026-01-21)
 
 - Make transaction executor respect debug mode settings ([#2327](https://github.com/0xMiden/miden-base/pull/2327)).

crates/miden-protocol/asm/protocol/note.masm

@@ -216,6 +216,29 @@ pub proc extract_sender_from_metadata
     # => [sender_id_prefix, sender_id_suffix]
 end
 
+#! Extracts the attachment kind and scheme from the provided metadata header.
+#!
+#! Inputs:  [METADATA_HEADER]
+#! Outputs: [attachment_kind, attachment_scheme]
+#!
+#! Where:
+#! - METADATA_HEADER is the metadata of a note.
+#! - attachment_kind is the attachment kind of the note.
+#! - attachment_scheme is the attachment scheme of the note.
+#!
+#! Invocation: exec
+pub proc extract_attachment_info_from_metadata
+    # => [attachment_kind_scheme, METADATA_HEADER[1..4]]
+    movdn.3 drop drop drop
+    # => [attachment_kind_scheme]
+
+    # deconstruct the attachment_kind_scheme to extract the attachment_scheme
+    # attachment_kind_scheme = [30 zero bits | attachment_kind (2 bits) | attachment_scheme (32 bits)]
+    # u32split splits into [high, low] where low is attachment_scheme
+    u32split
+    # => [attachment_kind, attachment_scheme]
+end
+
 #! Computes the tag for a network note for a given network account such that it is
 #! picked up by the network transaction builder.
 #!

crates/miden-standards/asm/standards/attachments/network_account_target.masm

@@ -0,0 +1,72 @@
+#! miden::standards::attachments::network_account_target
+#!
+#! Provides a standardized way to work with network account targets.
+
+use miden::protocol::active_note
+use miden::protocol::note
+
+# CONSTANTS
+# ================================================================================================
+
+#! The attachment scheme for NetworkAccountTarget attachments.
+#! This is a valid u32 that can be compared against an extracted attachment scheme.
+pub const NETWORK_ACCOUNT_TARGET_ATTACHMENT_SCHEME = 1
+
+#! The attachment kind for NetworkAccountTarget attachments (Word = 1).
+#! This is a valid u32 that can be compared against an extracted attachment kind.
+pub const NETWORK_ACCOUNT_TARGET_ATTACHMENT_KIND = 1
+
+# ERRORS
+# ================================================================================================
+const ERR_ATTACHMENT_SCHEME_MISMATCH = "expected network account target attachment scheme"
+const ERR_ATTACHMENT_KIND_MISMATCH = "expected attachment kind to be Word for network account target"
+
+#! Returns the account ID encoded in the attachment.
+#!
+#! The attachment is expected to have the following layout:
+#! [0, exec_hint_tag, account_id_prefix, account_id_suffix]
+#!
+#! WARNING: This procedure does not validate that the returned account ID is well-formed.
+#! The caller should validate the account ID if needed using `account_id::validate`.
+#!
+#! Inputs:  [attachment_scheme, attachment_kind, NOTE_ATTACHMENT]
+#! Outputs: [account_id_prefix, account_id_suffix]
+#!
+#! Where:
+#! - account_id_{prefix,suffix} are the prefix and suffix felts of an account ID.
+#!
+#! Panics if:
+#! - the attachment scheme does not match NETWORK_ACCOUNT_TARGET_ATTACHMENT_SCHEME.
+#!
+#! Invocation: exec
+pub proc get_id
+    # verify that the attachment scheme and kind are correct
+    # => [attachment_scheme, attachment_kind, NOTE_ATTACHMENT]
+    eq.NETWORK_ACCOUNT_TARGET_ATTACHMENT_SCHEME assert.err=ERR_ATTACHMENT_SCHEME_MISMATCH
+    eq.NETWORK_ACCOUNT_TARGET_ATTACHMENT_KIND assert.err=ERR_ATTACHMENT_KIND_MISMATCH
+    # => [NOTE_ATTACHMENT] = [0, exec_hint_tag, account_id_prefix, account_id_suffix]
+
+    drop drop
+    # => [account_id_prefix, account_id_suffix]
+end
+
+#! Creates a new attachment of type NetworkAccountTarget with the following layout:
+#! [0, exec_hint_tag, account_id_prefix, account_id_suffix]
+#!
+#! Inputs:  [account_id_prefix, account_id_suffix, exec_hint]
+#! Outputs: [attachment_scheme, attachment_kind, NOTE_ATTACHMENT]
+#!
+#! Where:
+#! - account_id_{prefix,suffix} are the prefix and suffix felts of an account ID.
+#! - exec_hint is the execution hint for the note.
+#! - attachment_kind is the attachment kind (Word = 1) for use with `output_note::set_attachment`.
+#! - attachment_scheme is the attachment scheme (1) for use with `output_note::set_attachment`.
+#!
+#! Invocation: exec
+pub proc new
+    movup.2
+    push.0
+    push.NETWORK_ACCOUNT_TARGET_ATTACHMENT_KIND
+    push.NETWORK_ACCOUNT_TARGET_ATTACHMENT_SCHEME
+    # => [attachment_scheme, attachment_kind, ATTACHMENT]
+end

crates/miden-standards/src/errors/standards.rs

@@ -9,6 +9,11 @@ use miden_protocol::errors::MasmError;
 // STANDARDS ERRORS
 // ================================================================================================
 
+/// Error Message: "expected attachment kind to be Word for network account target"
+pub const ERR_ATTACHMENT_KIND_MISMATCH: MasmError = MasmError::from_static_str("expected attachment kind to be Word for network account target");
+/// Error Message: "expected network account target attachment scheme"
+pub const ERR_ATTACHMENT_SCHEME_MISMATCH: MasmError = MasmError::from_static_str("expected network account target attachment scheme");
+
 /// Error Message: "burn requires exactly 1 note asset"
 pub const ERR_BASIC_FUNGIBLE_BURN_WRONG_NUMBER_OF_ASSETS: MasmError = MasmError::from_static_str("burn requires exactly 1 note asset");
 

crates/miden-testing/src/executor.rs

@@ -88,12 +88,20 @@ impl<H: AsyncHost> CodeExecutor<H> {
 #[cfg(test)]
 impl CodeExecutor<DefaultHost> {
     pub fn with_default_host() -> Self {
+        use miden_protocol::ProtocolLib;
         use miden_protocol::transaction::TransactionKernel;
+        use miden_standards::StandardsLib;
 
         let mut host = DefaultHost::default();
 
-        let test_lib = TransactionKernel::library();
-        host.load_library(test_lib.mast_forest()).unwrap();
+        let standards_lib = StandardsLib::default();
+        host.load_library(standards_lib.mast_forest()).unwrap();
+
+        let protocol_lib = ProtocolLib::default();
+        host.load_library(protocol_lib.mast_forest()).unwrap();
+
+        let kernel_lib = TransactionKernel::library();
+        host.load_library(kernel_lib.mast_forest()).unwrap();
 
         CodeExecutor::new(host)
     }

crates/miden-testing/src/lib.rs

@@ -27,3 +27,6 @@ pub mod utils;
 
 #[cfg(test)]
 mod kernel_tests;
+
+#[cfg(test)]
+mod standards;

crates/miden-testing/src/standards/mod.rs

@@ -0,0 +1 @@
+mod network_account_target;

crates/miden-testing/src/standards/network_account_target.rs

@@ -0,0 +1,130 @@
+//! Tests for the `miden::standards::attachments::network_account_target` module.
+
+use miden_protocol::Felt;
+use miden_protocol::account::AccountStorageMode;
+use miden_protocol::note::{NoteAttachment, NoteExecutionHint, NoteMetadata, NoteTag, NoteType};
+use miden_protocol::testing::account_id::AccountIdBuilder;
+use miden_standards::note::NetworkAccountTarget;
+
+use crate::executor::CodeExecutor;
+
+#[tokio::test]
+async fn network_account_target_get_id() -> anyhow::Result<()> {
+    let target_id = AccountIdBuilder::new()
+        .storage_mode(AccountStorageMode::Network)
+        .build_with_rng(&mut rand::rng());
+    let exec_hint = NoteExecutionHint::Always;
+
+    let attachment = NoteAttachment::from(NetworkAccountTarget::new(target_id, exec_hint)?);
+    let metadata =
+        NoteMetadata::new(target_id, NoteType::Public, NoteTag::with_account_target(target_id))
+            .with_attachment(attachment.clone());
+    let metadata_header = metadata.to_header_word();
+
+    let source = format!(
+        r#"
+        use miden::standards::attachments::network_account_target
+        use miden::protocol::note
+
+        begin
+            push.{attachment_word}
+            push.{metadata_header}
+            exec.note::extract_attachment_info_from_metadata
+            # => [attachment_kind, attachment_scheme, NOTE_ATTACHMENT]
+            exec.network_account_target::get_id
+            # cleanup stack
+            movup.2 drop movup.2 drop
+        end
+        "#,
+        metadata_header = metadata_header,
+        attachment_word = attachment.content().to_word(),
+    );
+
+    let exec_output = CodeExecutor::with_default_host().run(&source).await?;
+
+    assert_eq!(exec_output.stack[0], target_id.prefix().as_felt());
+    assert_eq!(exec_output.stack[1], target_id.suffix());
+
+    Ok(())
+}
+
+#[tokio::test]
+async fn network_account_target_new_attachment() -> anyhow::Result<()> {
+    let target_id = AccountIdBuilder::new()
+        .storage_mode(AccountStorageMode::Network)
+        .build_with_rng(&mut rand::rng());
+    let exec_hint = NoteExecutionHint::Always;
+
+    let attachment = NoteAttachment::from(NetworkAccountTarget::new(target_id, exec_hint)?);
+    let attachment_word = attachment.content().to_word();
+    let expected_attachment_kind = Felt::from(attachment.attachment_kind().as_u8());
+
+    let source = format!(
+        r#"
+        use miden::standards::attachments::network_account_target
+
+        begin
+            push.{exec_hint}
+            push.{target_id_suffix}
+            push.{target_id_prefix}
+            # => [target_id_prefix, target_id_suffix, exec_hint]
+            exec.network_account_target::new
+            # => [attachment_scheme, attachment_kind, ATTACHMENT, pad(16)]
+
+            # cleanup stack
+            swapdw dropw dropw
+        end
+        "#,
+        target_id_prefix = target_id.prefix().as_felt(),
+        target_id_suffix = target_id.suffix(),
+        exec_hint = Felt::from(exec_hint),
+    );
+
+    let exec_output = CodeExecutor::with_default_host().run(&source).await?;
+
+    assert_eq!(exec_output.stack[0], expected_attachment_kind);
+    assert_eq!(
+        exec_output.stack[1],
+        Felt::from(NetworkAccountTarget::ATTACHMENT_SCHEME.as_u32())
+    );
+
+    assert_eq!(exec_output.stack.get_stack_word_be(2).unwrap(), attachment_word);
+
+    Ok(())
+}
+
+#[tokio::test]
+async fn network_account_target_attachment_round_trip() -> anyhow::Result<()> {
+    let target_id = AccountIdBuilder::new()
+        .storage_mode(AccountStorageMode::Network)
+        .build_with_rng(&mut rand::rng());
+    let exec_hint = NoteExecutionHint::Always;
+
+    let source = format!(
+        r#"
+        use miden::standards::attachments::network_account_target
+
+        begin
+            push.{exec_hint}
+            push.{target_id_suffix}
+            push.{target_id_prefix}
+            # => [target_id_prefix, target_id_suffix, exec_hint]
+            exec.network_account_target::new
+            # => [attachment_scheme, attachment_kind, ATTACHMENT]
+            exec.network_account_target::get_id
+            # => [target_id_prefix, target_id_suffix]
+            movup.2 drop movup.2 drop
+        end
+        "#,
+        target_id_prefix = target_id.prefix().as_felt(),
+        target_id_suffix = target_id.suffix(),
+        exec_hint = Felt::from(exec_hint),
+    );
+
+    let exec_output = CodeExecutor::with_default_host().run(&source).await?;
+
+    assert_eq!(exec_output.stack[0], target_id.prefix().as_felt());
+    assert_eq!(exec_output.stack[1], target_id.suffix());
+
+    Ok(())
+}