0xMiden · greenhat · Dec 5, 2025 · Dec 5, 2025 · Dec 5, 2025 · Dec 5, 2025
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -5,6 +5,7 @@ members = [
     "codegen/*",
     "dialects/*",
     "eval",
+    "felt-repr/*",
     "frontend/*",
     "hir",
     "hir-analysis",

diff --git a/examples/auth-component-no-auth/Cargo.lock b/examples/auth-component-no-auth/Cargo.lock
diff --git a/examples/auth-component-rpo-falcon512/Cargo.lock b/examples/auth-component-rpo-falcon512/Cargo.lock
diff --git a/examples/basic-wallet-tx-script/Cargo.lock b/examples/basic-wallet-tx-script/Cargo.lock
diff --git a/examples/basic-wallet/Cargo.lock b/examples/basic-wallet/Cargo.lock
diff --git a/examples/counter-contract/Cargo.lock b/examples/counter-contract/Cargo.lock
diff --git a/examples/counter-note/Cargo.lock b/examples/counter-note/Cargo.lock
diff --git a/examples/p2id-note/Cargo.lock b/examples/p2id-note/Cargo.lock
diff --git a/examples/p2id-note/Cargo.toml b/examples/p2id-note/Cargo.toml
@@ -14,6 +14,7 @@ crate-type = ["cdylib"]
 # Miden SDK consists of a stdlib (intrinsic functions for VM ops, stdlib functions and types)
 # and transaction kernel API for the Miden rollup
 miden = { path = "../../sdk/sdk" }
+miden-felt-repr-onchain = { path = "../../felt-repr/onchain" }
 
 [package.metadata.component]
 package = "miden:p2id"

diff --git a/examples/p2id-note/src/lib.rs b/examples/p2id-note/src/lib.rs
@@ -1,25 +1,17 @@
 // Do not link against libstd (i.e. anything defined in `std::`)
 #![no_std]
 
-// However, we could still use some standard library types while
-// remaining no-std compatible, if we uncommented the following lines:
-//
-// extern crate alloc;
-// use alloc::vec::Vec;
-
 use miden::*;
 
 use crate::bindings::Account;
 
 #[note_script]
 fn run(_arg: Word, account: &mut Account) {
     let inputs = active_note::get_inputs();
-    let target_account_id_prefix = inputs[0];
-    let target_account_id_suffix = inputs[1];
+    let target_account_id: AccountId = inputs.as_slice().into();
 
-    let target_account = AccountId::from(target_account_id_prefix, target_account_id_suffix);
     let current_account = account.get_id();
-    assert_eq!(current_account, target_account);
+    assert_eq!(current_account, target_account_id);
 
     let assets = active_note::get_assets();
     for asset in assets {

diff --git a/examples/p2ide-note/Cargo.lock b/examples/p2ide-note/Cargo.lock