CHANGELOG.md

Changelog

0.14.0 (TBD)

Features

• Added AggLayer faucet registry to bridge account with conversion metadata, CONFIG_AGG_BRIDGE note for faucet registration, and FPI-based asset conversion in bridge_out (#2426).
• Enable CodeBuilder to add advice map entries to compiled scripts (#2275).
• Added BlockNumber::MAX constant to represent the maximum block number (#2324).
• Added single-word Array standard (#2203).
• Added B2AGG and UPDATE_GER note attachment target checks (#2334).
• Added double-word array data structure abstraction over storage maps (#2299).
• Implemented verification of AggLayer deposits (claims) against GER (#2295, #2288).
• Added SignedBlock struct (#2355).
• Added PackageKind and ProcedureExport (#2358).
• Added AccountTargetNetworkNote type and NetworkNoteExt trait with is_network_note() / as_account_target_network_note() helpers (#2365).
• Changed GER storage to a map (#2388).
• Implemented assert_valid_ger procedure for verifying GER against storage (#2388).
• Added P2idNoteStorage and P2ideNoteStorage (#2389).
• [BREAKING] Added get_asset and get_initial_asset kernel procedures and removed get_balance, get_initial_balance and has_non_fungible_asset kernel procedures (#2369).
• Added p2id::new MASM constructor procedure for creating P2ID notes from MASM code (#2381).
• Introduced TokenMetadata type to encapsulate fungible faucet metadata (#2344).
• Increased TokenSymbol max allowed length from 6 to 12 uppercase characters (#2420).
• Added StandardNote::from_script_root() and StandardNote::name() methods, and exposed NoteType PUBLIC/PRIVATE masks as public constants (#2411).
• Resolve standard note scripts directly in TransactionExecutorHost instead of querying the data store (#2417).
• Added DEFAULT_TAG constant to miden::standards::note_tag MASM module (#2482).
• Added NoteExecutionHint variant constants (NONE, ALWAYS, AFTER_BLOCK, ON_BLOCK_SLOT) to miden::standards::note::execution_hint MASM module (#2493).

Changes

• [BREAKING] Migrated to miden-vm 0.21 and miden-crypto 0.22 (#2508).
• [BREAKING] The stack orientation changed from big-endian to little-endian - see PR description (#2508).
• [BREAKING] The native hash function changed from RPO256 to Poseidon2 - see PR description (#2508).
• Introduced StorageMapKey and StorageMapKeyHash Word wrappers for type-safe storage map key handling (#2431).
• Restructured miden-agglayer/asm directory to separate bridge and faucet into per-component libraries, preventing cross-component procedure exposure (#2294).
• Made kernel procedure offset constants public and replaced accessor procedures with direct constant usage (#2375).
• [BREAKING] Made AccountComponentMetadata a required parameter of AccountComponent::new(); removed with_supported_type, with_supports_all_types, and with_metadata methods from AccountComponent; simplified AccountComponentMetadata::new() to take just name; renamed AccountComponentTemplateError to ComponentMetadataError (#2373, #2395).
• Fixed MASM inline comment casing to adhere to commenting conventions (#2398).
• Removed redundant note storage item count from advice map (#2376).
• Moved NoteExecutionHint to miden-standards (#2378).
• Added miden::protocol::auth module with public auth event constants (#2377).
• Replaced auth event constant workarounds with direct imports now that miden-assembly v0.20.6 supports it (#2404).
• [BREAKING] Prefixed transaction kernel events with miden::protocol (#2364).
• [BREAKING] Simplified NoteMetadata::new() constructor to not require tag parameter; tag defaults to zero and can be set via with_tag() builder method (#2384).
• [BREAKING] Renamed WellKnownComponent to StandardAccountComponent, WellKnownNote to StandardNote, and WellKnownNoteAttachment to StandardNoteAttachment (#2332).
• Skip requests to the DataStore for asset vault witnesses which are already in transaction inputs (#2298).
• [BREAKING] Refactored TransactionAuthenticator::get_public_key() method to return Arc<PublicKey> instead of &PublicKey (#2304).
• [BREAKING] Renamed NoteInputs to NoteStorage to better reflect that values are stored data associated with a note rather than inputs (#1662, #2316).
• Removed NoteType::Encrypted (#2315).
• [BREAKING] Changed note scripts to be compiled as libraries with @note_script annotation for marking the entrypoint procedure (#2339, #2374).
• Remove protocol-reserved faucet sysdata storage slot (#2335).
• Updated note tag length to support up to 32 bits (#2329).
• [BREAKING] Updated note tag length to support up to 32 bits (#2329).
• [BREAKING] Moved standard note code into individual note modules (#2363).
• [BREAKING] Added miden::standards::note_tag module for account target note tags (#2366).
• [BREAKING] Refactored assets in the tx kernel and miden::protocol from one to two words, i.e. ASSET becomes ASSET_KEY and ASSET_VALUE (#2396, #2410).
• [BREAKING] Rename miden::protocol::asset::build_fungible_asset to miden::protocol::asset::create_fungible_asset (#2410).
• [BREAKING] Rename miden::protocol::asset::build_non_fungible_asset to miden::protocol::asset::create_non_fungible_asset (#2410).
• [BREAKING] Change the layout of fungible and non-fungible assets (#2437).
• [BREAKING] Refactored assets in the tx kernel from one to two words, i.e. ASSET becomes ASSET_KEY and ASSET_VALUE (#2396).
• Unified the underlying representation of ExitRoot and SmtNode and use type aliases (#2387).
• [BREAKING] Moved padding to the end of CLAIM NoteStorage layout (#2405).
• [BREAKING] Consolidated authentication components ([#2390] (0xMiden#2390))
• [BREAKING] Refactored account ID and nonce memory and advice stack layout (#2442).
• [BREAKING] Removed hash_account (#2442).
• [BREAKING] Renamed AccountHeader::commitment, Account::commitment and PartialAccount::commitment to to_commitment (#2442).
• [BREAKING] Remove BlockSigner trait (#2447).
• Updated account schema commitment construction to accept borrowed schema iterators; added extension trait to enable AccountBuilder::with_schema_commitment() helper (#2419).
• [BREAKING] Renamed SchemaTypeId to SchemaType (#2494).
• Updated stale miden-base references to protocol across docs, READMEs, code comments, and Cargo.toml repository URL (#2503).
• [BREAKING] Reverse the order of the transaction summary on the stack (#2512).
• Use @auth_script MASM attribute instead of auth_ prefix to identify authentication procedures in account components (#2534).

0.13.3 (2026-01-27)

• Fixed CLAIM note creation to use NetworkAccountTarget attachment (#2352).
• Added standards for working with NetworkAccountTarget attachments (#2338).
• Fixed PartialBlockchain::add_block() not adding block headers to the blocks map when track=true, which caused prune_to() to never untrack old blocks, leading to unbounded memory growth (#2353).

0.13.2 (2026-01-21)

• Make transaction executor respect debug mode settings (#2327).

0.13.1 (2026-01-20)

• Make NetworkAccountTargetError public (#2319).

0.13.0 (2026-01-16)

Features

• [BREAKING] Refactored storage slots to be accessed by names instead of indices (#1987, #2025, #2149, #2150, #2153, #2154, #2160, #2161, #2170).
• [BREAKING] Allowed account components to share identical account code procedures (#2164).
• Add AccountId::parse() helper function to parse both hex and bech32 formats (#2223).
• Add Keccak-based MMR frontier structure to the Agglayer library (#2245).
• Add read_foreign_account_inputs(), read_vault_asset_witnesses(), and read_storage_map_witness() for TransactionInputs (#2246).
• [BREAKING] Introduce NoteAttachment as part of NoteMetadata and remove aux and execution_hint (#2249, #2252, #2260, #2268, #2279).
• Introduce standard NetworkAccountTarget attachment for use in network transactions which replaces NoteTag::NetworkAccount (#2257).
• Add a foundry test suite for verifying AggLayer contracts compatibility (#2312).
• Added AccountSchemaCommitment component to expose account storage schema commitments (#2253).
• Added an AccountBuilder extension trait to help build the schema commitment; added AccountComponentMetadata to AccountComponent (#2269).
• Added miden::standards::access::ownable standard module for component ownership management, and integrated it into the network_fungible faucet (including new tests). (#2228).
• [BREAKING] Add leaf_value to CLAIM note inputs (#2290).

Changes

• Added proc-macro WordWrapper to ease implementation of Word-wrapping types (#2071).
• [BREAKING] Added BlockBody and BlockProof structs in preparation for validator signatures and deferred block proving (#2012).
• [BREAKING] Renamed TransactionEvent into TransactionEventId and split event handling into data extraction and handling logic (#2071).
• Split tx progress events out into a separate enum (#2103).
• Added note::get_network_account_tag procedure (#2120).
• [BREAKING] Updated MINT note to support both private and public output note creation (#2123).
• [BREAKING] Removed AccountComponentTemplate in favor of instantiating components via AccountComponent::from_package (#2127).
• [BREAKING] Added public key to, remove proof commitment from, BlockHeader, and add signing functionality through BlockSigner trait (#2128).
• [BREAKING] Added fee to TransactionHeader (#2131).
• Created NullifierLeafValue newtype wrapper (#2136).
• [BREAKING] Increased MAX_INPUTS_PER_NOTE from 128 to 1024 (#2139).
• Added the ability to get full public key from TransactionAuthenticator (#2145).
• Added TokenSymbol::from_static_str const function for compile-time token symbol validation (#2148).
• [BREAKING] Migrated to miden-vm v0.20 and miden-crypto v0.19 (#2158).
• [BREAKING] Renamed AccountProcedureInfo into AccountProcedureRoot and remove storage offset and size (#2162).
• [BREAKING] Made AccountProcedureIndexMap construction infallible (#2163).
• [BREAKING] Renamed tracked_procedure_roots_slot to trigger_procedure_roots_slot in ACL auth components for naming consistency (#2166).
• [BREAKING] Refactored miden-objects and miden-lib into miden-protocol and miden-standards (#2184, #2191, #2197, #2255).
• Added From<&ExecutedTransaction> for TransactionHeader implementation (#2178).
• [BREAKING] Refactored AccountStorageDelta to use a new StorageSlotDelta type (#2182).
• [BREAKING] Removed OLD_MAP_ROOT from being returned when calling native_account::set_map_item (#2194).
• [BREAKING] Refactored account component templates into StorageSchema (#2193).
• Added StorageSchema::commitment() (#2244).
• [BREAKING] Refactored account component templates into AccountStorageSchema (#2193).
• [BREAKING] Refactor note tags to be arbitrary u32 values and drop previous validation (#2219).
• [BREAKING] Refactored InitStorageData to support native types (#2230).
• Refactored to no longer pad the note inputs on insertion into advice map (#2232).
• Added StorageSchema::commitment() (#2244).
• [BREAKING] RpoFalcon512 was renamed to Falcon512Rpo everywhere, including procedure and file names (#2264).
• [BREAKING] Removed top-level error exports from miden-protocol crate (the are still accessible under miden_protocol::errors).

0.12.4 (2025-11-26)

• Added the standard library's precompile registry to TransactionVerifier (#2116).

0.12.3 (2025-11-15)

• Added ecdsa_k256_keccak::PublicKey as a valid template type (#2097).
• [BREAKING] Fix advice inputs in transaction inputs not being propagated through (#2099).
• Add S generic to NullifierTree to allow usage with LargeSmts (#1353).
• [BREAKING] Pre-fetch note and fee asset witnesses before transaction execution (#2113).

0.12.2 (2025-11-12)

• Added create_mint_note and create_burn_note helper functions for creating standardized MINT and BURN notes (#2061).
• [BREAKING] Fix ECDSA signature preparation in Signature::to_prepared_signature() method (#2074).
• Skip value slot normalization for new account's deltas (#2075).
• Skip value and map slot normalization for new account's deltas (#2075, #2077).
• Added AuthEcdsaK256Keccak and AuthEcdsaK256KeccakMultisig auth components (#2083).

0.12.1 (2025-11-06)

• Made InitStorageData::map_entries() public (#2055).
• Enabled handling of empty maps in account component templates (#2056).
• Changed auth components to increment nonce if it is zero (#2060).
• Fixed incorrect detection of note inputs length during note creation (#2066).

0.12.0 (2025-11-05)

Features

• Added prove_dummy APIs on LocalTransactionProver (#1674).
• Added update_signers_and_threshold procedure to update owner public keys and threshold config in multisig authentication component (#1707).
• Added add_signature helper to simplify loading signatures into advice map (#1725).
• Added build_recipient procedure to miden::note module (#1807).
• Added prove_dummy APIs on LocalBatchProver and LocalBlockProver (#1811).
• Added get_native_id and get_native_nonce procedures to the miden library (#1844).
• Enabled lazy loading of assets during transaction execution (#1848).
• Added lazy loading of the native asset (#1855).
• [BREAKING] Enabled lazy loading of storage map entries during transaction execution (#1857).
• [BREAKING] Enabled lazy loading of foreign accounts during transaction execution (#1873).
• [BREAKING] Move account seed into PartialAccount (#1875, #2003).
• Added get_initial_item and get_map_item_init procedures to miden::account module for accessing initial storage state (#1883).
• Updated rpo_falcon512::verify_signatures to use account::get_map_item_init (#1885).
• [BREAKING] Enabled lazy loading of assets and storage map items for foreign accounts during transaction execution (#1888).
• [BREAKING] Represent new accounts as account deltas (#1896).
• Implement SlotName for named storage slots (#1932)
• [BREAKING] Removed get_falcon_signature from miden-tx crate (#1924).
• Created a Signature wrapper to simplify the preparation of "native" signatures for use in the VM (#1924).
• Added per-procedure approval thresholds to AuthRpoFalcon512Multisig auth component (#1968).
• Implemented input_note::get_sender and active_note::get_metadata procedures in miden lib (#1933).
• Added Address serialization and deserialization (#1937).
• Added StorageMap::{num_entries, num_leaves} to retrieve the number of entries in a storage map (#1935).
• Added AssetVault::{num_assets, num_leaves, inner_nodes} (#1939).
• [BREAKING] Enabled computing the transaction ID from the data in a TransactionHeader (#1973).
• Added account::get_initial_balance procedure to miden lib (#1959).
• [BREAKING] Changed Account to PartialAccount conversion to generally track only minimal data (#1963).
• Added MastArtifact, PackageExport, PackageManifest, AttributeSet, QualifiedProcedureName, Section and SectionId to re-export section (#1984 and #2015).
• [BREAKING] Enable computing the transaction ID from the data in a TransactionHeader ([#1973]0xMiden#1973).
• [BREAKING] Introduce VaultKey newtype wrapper for asset vault keys ([#1978]0xMiden#1978).
• [BREAKING] Introduce AssetVaultKey newtype wrapper for asset vault keys (#1978, #2024).
• Added network_fungible_faucet and MINT & BURN notes (#1925)
• Removed create_p2id_note and create_p2any_note methods from MockChainBuilder, users should use add_p2id_note and add_p2any_note instead (#1990).
• [BREAKING] Introduced AuthScheme and PublicKey enums in miden-objects::account::auth module (#1994).
• [BREAKING] Added get_note_script() method to DataStore trait to enable lazy loading of note scripts during transaction execution (#1995).
• Added AccountTree::apply_mutations_with_reversions (#2002).
• [BREAKING] Change AccountTree to be generic over trait AccountTreeBackend implementations (#2006).
• Added Display trait for AddressInterface (#2016).
• Added has_procedure procedure to the miden::account module (#2017).
• Re-add bech32 encoding for AccountId (#2018).
• [BREAKING] Separate account APIs in miden::account into active_account and native_account (#2026).
• [BREAKING] Remove miden::account::get_native_nonce procedure (#2026).
• [BREAKING] Refactor Address to make routing parameters optional (#2032, #2047).
• [BREAKING] Refactor PartialVault, PartialStorageMap, PartialAccountTree and PartialNullifierTree to allow construction from a root (#2042).
• Added duplicate approver validation to AuthRpoFalcon512MultisigConfig (#2046).
• Added encryption_key to RoutingParameters (#2050).
• [BREAKING] Added EcdsaK256Keccak variant to auth enums (#2052).
• Implemented storage map templates, which can be initialized through key/value lists provided via InitStorageData TOML (#2053).

Changes

• [BREAKING] Incremented MSRV to 1.90.
• [BREAKING] Migrated to miden-vm v0.18 and miden-crypto v0.17 (#1832).
• [BREAKING] Removed MockChain::add_pending_p2id_note in favor of using MockChainBuilder (#1842).
• [BREAKING] Removed versioning of the transaction kernel, leaving only one latest version (#1793).
• [BREAKING] Moved miden::asset::{create_fungible_asset, create_non_fungible_asset} procedures to miden::faucet (#1850).
• [BREAKING] Removed versioning of the transaction kernel, leaving only one latest version (#1793).
• Added AccountComponent::from_package() method to create components from miden-mast-package::Package (#1802).
• [BREAKING] Removed some of the note kernel procedures and use input_note procedures instead (#1834).
• [BREAKING] Replaced Account with PartialAccount in TransactionInputs (#1840).
• [BREAKING] Renamed Account::init_commitment to Account::initial_commitment (#1840).
• [BREAKING] Renamed the is_onchain method to has_public_state for AccountId, AccountIdPrefix, Account, AccountInterface and AccountStorageMode (#1846).
• [BREAKING] Moved NetworkId from account ID to address module (#1851).
• Removed ProvenTransactionExt(#1867).
• [BREAKING] Renamed the is_onchain method to has_public_state for AccountId, AccountIdPrefix, Account, AccountInterface and AccountStorageMode (#1846).
• [BREAKING] Moved miden::asset::{create_fungible_asset, create_non_fungible_asset} procedures to miden::faucet (#1850).
• [BREAKING] Moved NetworkId from account ID to address module (#1851).
• [BREAKING] Moved TransactionKernelError to miden-tx (#1859).
• [BREAKING] Changed PartialStorageMap to track the correct set of key+value pairings (#1878, #1921).
• Change terminology of "current note" to "active note" (#1863).
• [BREAKING] Moved and rename miden::tx::{add_asset_to_note, create_note} procedures to miden::output_note::{add_asset, create} (#1874).
• Merge bench-prover into bench-tx crate (#1894).
• Replace eqw usages with exec.word::test_eq and exec.word::eq, remove is_key_greater and is_key_less from link_map module (#1897).
• [BREAKING] Make AssetVault and PartialVault APIs more type safe (#1916).
• [BREAKING] Remove MockChain::add_pending_note to simplify mock chain internals (#1903).
• [BREAKING] Moved active note procedures from miden::note to miden::active_note module (#1901).
• [BREAKING] Removed account_seed from AccountFile (#1917).
• [BREAKING] Renamed TransactionInputs to TransactionExecutionInputs and make a new TransactionInputs struct which does not contain InputNotes<InputNote> (#1934).
• [BREAKING] Refactored TransactionInputs and remove TransactionWitness (#1934).
• Simplify MockChain internals and rework its documentation (#1942).
• [BREAKING] Changed the signature of TransactionAuthenticator to return the native signature (#1945).
• [BREAKING] Renamed MockChainBuilder::add_note to add_output_note (#1946).
• Dynamically lookup all masm EventIds from source (#1954).
• [BREAKING] Return ExecutionOutput from TransactionContext::execute_code (#1955).
• [BREAKING] Renamed get_item_init and get_map_item_init to get_initial_item and get_initial_map_item respectively (#1959).
• Update the type signature syntax in the account_components module (#1971).
• [BREAKING] Assert nonce is non-zero after the auth procedure (#1982).
• [BREAKING] Removed Rng from BasicAuthenticator (#1994).
• [BREAKING] Changed the outputs of the output_note::add_asset procedure: now the values that are the same as the passed parameters are dropped (#2031).
• [BREAKING] Upgraded VM to 0.19 (#2042).

0.11.5 (2025-10-02)

• Add new can_consume method to the NoteConsumptionChecker (#1928).

0.11.4 (2025-09-17)

• Updated miden-vm dependencies to 0.17.2 patch version. (#1905)

0.11.3 (2025-09-15)

• Added Serialize and Deserialize Traits on SigningInputs (#1858).

0.11.2 (2025-09-08)

• Fixed foreign account inputs not being loaded in LocalTransactionProver (#1866).

0.11.1 (2025-08-28)

• Added AddressInterface::Unspecified to represent default addresses (#1801).

0.11.0 (2025-08-26)

Features

• Added arguments to the auth procedure (#1501).
• [BREAKING] Refactored SWAP note & added option to select the visibility of the associated payback note (#1539).
• Added multi-signature authentication component as standard authentication component (#1599).
• Added account_compute_delta_commitment, input_note_get_assets_info, tx_get_num_input_notes, and tx_get_num_output_notes procedures to the transaction kernel (#1609).
• [BREAKING] Refactor TransactionAuthenticator to support arbitrary data signing (#1616).
• Implemented new from_unauthenticated_notes constructor for InputNotes (#1629).
• Added output_note_get_assets_info procedure to the transaction kernel (#1638).
• Pass the full TransactionSummary to TransactionAuthenticator (#1618).
• Added PartialBlockchain::num_tracked_blocks() (#1643).
• Removed TransactionScript::compile & NoteScript::compile methods in favor of ScriptBuilder (#1665).
• Added get_initial_code_commitment, get_initial_storage_commitment and get_initial_vault_root procedures to miden::account module (#1667).
• Added input_note_get_recipient, output_note_get_recipient, input_note_get_metadata, output_note_get_metadata procedures to the transaction kernel (#1648).
• Added input_notes::get_assets and output_notes::get_assets procedures to miden library (#1648).
• Added issuance accessor for fungible faucet accounts. (#1660).
• Added multi-signature authentication component as standard authentication component (#1599).
• Added FeeParameters to BlockHeader and automatically compute and remove fees from account in the transaction kernel epilogue (#1652, #1654, #1659, #1664, #1775).
• Added Address type to represent account-id based addresses (#1713, #1750).
• [BREAKING] Consolidated to a single async interface and drop #[maybe_async] usage (#1666).
• [BREAKING] Made transaction execution and transaction authentication asynchronous (#1699).
• [BREAKING] Return dedicated insufficient fee error from transaction host if account balance is too low (#1744).
• Added asset_vault::peek_balance (#1745).
• Added get_auth_scheme method to AccountComponentInterface and AccountInterface for better authentication scheme extraction (#1759).
• Added AddressInterface type to represent the interface of the account to which an Address points (#1761).
• Document miden library procedures and the context from which they can be called (#1799).
• Add Address type to represent account-id based addresses (#1713).
• Document Address in Miden book (#1792).
• Add asset_vault::peek_balance (#1745).
• Add get_auth_scheme method to AccountComponentInterface and AccountInterface for better authentication scheme extraction (#1759).
• Add CustomNetworkId in NetworkID (#1787).

Changes

• [BREAKING] Incremented MSRV to 1.88.
• Refactored account documentation into multiple sections (#1523).
• Implemented WellKnownComponents enum (#1532).
• [BREAKING] Remove pending account APIs on MockChain and introduce MockChainBuilder to simplify mock chain creation (#1557).
• Made ExecutedTransaction implement Send for easier consumption (#1560).
• [BREAKING] Digest was removed in favor of Word (#1564).
• [BREAKING] Upgraded Miden VM to 0.16, miden-crypto to 0.15 and winterfell crates to 0.13 (#1564, #1594).
• [BREAKING] Renamed {NoteInclusionProof, AccountWitness}::inner_nodes to authenticated_nodes (#1564).
• [BREAKING] Renamed {TransactionId, NoteId, Nullifier}::inner -> as_word (#1571).
• Replaced MerklePath with SparseMerklePath in NoteInclusionProof (#1572) .
• [BREAKING] Renamed authentication components to include "auth" prefix for clarity (#1575).
• [BREAKING] Split TransactionHost into TransactionProverHost and TransactionExecutorHost (#1581).
• Added TransactionEvent::Unauthorized to enable aborting the transaction execution to get its transaction summary for signing purposes (#1596, #1634, #1651).
• [BREAKING] Implemented SequentialCommit for AccountDelta and renamed AccountDelta::commitment() to AccountDelta::to_commitment() (#1603).
• Added robustness check to create_swap_note: error if requested_asset != offered_asset (#1604).
• [BREAKING] Changed account::incr_nonce to always increment the nonce by one, disallow incrementing more than once and return the new nonce after incrementing (#1608, #1633).
• Added AccountTree::contains_account_id_prefix() and AccountTree::id_prefix_to_smt_key() (#1610).
• Added functions for pruning PartialBlockchain (#1619).
• [BREAKING] Disallowed calling the auth procedure explicitly (from outside the epilogue) (#1622).
• [BREAKING] Included account delta commitment in signing message for the RpoFalcon512 family of account components (#1624).
• [BREAKING] Renamed TransactionEvent::FalconSigToStack to TransactionEvent::AuthRequest (#1626).
• [BREAKING] Made the naming of the transaction script arguments consistent (#1632).
• [BREAKING] Moved TransactionProverHost and TransactionExecutorHost from dynamic dispatch to generics (#1037)
• [BREAKING] Changed PartialStorage and PartialVault to use PartialSmt instead of separate merkle proofs (#1590).
• [BREAKING] Moved transaction inputs insertion out of transaction hosts (#1639)
• Implemented serialization for MockChain (#1642).
• [BREAKING] Reduced FungibleAsset::MAX_AMOUNT by a small fraction which allows using felt-based arithmetic in the fungible asset account delta (#1681).
• Avoid modifying an asset vault when adding a fungible asset with amount zero and the asset does not already exist (#1668).
• [BREAKING] Updated NoteConsumptionChecker::check_notes_consumability and TransactionExecutor::try_execute_notes to return NoteConsumptionInfo containing lists of Note rather than NoteId (#1680).
• Refactored epilogue to run as much code as possible before fees are computed (#1698).
• Refactored epilogue to run as much code as possible before fees are computed (#1698, #1705).
• [BREAKING] Removed note script utils and rename note::add_note_assets_to_account to note::add_assets_to_account (#1694).
• Refactor contracts::auth::basic into a reusable library procedure auth::rpo_falcon512 (#1712).
• [BREAKING] Refactored FungibleAsset::sub to be more similar to FungibleAsset::add (#1720).
• Update NoteConsumptionChecker::check_notes_consumability to use iterative elimination strategy to find a set of executable notes (#1721).
• [BREAKING] Moved IncrNonceAuthComponent, ConditionalAuthComponent and AccountMockComponent to miden-lib (#1722).
• [BREAKING] Split AccountCode::mock_library into an account and faucet library (#1732, #1733).
• [BREAKING] Refactored AccountError::AssumptionViolated into AccountError::Other (#1743).
• [BREAKING] Removed PartialVault::{new, add} to guarantee the vault tracks valid assets (#1747).
• [BREAKING] Changed owner of Arc<dyn SourceManagerSync and unify usage over manually +Send +Sync bounds (#1749).
• [BREAKING] Removed account ID bech32 encoding. Use Address::{from_bech32, to_bech32} instead (#1762).
• [BREAKING] Updated account::get_storage_commitment procedure to account::compute_storage_commitment(#1763).
• Implemented caching for the account storage commitment ((#1763)).
• [BREAKING] Merge the current and initial account code commitment procedures into one (#1776).
• Added TransactionExecutorError::InsufficientFee variant(#1786).
• [BREAKING] Made source manager an instance variable of the TransactionExecutor (#1788).

0.10.1 (2025-08-02)

• Added NoAuth component to the set of standard components (#1620).

0.10.0 (2025-07-08)

Features

• Added bench-prover crate to benchmark proving times (#1378).
• Allowed NOOP transactions and state-updating transactions against the same account in the same block (#1393).
• Added P2IDE standard note (#1421).
• [BREAKING] Implemented transaction script arguments for the TransactionScript (#1406).
• [BREAKING] Implemented in-kernel account delta tracking (#1471, #1404, #1460, #1481, #1491).
• Add with_auth_component to AccountBuilder (#1480).
• Added ScriptBuilder to streamline building note & transaction scripts (#1507).
• Added procedure was_procedure_called to miden::account library module (#1521).
• Enabled loading MASM source files into TransactionKernel::assembler for better errors (#1527).

Changes

• [BREAKING] Refactored NoteTag to an enum (#1322).
• [BREAKING] Removed AccountIdAnchor from account ID generation process (#1391).
• Implemented map based on a sorted linked list in transaction kernel library (#1396, #1428, #1478).
• Added shutdown configuration options to the miden-proving-service proxy (#1405).
• Added support for workers configuration in the proxy with environment variables (#1412).
• Implemented Display for NoteType (#1420).
• [BREAKING] Removed NoteExecutionMode from from_account_id (#1422).
• [BREAKING] Refactored transaction kernel advice inputs (#1425).
• [BREAKING] Moved transaction script argument from TransactionScript to TransactionArgs. (#1426).
• [BREAKING] Removed transaction inputs from TransactionScript. (#1426).
• Removed miden-proving-service binary crate and miden-proving-service-client crate (#1427).
• Removed doc update checks on CI (#1435).
• [BREAKING] Introduced ScriptMastForestStore and refactor MAST forest provisioning in the TransactionExecutor (#1438).
• [BREAKING] Allowed list of keys in AccountFile (#1451).
• [BREAKING] TransactionHost::new now expects &PartialAccount instead AccountHeader (#1452).
• Load account and input notes advice maps into the advice provider before executing them (#1452).
• Added support for private accounts in MockChain (#1453).
• Improved error message quality in CodeExecutor::run and TransactionContext::execute_code (#1458).
• Temporarily bumped ACCOUNT_UPDATE_MAX_SIZE to 256 KiB for compiler testing (#1464).
• [BREAKING] TransactionExecutor now holds plain references instead of Arc for its trait objects (#1469).
• [BREAKING] Store account ID in account delta (#1493).
• [BREAKING] Removed P2IDR and replace with P2IDE (#1483).
• [BREAKING] Refactored nonce in delta from Option<Felt> to Felt (#1492).
• Normalized account deltas to avoid including no-op updates (#1496).
• Added Note::is_network_note() accessor (#1485).
• [BREAKING] Refactored account authentication to require a procedure containing auth__ in its name (#1480).
• [BREAKING] Updated handling of the shared modules (#1490).
• [BREAKING] Refactored transaction to output ACCOUNT_UPDATE_COMMITMENT (#1500).
• Added a new constructor for TransactionExecutor that accepts ExecutionOptions (#1502).
• [BREAKING] Introduced errors in MockChain API (#1508).
• [BREAKING] TransactionAdviceInputs cannot return Err anymore (#1517).
• Implemented serialization for LexicographicWord (#1524).
• Made Account:increment_nonce() method public (#1533).
• Defined the commitment to an empty account delta as EMPTY_WORD (#1528).
• [BREAKING] Renamed account_get_current_commitment to account_compute_current_commitment and include the latest storage commitment in the returned commitment (#1529).
• [BREAKING] Remove create_note from BasicWallet, expose it and add_asset_to_note in miden::tx (#1525).
• Add a new auth component RpoFalcon512Acl (#1531).
• [BREAKING] Change BasicFungibleFaucet to use RpoFalcon512Acl for authentication (#1531).
• Introduce MockChain methods for executing at an older block (#1541).
• [BREAKING] Change authentication component procedure name prefix from auth__* to auth_* (#1861).

Fixes

• [BREAKING] Forbid the execution of the empty transactions (#1459).

0.9.5 (2025-06-20) - miden-lib crate only

• Added symbol(), decimals(), and max_supply() accessors to the TokenSymbol struct.

0.9.4 (2025-06-12)

• Refactor proving service client errors (#1448)

0.9.3 (2025-06-12)

• Add TLS support to miden-proving-service-client (#1447)

0.9.2 (2025-06-10)

• Refreshed Cargo.lock file.

0.9.1 (2025-05-30)

Fixes

• Expose types used in public APIs (#1385).
• Version check always fails in proxy (#1407).

0.9.0 (2025-05-20)

Features

• Added pretty print for AccountCode (#1273).
• Add iterators over concrete asset types in NoteAssets (#1346).
• Add the ability to create BasicFungibleFaucet from Account (#1376).

Fixes

• [BREAKING] Hash keys in storage maps before insertion into the SMT (#1250).
• Fix error when creating accounts with empty storage (#1307).
• [BREAKING] Move the number of note inputs to the separate memory address (#1327).
• [BREAKING] Change Token Symbol encoding (#1334).

Changes

• [BREAKING] Refactored how foreign account inputs are passed to TransactionExecutor (#1229).
• [BREAKING] Add TransactionHeader and include it in batches and blocks (#1247).
• Add AccountTree and PartialAccountTree wrappers and enforce ID prefix uniqueness (#1254, #1301).
• Added getter for proof security level in ProvenBatch and ProvenBlock (#1259).
• [BREAKING] Replaced the ProvenBatch::new_unchecked with the ProvenBatch::new method to initialize the struct with validations (#1260).
• [BREAKING] Add AccountStorageMode::Network for network accounts (#1275, #1349).
• Added support for environment variables to set up the miden-proving-service worker (#1281).
• Added field identifier structs for component metadata (#1292).
• Move NullifierTree and BlockChain from node to base (#1304).
• Rename ChainMmr to PartialBlockchain (#1305).
• Add safe PartialBlockchain constructor (#1308).
• [BREAKING] Move MockChain and TransactionContext to new miden-testing crate (#1309).
• [BREAKING] Add support for private notes in MockChain (#1310).
• Generalized account-related inputs to the transaction kernel (#1311).
• [BREAKING] Refactor MockChain to use batch and block provers (#1315).
• [BREAKING] Upgrade VM to 0.14 and refactor transaction kernel error extraction (#1353).
• [BREAKING] Update MSRV to 1.87.

0.8.3 (2025-04-22) - miden-proving-service crate only

Fixes

• Version check always fails (#1300).

0.8.2 (2025-04-18) - miden-proving-service crate only

Changes

• Added a retry strategy for worker's health check (#1255).
• Added a status endpoint for the miden-proving-service worker and proxy (#1255).

0.8.1 (2025-03-26) - miden-objects and miden-tx crates only.

Changes

• [BREAKING] Changed TransactionArgs API to accept AsRef<NoteRecipient> for extending the advice map in relation to output notes (#1251).

0.8.0 (2025-03-21)

Features

• Added an endpoint to the miden-proving-service to update the workers (#1107).
• [BREAKING] Added the get_block_timestamp procedure to the miden library (#1138).
• Implemented AccountInterface structure (#1171).
• Implement user-facing bech32 encoding for AccountIds (#1185).
• Implemented execute_tx_view_script procedure for the TransactionExecutor (#1197).
• Enabled nested FPI calls (#1227).
• Implement check_notes_consumability procedure for the TransactionExecutor (#1269).

Changes

• [BREAKING] Moved generated module from miden-proving-service-client crate to tx_prover::generated hierarchy (#1102).
• Renamed the protobuf file of the transaction prover to tx_prover.proto (#1110).
• [BREAKING] Renamed AccountData to AccountFile (#1116).
• Implement transaction batch prover in Rust (#1112).
• Added the is_non_fungible_asset_issued procedure to the miden library (#1125).
• [BREAKING] Refactored config file for miden-proving-service to be based on environment variables (#1120).
• Added block number as a public input to the transaction kernel. Updated prologue logic to validate the global input block number is consistent with the commitment block number (#1126).
• Made NoteFile and AccountFile more consistent (#1133).
• [BREAKING] Implement most block constraints in ProposedBlock (#1123, #1141).
• Added serialization for ProposedBatch, BatchId, BatchNoteTree and ProvenBatch (#1140).
• Added prefix to Nullifier (#1153).
• [BREAKING] Implemented a RemoteBatchProver. miden-proving-service workers can prove batches (#1142).
• [BREAKING] Implement LocalBlockProver and rename Block to ProvenBlock (#1152, #1168, #1172).
• [BREAKING] Added native types to AccountComponentTemplate (#1124).
• Implemented RemoteBlockProver. miden-proving-service workers can prove blocks (#1169).
• Used Smt::with_entries to error on duplicates in StorageMap::with_entries (#1167).
• [BREAKING] Added InitStorageData::from_toml(), improved storage entry validations in AccountComponentMetadata (#1170).
• [BREAKING] Rework miden-lib error codes into categories (#1196).
• [BREAKING] Moved the TransactionScriptBuilder from miden-client to miden-base (#1206).
• [BREAKING] Enable timestamp customization on MockChain::seal_block (#1208).
• [BREAKING] Renamed constants and comments: OnChain -> Public and OffChain -> Private (#1218).
• [BREAKING] Replace "hash" with "commitment" in BlockHeader::{prev_hash, chain_root, kernel_root, tx_hash, proof_hash, sub_hash, hash} (#1209, #1221, #1226).
• [BREAKING] Incremented minimum supported Rust version to 1.85.
• [BREAKING] Change advice for Falcon signature verification (#1183).
• Added info log level by default in the proving service (#1200).
• Made Prometheus metrics optional in the proving service proxy via the enable_metrics configuration option (#1200).
• Improved logging in the proving service proxy for better diagnostics (#1200).
• Fixed issues with the proving service proxy's signal handling and port binding (#1200).
• [BREAKING] Simplified worker update configuration by using a single URL parameter instead of separate host and port (#1249).

0.7.2 (2025-01-28) - miden-objects crate only

Changes

• Added serialization for ExecutedTransaction (#1113).

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

• [BREAKING] Extend AccountId to two Felts and require block hash in derivation (#982).
• Introduced AccountComponentTemplate with TOML serialization and templating (#1015, #1027).
• Introduce AccountIdBuilder to simplify AccountId generation in tests (#1045).
• [BREAKING] Migrate to the element-addressable memory (#1084).

Changes

• Implemented serialization for AccountHeader (#996).
• Updated Pingora crates to 0.4 and added polling time to the configuration file (#997).
• Added support for miden-tx-prover proxy to update workers on a running proxy (#989).
• Refactored miden-tx-prover proxy load balancing strategy (#976).
• [BREAKING] Implemented better error display when queues are full in the prover service (#967).
• [BREAKING] Removed AccountBuilder::build_testing and make Account::initialize_from_components private (#969).
• [BREAKING] Added error messages to errors and implement core::error::Error (#974).
• Implemented new digest! macro (#984).
• Added Format Guidebook to the miden-lib crate (#987).
• Added conversion from Account to AccountDelta for initial account state representation as delta (#983).
• [BREAKING] Added miden::note::get_script_hash procedure (#995).
• [BREAKING] Refactor error messages in miden-lib and miden-tx and use thiserror 2.0 (#1005, #1090).
• Added health check endpoints to the prover service (#1006).
• Removed workers list from the proxy configuration file (#1018).
• Added tracing to the miden-tx-prover CLI (#1014).
• Added metrics to the miden-tx-prover proxy (#1017).
• Implemented to_hex for AccountIdPrefix and epoch_block_num for BlockHeader (#1039).
• [BREAKING] Updated the names and values of the kernel procedure offsets and corresponding kernel procedures (#1037).
• Introduce AccountIdError and make account ID byte representations (u128, [u8; 15]) consistent (#1055).
• Refactor AccountId and AccountIdPrefix into version wrappers (#1058).
• Remove multi-threaded account seed generation due to single-threaded generation being faster (#1061).
• Made AccountIdError public (#1067).
• Made BasicFungibleFaucet::MAX_DECIMALS public (#1063).
• [BREAKING] Removed miden-tx-prover crate and created miden-proving-service and miden-proving-service-client (#1047).
• Removed deduplicate masm procedures across kernel and miden lib to a shared util module (#1070).
• [BREAKING] Added BlockNumber struct (#1043, #1080, #1082).
• [BREAKING] Removed GENESIS_BLOCK public constant (#1088).
• Add CI check for unused dependencies (#1075).
• Added storage placeholder types and support for templated map (#1074).
• [BREAKING] Move crates into crates/ and rename plural modules to singular (#1091).

0.6.2 (2024-11-20)

• Avoid writing to the filesystem during docs.rs build (#970).

0.6.1 (2024-11-08)

Features

• [BREAKING] Added CLI for the transaction prover services both the workers and the proxy (#955).

Fixes

• Fixed AccountId::new_with_type_and_mode() (#958).
• Updated the ABI for the assembly procedures (#971).

0.6.0 (2024-11-05)

Features

• Created a proving service that receives TransactionWitness and returns the proof using gRPC (#881).
• Implemented ability to invoke procedures against the foreign account (#882, #890, #896).
• Implemented kernel procedure to set transaction expiration block delta (#897).
• [BREAKING] Introduce a new way to build Accounts from AccountComponents (#941).
• [BREAKING] Introduce an AccountBuilder (#952).

Changes

• [BREAKING] Changed TransactionExecutor and TransactionHost to use trait objects (#897).
• Made note scripts public (#880).
• Implemented serialization for TransactionWitness, ChainMmr, TransactionInputs and TransactionArgs (#888).
• [BREAKING] Renamed the TransactionProver struct to LocalTransactionProver and added the TransactionProver trait (#865).
• Implemented Display, TryFrom<&str> and FromStr for AccountStorageMode (#861).
• Implemented offset based storage access (#843).
• [BREAKING] AccountStorageType enum was renamed to AccountStorageMode along with its variants (#854).
• [BREAKING] AccountStub structure was renamed to AccountHeader (#855).
• [BREAKING] Kernel procedures now have to be invoked using dynexec instruction (#803).
• Refactored AccountStorage from Smt to sequential hash (#846).
• [BREAKING] Refactored batch/block note trees (#834).
• Set all procedures storage offsets of faucet accounts to 1 (#875).
• Added AccountStorageHeader (#876).
• Implemented generation of transaction kernel procedure hashes in build.rs (#887).
• [BREAKING] send_asset procedure was removed from the basic wallet (#829).
• [BREAKING] Updated limits, introduced additional limits (#889).
• Introduced AccountDelta maximum size limit of 32 KiB (#889).
• [BREAKING] Moved MAX_NUM_FOREIGN_ACCOUNTS into miden-objects (#904).
• Implemented storage_size, updated storage bounds (#886).
• [BREAKING] Auto-generate KERNEL_ERRORS list from the transaction kernel's MASM files and rework error constant names (#906).
• Implement Serializable for FungibleAsset (#907).
• [BREAKING] Changed TransactionProver trait to be maybe_async_trait based on the async feature (#913).
• [BREAKING] Changed type of EMPTY_STORAGE_MAP_ROOT constant to RpoDigst, which references constant from miden-crypto (#916).
• Added RemoteTransactionProver struct to miden-tx-prover (#921).
• [BREAKING] Migrated to v0.11 version of Miden VM (#929).
• Added total_cycles and trace_length to the TransactionMeasurements (#953).
• Added ability to load libraries into TransactionExecutor and LocalTransactionProver (#954).

0.5.1 (2024-08-28) - miden-objects crate only

• Implemented PrettyPrint and Display for NoteScript.

0.5.0 (2024-08-27)

Features

• [BREAKING] Increase of nonce does not require changes in account state any more (#796).
• Changed AccountCode procedures from merkle tree to sequential hash + added storage_offset support (#763).
• Implemented merging of account deltas (#797).
• Implemented create_note and move_asset_into_note basic wallet procedures (#808).
• Made miden_lib::notes::build_swap_tag() function public (#817).
• [BREAKING] Changed the NoteFile::NoteDetails type to struct and added a after_block_num field (#823).

Changes

• Renamed "consumed" and "created" notes into "input" and "output" respectively (#791).
• [BREAKING] Renamed NoteType::OffChain into NoteType::Private.
• [BREAKING] Renamed public accessors of the Block struct to match the updated fields (#791).
• [BREAKING] Changed the TransactionArgs to use AdviceInputs (#793).
• Setters in memory module don't drop the setting Word anymore (#795).
• Added CHANGELOG.md warning message on CI (#799).
• Added high-level methods for MockChain and related structures (#807).
• [BREAKING] Renamed NoteExecutionHint to NoteExecutionMode and added new NoteExecutionHint to NoteMetadata (#812, #816).
• [BREAKING] Changed the interface of the miden::tx::add_asset_to_note (#808).
• [BREAKING] Refactored and simplified NoteOrigin and NoteInclusionProof structs (#810, #814).
• [BREAKING] Refactored account storage and vault deltas (#822).
• Added serialization and equality comparison for TransactionScript (#824).
• [BREAKING] Migrated to Miden VM v0.10 (#826).
• Added conversions for NoteExecutionHint (#827).
• [BREAKING] Removed serde-based serialization from miden-object structs (#838).

0.4.0 (2024-07-03)

Features

• [BREAKING] Introduce OutputNote::Partial variant (#698).
• [BREAKING] Added support for input notes with delayed verification of inclusion proofs (#724, #732, #759, #770, #772).
• Added new NoteFile object to represent serialized notes (#721).
• Added transaction IDs to the Block struct (#734).
• Added ability for users to set the aux field when creating a note (#752).

Enhancements

• Replaced cargo-make with just make for running tasks (#696).
• [BREAKING] Split Account struct constructor into new() and from_parts() (#699).
• Generalized build_recipient_hash procedure to build recipient hash for custom notes (#706).
• [BREAKING] Changed the encoding of inputs notes in the advice map for consumed notes (#707).
• Created additional emit events for kernel related .masm procedures (#708).
• Implemented build_recipient_hash procedure to build recipient hash for custom notes (#710).
• Removed the mock crate in favor of having mock code behind the testing flag in remaining crates (#711).
• [BREAKING] Created auth module for TransactionAuthenticator and other related objects (#714).
• Added validation for the output stack to make sure it was properly cleaned (#717).
• Made DataStore conditionally async using winter-maybe-async (#725).
• Changed note pointer from Memory note_ptr to note_index (#728).
• [BREAKING] Changed rng to mutable reference in note creation functions (#733).
• [BREAKING] Replaced ToNullifier trait with ToInputNoteCommitments, which includes the note_id for delayed note authentication (#732).
• Added Option<NoteTag>to NoteFile (#741).
• Fixed documentation and added make doc CI job (#746).
• Updated and improved .pre-commit-config.yaml file (#748).
• Created get_serial_number procedure to get the serial num of the currently processed note (#760).
• [BREAKING] Added support for conversion from Nullifier to InputNoteCommitment, commitment header return reference (#774).
• Added compute_inputs_hash procedure for hash computation of the arbitrary number of note inputs (#750).

0.3.1 (2024-06-12)

• Replaced cargo-make with just make for running tasks (#696).
• Made DataStore conditionally async using winter-maybe-async (#725)
• Fixed StorageMaps implementation and included into apply_delta (#745)

0.3.0 (2024-05-14)

• Introduce the miden-bench-tx crate used for transactions benchmarking (#577).
• [BREAKING] Removed the transaction script root output from the transaction kernel (#608).
• [BREAKING] Refactored account update details, moved Block to miden-objects (#618, #621).
• [BREAKING] Made TransactionExecutor generic over TransactionAuthenticator (#628).
• [BREAKING] Changed type of version and timestamp fields to u32, moved version to the beginning of block header (#639).
• [BREAKING] Renamed NoteEnvelope into NoteHeader and introduced NoteDetails (#664).
• [BREAKING] Updated create_swap_note() procedure to return NoteDetails and defined SWAP note tag format (#665).
• Implemented OutputNoteBuilder (#669).
• [BREAKING] Added support for full details of private notes, renamed OutputNote variants and changed their meaning (#673).
• [BREAKING] Added add_asset_to_note procedure to the transaction kernel (#674).
• Made TransactionArgs::add_expected_output_note() more flexible (#681).
• [BREAKING] Enabled support for notes without assets and refactored create_note procedure in the transaction kernel (#686).

0.2.3 (2024-04-26) - miden-tx crate only

• Fixed handling of debug mode in TransactionExecutor (#627)

0.2.2 (2024-04-23) - miden-tx crate only

• Added with_debug_mode() methods to TransactionCompiler and TransactionExecutor (#562).

0.2.1 (2024-04-12)

• [BREAKING] Return a reference to NoteMetadata from output notes (#593).
• Add more type conversions for NoteType (#597).
• Fix note input padding for expected output notes (#598).

0.2.0 (2024-04-11)

• [BREAKING] Implement support for public accounts (#481, #485, #538).
• [BREAKING] Implement support for public notes (#515, #540, #572).
• Improved ProvenTransaction validation (#532).
• [BREAKING] Updated no-std setup (#533).
• Improved ProvenTransaction serialization (#543).
• Implemented note tree wrapper structs (#560).
• [BREAKING] Migrated to v0.9 version of Miden VM (#567).
• [BREAKING] Added account storage type parameter to create_basic_wallet and create_basic_fungible_faucet (miden-lib crate only) (#587).
• Removed serialization of source locations from account code (#590).

0.1.1 (2024-03-07) - miden-objects crate only

• Added BlockHeader::mock() method (#511)

0.1.0 (2024-03-05)

• Initial release.