Instruction	Stack Input	Stack Output	Notes
Wallet (requires Wallet component)
receive_asset	ASSETpad(12)	pad(16)	Adds the provided asset to the current account. Where: asset is the asset to be received, can be fungible or non-fungible. Panics if: the same non-fungible asset already exists in the account, adding a fungible asset would result in amount overflow, i.e., the total amount would be greater than 2^63.
create_note	tagauxnote_typeexecution_hintRECIPIENTpad(8)	note_idxpad(15)	Creates a new note. The created note will not have any assets attached to it. To add assets to this note use the 'move_asset_to_note' procedure. Where: tag is the tag to be included in the note, aux is the auxiliary data to be included in the note, note_type is the note's storage type, execution_hint is the note's execution hint, recipient is the recipient of the note, i.e., hash(hash(hash(serial_num, [0; 4]), script_hash), input_hash).
move_asset_to_note	ASSETnote_idxpad(11)	ASSETnote_idxpad(11)	Removes the specified asset from the account and adds it to the output note with the specified index. Where: note_idx is the index of the output note, asset is the fungible or non-fungible asset of interest. Panics if: the fungible asset is not found in the vault, the amount of the fungible asset in the vault is less than the amount to be removed, the non-fungible asset is not found in the vault.
Auth (requires Auth component)
auth_tx_rpo_falcon512	pad(16)	pad(16)	Authenticate a transaction using the Falcon signature scheme
Account
get_id	[]	acct_id_prefixacct_id_suffix	Returns the account id. Where: acct_id_prefix and acct_id_suffix are the prefix and suffix felts of the account id.
get_nonce	[]	nonce	Returns the account nonce. Where: nonce is the account nonce.
get_initial_hash	[]	INIT_HASH	Returns the initial account hash. Where: INIT_HASH is the initial account hash.
get_current_hash	[]	ACCT_HASH	Computes and returns the account hash from account data stored in memory. Where: ACCT_HASH is the hash of the account data.
incr_nonce	value	[]	Increments the account nonce by the provided value. Where: value is the value to increment the nonce by. value can be at most 2^32 - 1 otherwise this procedure panics.
get_item	index	VALUE	Gets an item from the account storage. Panics if the index is out of bounds. Where: index is the index of the item to get, value is the value of the item.
set_item	indexV'	R'V	Sets an item in the account storage. Panics if the index is out of bounds. Where: index is the index of the item to set, V' is the value to set, v is the previous value of the item, R' is the new storage commitment.
get_map_item	indexKEY	VALUE	Gets a map item from the account storage. Where: index is the index of the map where the key value should be read, key is the key of the item to get, value is the value of the item. Panics if the index for the map is out of bounds or the slot item at index is not a map.
set_map_item	indexKEYVALUE	OLD_MAP_ROOTOLD_MAP_VALUE	Sets a map item in the account storage. Where: index is the index of the map where the key value should be set, key is the key to set at value, value is the value to set at key, OLD_MAP_ROOT is the old map root, OLD_MAP_VALUE is the old value at key. Panics if the index for the map is out of bounds or the slot item at index is not a map.
get_code_commitment	[]	CODE_COMMITMENT	Gets the code commitment of the account the transaction is being executed against. Where: CODE_COMMITMENT is the hash of the account code.
get_storage_commitment	[]	STORAGE_COMMITMENT	Gets the storage commitment of the account the transaction is being executed against. Where: STORAGE_COMMITMENT is the hash of the account storage.
get_balance	faucet_id_prefixfaucet_id_suffix	balance	Returns the balance of a fungible asset associated with a faucet_id. Where: faucet_id_prefix and faucet_id_suffix are the prefix and suffix felts of the faucet id of the fungible asset of interest, balance is the vault balance of the fungible asset. Panics if the asset is not a fungible asset.
has_non_fungible_asset	ASSET	has_asset	Returns a boolean indicating whether the non-fungible asset is present in the vault. Where: asset is the non-fungible asset of interest, has_asset is a boolean indicating whether the account vault has the asset of interest. Panics if the asset is a fungible asset.
add_asset	ASSET	ASSET'	Add the specified asset to the vault. Where: ASSET' is a final asset in the account vault. If asset is a non-fungible asset, then ASSET' is the same as asset. If asset is a fungible asset, then ASSET' is the total fungible asset in the account vault after asset was added to it. Panics if the asset is not valid, the total value of two fungible assets is greater than or equal to 2^63, or the vault already contains the same non-fungible asset.
remove_asset	ASSET	ASSET	Remove the specified asset from the vault. Where: asset is the asset to remove from the vault. Panics if the fungible asset is not found in the vault, the amount of the fungible asset in the vault is less than the amount to be removed, or the non-fungible asset is not found in the vault.
get_vault_commitment	[]	COM	Returns a commitment to the account vault. Where: com is a commitment to the account vault.
is_fungible_faucet	acct_id	is_fungible_faucet	Returns a boolean indicating whether the account is a fungible faucet. Where: acct_id is the account id, is_fungible_faucet is a boolean indicating whether the account is a fungible faucet.
is_non_fungible_faucet	acct_id	is_non_fungible_faucet	Returns a boolean indicating whether the account is a non-fungible faucet. Where: acct_id is the account id, is_non_fungible_faucet is a boolean indicating whether the account is a non-fungible faucet.
is_id_equal	acct_id_prefixacct_id_suffixother_acct_id_prefixother_acct_id_suffix	is_id_equal	Returns a boolean indicating whether the given account_ids are equal. Where: acct_id_prefix and acct_id_suffix are the prefix and suffix felts of an account id, other_acct_id_prefix and other_acct_id_suffix are the prefix and suffix felts of the other account id to compare against, is_id_equal is a boolean indicating whether the account IDs are equal.
Asset
build_fungible_asset	faucet_id_prefixfaucet_id_suffixamount	ASSET	Builds a fungible asset for the specified fungible faucet and amount. Where: faucet_id_prefix and faucet_id_suffix are the prefix and suffix felts of the faucet to create the asset for, amount is the amount of the asset to create, asset is the built fungible asset.
create_fungible_asset	amount	ASSET	Creates a fungible asset for the faucet the transaction is being executed against. Where: amount is the amount of the asset to create, asset is the created fungible asset.
build_non_fungible_asset	faucet_id_prefixDATA_HASH	ASSET	Builds a non fungible asset for the specified non-fungible faucet and amount. Where: faucet_id_prefix and faucet_id_suffix are the prefix and suffix felts of the faucet to create the asset for, DATA_HASH is the data hash of the non-fungible asset to build, asset is the built non-fungible asset.
create_non_fungible_asset	DATA_HASH	ASSET	Creates a non-fungible asset for the faucet the transaction is being executed against. Where: DATA_HASH is the data hash of the non-fungible asset to create, asset is the created non-fungible asset.
get_fungible_asset_max_amount	[]	fungible_asset_max_amount	Returns the maximum amount of a fungible asset. Where: fungible_asset_max_amount is the maximum amount of a fungible asset.
Faucet
mint	ASSET	ASSET	Mint an asset from the faucet the transaction is being executed against. Where: asset is the asset that was minted. Panics if: the transaction is not being executed against a faucet, the asset being minted is not associated with the faucet the transaction is being executed against, the asset is not well formed, for fungible faucets if the total issuance after minting is greater than the maximum amount allowed, for non-fungible faucets if the non-fungible asset being minted already exists.
burn	ASSET	ASSET	Burn an asset from the faucet the transaction is being executed against. Where: asset is the asset that was burned. Panics if: the transaction is not being executed against a faucet, the asset being burned is not associated with the faucet the transaction is being executed against, the asset is not well formed, for fungible faucets if the amount being burned is greater than the total input to the transaction, for non-fungible faucets if the non-fungible asset being burned does not exist or was not provided as input to the transaction via a note or the accounts vault.
get_total_issuance	[]	total_issuance	Returns the total issuance of the fungible faucet the transaction is being executed against. Where: total_issuance is the total issuance of the fungible faucet the transaction is being executed against. Panics if: the transaction is not being executed against a fungible faucet.
Note
write_advice_data_to_memory	start_ptrend_ptrHASH	[]	Writes the data currently on the advice stack into the memory at the specified location and verifies that the hash of the written data is equal to the provided hash.
get_assets	dest_ptr	num_assetsdest_ptr	Writes the assets of the currently executing note into memory starting at the specified address. Where: dest_ptr is the memory address to write the assets, num_assets is the number of assets in the currently executing note.
get_inputs	dest_ptr	num_inputsdest_ptr	Loads the note's inputs to dest_ptr. Where: dest_ptr is the memory address to write the inputs.
get_sender	[]	sender_id_prefixsender_id_suffix	Returns the sender of the note currently being processed. Where: sender_{prefix,suffix} are the prefix and suffix felts of the sender of the note currently being processed. Panics if no note is being processed.
get_serial_number	[]	SERIAL_NUMBER	Returns the serial number of the note currently being processed. Where: SERIAL_NUMBER is the serial number of the note currently being processed. Panics if no note is being processed.
compute_inputs_hash	inputs_ptrnum_inputs	HASH	Computes hash of note inputs starting at the specified memory address. If the number of inputs is 0, procedure returns the empty word: [0, 0, 0, 0]. Panics if num_inputs is greater than 128.
get_script_hash	[]	SCRIPT_HASH	Returns the script hash of the note currently being processed. Where: SCRIPT_HASH is the script hash of the note currently being processed. Panics if no note is being processed.
Transaction
get_block_number	[]	num	Returns the block number of the last known block at the time of transaction execution. Where: num is the last known block number.
get_block_hash	EMPTY_WORD	BLOCK_HASH	Returns the block hash of the reference block. Where: BLOCK_HASH is the reference block for the transaction execution.
get_input_notes_commitment	[]	INPUT_NOTES_COMMITMENT	Returns the input notes commitment hash. Where: INPUT_NOTES_COMMITMENT is the input notes commitment hash.
get_output_notes_commitment	0000	COMMITMENT	Returns the output notes hash. This is computed as a sequential hash of (note_id, note_metadata) tuples over all output notes. Where: commitment is the output notes hash.
create_note	tagauxnote_typeexecution_hintRECIPIENT	note_idx	Creates a new note and returns the index of the note. Where: tag is the tag to be included in the note, aux is the auxiliary metadata to be included in the note, note_type is the storage type of the note, execution_hint is the note's execution hint, recipient is the recipient of the note, note_idx is the index of the created note.
add_asset_to_note	ASSETnote_idx	ASSETnote_idx	Adds the asset to the note specified by the index. Where: note_idx is the index of the note to which the asset is added, asset can be a fungible or non-fungible asset.
build_recipient_hash	SERIAL_NUMSCRIPT_HASHINPUT_HASH	RECIPIENT	Returns the recipient for a specified serial_num, script_hash, and inputs hash. Where: SERIAL_NUM is the serial number of the recipient, SCRIPT_HASH is the commitment of the note script, INPUT_HASH is the commitment of the note inputs, recipient is the recipient of the note.
execute_foreign_procedure.4	foreign_account_id_prefixforeign_account_id_suffixFOREIGN_PROC_ROOT<foreign account inputs>pad(n)	<values returned from the foreign procedure>	Executes the provided procedure against the foreign account. WARNING: the procedure to be invoked can not have more than 15 inputs and it can not return more than 15 elements back. Where: foreign_account_id_{prefix,suffix} are the prefix and suffix felts of the account id of the foreign account to execute the procedure on, pad(n) is the exact number of pads needed to set the number of procedure inputs to 16 at the moment of the foreign procedure execution (n = 16 - mem_addr_size - foreign_inputs_len).
update_expiration_block_delta	block_height_delta...	...	Updates the transaction expiration delta. The transaction expiration delta specifies how close to the transaction's reference block the transaction must be included into the chain. Once set, transaction expiration delta can be decreased, but not increased. Where: block_height_delta is the desired expiration time delta (1 to 0xFFFF).
get_expiration_block_delta	...	block_height_delta...	Returns the transaction expiration delta, or 0 if the delta has not been set. Where: block_height_delta is the stored expiration time delta (1 to 0xFFFF).
BASIC FUNGIBLE FAUCET CONTRACT
auth_tx_rpo_falcon512	[]	[]	Basic authentication for the faucet owner. Imported from basic contract.
distribute.4	amounttagauxnote_typeexecution_hintRECIPIENTpad(7)	note_idxpad(15)	Distributes freshly minted fungible assets to the provided recipient. Where: amount is the amount to be minted and sent, tag is the tag to be included in the note, aux is the auxiliary data to be included in the note, note_type is the type of the note that holds the asset, execution_hint is the execution hint of the note that holds the asset, recipient is the recipient of the asset, i.e., hash(hash(hash(serial_num, [0; 4]), script_hash), input_hash), note_idx is the index of the output note. Panics if: the transaction is being executed against an account that is not a fungible asset faucet, the total issuance after minting is greater than the maximum allowed supply.
burn	ASSETpad(12)	pad(16)	Burns fungible assets. Where: asset is the fungible asset to be burned. Panics if: the transaction is executed against an account which is not a fungible asset faucet, the transaction is executed against a faucet which is not the origin of the specified asset, the amount about to be burned is greater than the outstanding supply of the asset.