feat: remove offset and size from AccountProcedureInfo

CHANGELOG.md

@@ -8,16 +8,7 @@
 
 ### Changes
 
-- [BREAKING] Make `AccountProcedureIndexMap` construction infallible ([#2163](https://github.com/0xMiden/miden-base/pull/2163)).
-- [BREAKING] Enforce minimum number of account procedures in tx kernel ([#2171](https://github.com/0xMiden/miden-base/pull/2171)).
-
-## 0.12.2 (unreleased)
 - Add proc-macro `WordWrapper` to ease implementation of `Word`-wrapping types ([#2071](https://github.com/0xMiden/miden-base/pull/2108)).
-- [BREAKING] Added fee to `TransactionHeader` ([#2131](https://github.com/0xMiden/miden-base/pull/2131)).
-Added the ability to get full public key from `TransactionAuthenticator` ([#2145](https://github.com/0xMiden/miden-base/pull/2145)).
-
-### Changes
-
 - [BREAKING] Increased `MAX_INPUTS_PER_NOTE` from 128 to 1024 ([#2139](https://github.com/0xMiden/miden-base/pull/2139)).
 - [BREAKING] Added `BlockBody` and `BlockProof` structs in preparation for validator signatures and deferred block proving ([#2012](https://github.com/0xMiden/miden-base/pull/2012)).
 - [BREAKING] Renamed `TransactionEvent` into `TransactionEventId` and split event handling into data extraction and handling logic ([#2071](https://github.com/0xMiden/miden-base/pull/2071)).
@@ -26,7 +17,10 @@ Added the ability to get full public key from `TransactionAuthenticator` ([#2145
 - [BREAKING] Updated MINT note to support both private and public output note creation ([#2123](https://github.com/0xMiden/miden-base/pull/2123)).
 - [BREAKING] Removed `AccountComponentTemplate` in favor of instantiating components via `AccountComponent::from_package` ([#2127](https://github.com/0xMiden/miden-base/pull/2127)).
 - [BREAKING] Add public key to, remove proof commitment from, `BlockHeader`, and add signing functionality through `BlockSigner` trait ([#2128](https://github.com/0xMiden/miden-base/pull/2128)).
-- [BREAKING] Renamed `ScriptBuilder` into `CodeBuilder` and added the ability to build component code ([#2142](https://github.com/0xMiden/miden-base/pull/2142)).
+- [BREAKING] Added fee to `TransactionHeader` ([#2131](https://github.com/0xMiden/miden-base/pull/2131)).
+Added the ability to get full public key from `TransactionAuthenticator` ([#2145](https://github.com/0xMiden/miden-base/pull/2145)).
+- [BREAKING] Make `AccountProcedureIndexMap` construction infallible ([#2163](https://github.com/0xMiden/miden-base/pull/2163)).
+- [BREAKING] Rename `AccountProcedureInfo` into `AccountProcedureRoot` and remove storage offset and size ([#2162](https://github.com/0xMiden/miden-base/pull/2162)).
 
 ## 0.12.4 (2025-11-26)
 

crates/miden-lib/asm/kernels/transaction/api.masm

@@ -59,10 +59,6 @@ proc.authenticate_account_origin
 
     # assert that the caller is from the user context
     exec.account::authenticate_and_track_procedure
-    # => [storage_offset, storage_size]
-
-    # TODO(named_slots): Remove storage offset and size from procedure info.
-    drop drop
     # => []
 end
 
@@ -735,14 +731,12 @@ end
 #!
 #! Invocation: dynexec
 export.account_get_procedure_root
-    # get the procedure information
-    exec.account::get_procedure_info
-    # => [PROC_ROOT, storage_offset, storage_size, pad(15)]
-
-    swapw dropw
-    # => [PROC_ROOT, pad(13)]
+    # get the procedure root
+    exec.account::get_procedure_root
+    # => [PROC_ROOT, pad(15)]
 
-    movup.4 drop
+    # truncate the stack
+    movup.4 drop movup.4 drop movup.4 drop
     # => [PROC_ROOT, pad(12)]
 end
 
@@ -1446,8 +1440,7 @@ end
 #! - STORAGE_SLOT_DATA is the data contained in the storage slot which is constructed as follows:
 #!   [SLOT_VALUE, slot_type, 0, 0, 0].
 #! - CODE_COMMITMENT is the commitment of the foreign account's code.
-#! - ACCOUNT_PROCEDURE_DATA is the information about account procedure which is constructed as
-#!   follows: [PROCEDURE_MAST_ROOT, storage_offset, 0, 0, 0].
+#! - ACCOUNT_PROCEDURE_DATA are the roots of the public procedures of the foreign account.
 #!
 #! Panics if:
 #! - foreign context is created against the native account.