diff --git a/examples/auth-component-no-auth/src/lib.rs b/examples/auth-component-no-auth/src/lib.rs index ccfb6b3ad..f19bf52bc 100644 --- a/examples/auth-component-no-auth/src/lib.rs +++ b/examples/auth-component-no-auth/src/lib.rs @@ -8,36 +8,22 @@ // extern crate alloc; // use alloc::vec::Vec; -// Global allocator to use heap memory in no-std environment -#[global_allocator] -static ALLOC: miden::BumpAlloc = miden::BumpAlloc::new(); - -// Required for no-std crates -#[cfg(not(test))] -#[panic_handler] -fn my_panic(_info: &core::panic::PanicInfo) -> ! { - loop {} -} - -miden::generate!(); -bindings::export!(AuthComponent); - -use miden::{active_account, native_account, *}; - -use crate::bindings::exports::miden::base::authentication_component::Guest; +use miden::{component, Word}; +#[component] struct AuthComponent; -impl Guest for AuthComponent { - fn auth_procedure(_arg: Word) { +#[component] +impl AuthComponent { + pub fn auth_procedure(&mut self, _arg: Word) { // translated from MASM at // https://github.com/0xMiden/miden-base/blob/e4912663276ab8eebb24b84d318417cb4ea0bba3/crates/miden-lib/asm/account_components/no_auth.masm?plain=1 - let init_comm = active_account::get_initial_commitment(); - let curr_comm = active_account::compute_commitment(); + let init_comm = self.get_initial_commitment(); + let curr_comm = self.compute_commitment(); // check if the account state has changed by comparing initial and final commitments if curr_comm != init_comm { // if the account has been updated, increment the nonce - native_account::incr_nonce(); + self.incr_nonce(); } } } diff --git a/examples/auth-component-rpo-falcon512/src/lib.rs b/examples/auth-component-rpo-falcon512/src/lib.rs index 0f46e69b0..32c96ae35 100644 --- a/examples/auth-component-rpo-falcon512/src/lib.rs +++ b/examples/auth-component-rpo-falcon512/src/lib.rs @@ -3,15 +3,9 @@ extern crate alloc; use miden::{ - component, felt, hash_words, intrinsics::advice::adv_insert, native_account, tx, Felt, Value, - ValueAccess, Word, + component, felt, hash_words, intrinsics::advice::adv_insert, tx, Felt, Value, ValueAccess, Word, }; -use crate::bindings::exports::miden::base::authentication_component::Guest; - -miden::generate!(); -bindings::export!(AuthComponent); - /// Authentication component storage/layout. /// /// Public key is expected to be in the slot 0. Matches MASM constant `PUBLIC_KEY_SLOT=0` in @@ -27,13 +21,14 @@ struct AuthComponent { owner_public_key: Value, } -impl Guest for AuthComponent { - fn auth_procedure(_arg: Word) { +#[component] +impl AuthComponent { + pub fn auth_procedure(&mut self, _arg: Word) { let ref_block_num = tx::get_block_number(); - let final_nonce = native_account::incr_nonce(); + let final_nonce = self.incr_nonce(); // Gather tx summary parts - let acct_delta_commit = native_account::compute_delta_commitment(); + let acct_delta_commit = self.compute_delta_commitment(); let input_notes_commit = tx::get_input_notes_commitment(); let output_notes_commit = tx::get_output_notes_commitment(); @@ -44,14 +39,13 @@ impl Guest for AuthComponent { // On the advice stack the words are expected to be in the reverse order tx_summary.reverse(); // Insert tx summary into advice map under key `msg` - adv_insert(msg.clone(), &tx_summary); + adv_insert(msg, &tx_summary); // Load public key from storage slot 0 - let storage = Self::default(); - let pub_key: Word = storage.owner_public_key.read(); + let pub_key: Word = self.owner_public_key.read(); // Emit signature request event to advice stack, - miden::emit_falcon_sig_to_stack(msg.clone(), pub_key.clone()); + miden::emit_falcon_sig_to_stack(msg, pub_key); // Verify the signature loaded on the advice stack. miden::rpo_falcon512_verify(pub_key, msg); diff --git a/examples/basic-wallet-tx-script/src/lib.rs b/examples/basic-wallet-tx-script/src/lib.rs index d33761cef..c0cd4a5d0 100644 --- a/examples/basic-wallet-tx-script/src/lib.rs +++ b/examples/basic-wallet-tx-script/src/lib.rs @@ -23,7 +23,7 @@ const ASSET_START: usize = 8; const ASSET_END: usize = 12; #[tx_script] -fn run(arg: Word, account: Account) { +fn run(arg: Word, account: &mut Account) { let num_felts = adv_push_mapvaln(arg.clone()); let num_felts_u64 = num_felts.as_u64(); assert_eq(Felt::from_u32((num_felts_u64 % 4) as u32), felt!(0)); diff --git a/examples/basic-wallet/src/lib.rs b/examples/basic-wallet/src/lib.rs index 02de8de33..e3a3e0b43 100644 --- a/examples/basic-wallet/src/lib.rs +++ b/examples/basic-wallet/src/lib.rs @@ -6,7 +6,7 @@ // // extern crate alloc; -use miden::{component, native_account, output_note, Asset, NoteIdx}; +use miden::{component, output_note, Asset, NoteIdx}; #[component] struct MyAccount; @@ -19,8 +19,8 @@ impl MyAccount { /// /// # Arguments /// * `asset` - The asset to be added to the account - pub fn receive_asset(&self, asset: Asset) { - native_account::add_asset(asset); + pub fn receive_asset(&mut self, asset: Asset) { + self.add_asset(asset); } /// Moves an asset from the account to a note. @@ -31,8 +31,8 @@ impl MyAccount { /// # Arguments /// * `asset` - The asset to move from the account to the note /// * `note_idx` - The index of the note to receive the asset - pub fn move_asset_to_note(&self, asset: Asset, note_idx: NoteIdx) { - let asset = native_account::remove_asset(asset); + pub fn move_asset_to_note(&mut self, asset: Asset, note_idx: NoteIdx) { + let asset = self.remove_asset(asset); output_note::add_asset(asset, note_idx); } } diff --git a/examples/counter-contract/src/lib.rs b/examples/counter-contract/src/lib.rs index 2b7352478..d3dcce261 100644 --- a/examples/counter-contract/src/lib.rs +++ b/examples/counter-contract/src/lib.rs @@ -25,7 +25,7 @@ impl CounterContract { } /// Increments the counter value stored in the contract's storage map by one. - pub fn increment_count(&self) -> Felt { + pub fn increment_count(&mut self) -> Felt { let key = Word::from([felt!(0), felt!(0), felt!(0), felt!(1)]); let current_value: Felt = self.count_map.get(&key); let new_value = current_value + felt!(1); diff --git a/examples/p2id-note/src/lib.rs b/examples/p2id-note/src/lib.rs index 14aecef8a..dc3c31048 100644 --- a/examples/p2id-note/src/lib.rs +++ b/examples/p2id-note/src/lib.rs @@ -12,13 +12,13 @@ use miden::*; use crate::bindings::Account; #[note_script] -fn run(_arg: Word, account: Account) { +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 = AccountId::from(target_account_id_prefix, target_account_id_suffix); - let current_account = active_account::get_id(); + let current_account = account.get_id(); assert_eq!(current_account, target_account); let assets = active_note::get_assets(); diff --git a/examples/p2ide-note/src/lib.rs b/examples/p2ide-note/src/lib.rs index ec0893b71..37bd901fa 100644 --- a/examples/p2ide-note/src/lib.rs +++ b/examples/p2ide-note/src/lib.rs @@ -9,27 +9,27 @@ use miden::*; -use crate::bindings::miden::basic_wallet::basic_wallet::receive_asset; +use crate::bindings::Account; -fn consume_assets() { +fn consume_assets(account: &mut Account) { let assets = active_note::get_assets(); for asset in assets { - receive_asset(asset); + account.receive_asset(asset); } } -fn reclaim_assets(consuming_account: AccountId) { +fn reclaim_assets(account: &mut Account, consuming_account: AccountId) { let creator_account = active_note::get_sender(); if consuming_account == creator_account { - consume_assets(); + consume_assets(account); } else { panic!(); } } #[note_script] -fn run(_arg: Word) { +fn run(_arg: Word, account: &mut Account) { let inputs = active_note::get_inputs(); // make sure the number of inputs is 4 @@ -46,16 +46,16 @@ fn run(_arg: Word) { assert!(block_number >= timelock_height); // get consuming account id - let consuming_account_id = active_account::get_id(); + let consuming_account_id = account.get_id(); // target account id let target_account_id = AccountId::from(target_account_id_prefix, target_account_id_suffix); let is_target = target_account_id == consuming_account_id; if is_target { - consume_assets(); + consume_assets(account); } else { assert!(reclaim_height >= block_number); - reclaim_assets(consuming_account_id); + reclaim_assets(account, consuming_account_id); } } diff --git a/examples/storage-example/src/lib.rs b/examples/storage-example/src/lib.rs index 0ad1a9ee4..b05ecad52 100644 --- a/examples/storage-example/src/lib.rs +++ b/examples/storage-example/src/lib.rs @@ -38,7 +38,7 @@ struct MyAccount { impl foo::Guest for MyAccount { fn set_asset_qty(pub_key: Word, asset: Asset, qty: Felt) { - let my_account = MyAccount::default(); + let mut my_account = MyAccount::default(); let owner_key: Word = my_account.owner_public_key.read(); if pub_key == owner_key { my_account.asset_qty_map.set(asset, qty); diff --git a/sdk/base-macros/src/component_macro/mod.rs b/sdk/base-macros/src/component_macro/mod.rs index db6444b8c..9455f8196 100644 --- a/sdk/base-macros/src/component_macro/mod.rs +++ b/sdk/base-macros/src/component_macro/mod.rs @@ -173,6 +173,8 @@ fn expand_component_struct( #runtime_boilerplate #input_struct #default_impl + impl ::miden::native_account::NativeAccount for #struct_name {} + impl ::miden::active_account::ActiveAccount for #struct_name {} #link_section }) } @@ -236,7 +238,7 @@ fn expand_component_impl( if methods.is_empty() { return Err(syn::Error::new( call_site_span.into(), - "Component `impl` is missing `pub` methods. A component cannot have emty exports.", + "Component `impl` is missing `pub` methods. A component cannot have empty exports.", )); } @@ -284,6 +286,11 @@ fn expand_component_impl( Ok(quote! { ::miden::generate!(inline = #inline_literal, with = { #(#custom_with_entries)* }); + // Bring account traits into scope so users can call `self.add_asset()`, etc. + #[allow(unused_imports)] + use ::miden::native_account::NativeAccount as _; + #[allow(unused_imports)] + use ::miden::active_account::ActiveAccount as _; #impl_block impl #guest_trait_path for #component_type { #(#guest_methods)* diff --git a/sdk/base-macros/src/generate.rs b/sdk/base-macros/src/generate.rs index bafd83fe8..e0fb3e893 100644 --- a/sdk/base-macros/src/generate.rs +++ b/sdk/base-macros/src/generate.rs @@ -254,8 +254,10 @@ fn augment_generated_bindings(tokens: TokenStream2) -> syn::Result if !collected_methods.is_empty() { let struct_ident = syn::Ident::new(WRAPPER_STRUCT_NAME, Span::call_site()); let struct_item: ItemStruct = parse_quote! { - /// Wrapper struct providing methods that delegate to imported interface functions. - #[derive(Clone, Copy, Default)] + /// Wrapper struct that contains all the methods from all the account component + /// dependencies of this script. Each account component dependency method is "merged" + /// into this struct. + #[derive(Default)] pub struct #struct_ident; }; @@ -309,9 +311,12 @@ fn load_wit_sources( manifest_dir.join(path_buf) }; let normalized = fs::canonicalize(&absolute).unwrap_or(absolute); - let (pkg, sources) = resolve - .push_path(normalized.clone()) - .map_err(|err| Error::new(Span::call_site(), err.to_string()))?; + let (pkg, sources) = resolve.push_path(normalized.clone()).map_err(|err| { + Error::new( + Span::call_site(), + format!("failed to load WIT from '{}': {err}", normalized.display()), + ) + })?; packages.push(pkg); files.extend(sources.paths().map(|p| p.to_owned())); } @@ -429,7 +434,9 @@ fn collect_methods_from_module( /// resolve correctly when the method is placed at the bindings root level. fn build_wrapper_method(func: &ItemFn, module_path: &[syn::Ident]) -> syn::Result { let mut sig = func.sig.clone(); - sig.inputs.insert(0, parse_quote!(&self)); + // Make every method `&mut self` as a temporary workaround until + // https://github.com/0xMiden/compiler/issues/802 is resolved + sig.inputs.insert(0, parse_quote!(&mut self)); // Qualify type paths in the signature so they resolve from the bindings root qualify_signature_types(&mut sig, module_path); @@ -870,9 +877,11 @@ mod tests { ]; let method = build_wrapper_method(&func, &path).unwrap(); - // Method should have &self as first parameter + // Method should have &mut self as first parameter assert_eq!(method.sig.inputs.len(), 2); - assert!(matches!(method.sig.inputs.first(), Some(FnArg::Receiver(_)))); + assert!( + matches!(method.sig.inputs.first(), Some(FnArg::Receiver(r)) if r.mutability.is_some()) + ); // Should be public assert!(matches!(method.vis, syn::Visibility::Public(_))); @@ -917,8 +926,8 @@ mod tests { assert!(result_str.contains("fn receive_asset")); assert!(result_str.contains("fn send_asset")); - // Methods should have &self parameter - assert!(result_str.contains("& self")); + // Methods should have &mut self parameter + assert!(result_str.contains("& mut self")); } #[test] diff --git a/sdk/base-macros/src/script.rs b/sdk/base-macros/src/script.rs index 6d4b14b9f..dbc126498 100644 --- a/sdk/base-macros/src/script.rs +++ b/sdk/base-macros/src/script.rs @@ -76,13 +76,18 @@ pub(crate) fn expand( let runtime_boilerplate = runtime_boilerplate(); - // Generate the call to the user's function, with optional injected parameter - let (instantiation, call) = match &injected_param { + // Generate the call to the user's function, with optional injected parameter. + // Note: `Account` generated from account components in scripts only implements `ActiveAccount`. + // `NativeAccount` exposes functions that can be called only by account code. + let (instantiation, call, trait_impl) = match &injected_param { Some((ident, ty)) => ( - quote! { let #ident = <#ty as ::core::default::Default>::default(); }, - quote! { #fn_ident(arg, #ident) }, + quote! { let mut #ident = <#ty as ::core::default::Default>::default(); }, + quote! { #fn_ident(arg, &mut #ident) }, + quote! { + impl ::miden::active_account::ActiveAccount for #ty {} + }, ), - None => (quote! {}, quote! { #fn_ident(arg) }), + None => (quote! {}, quote! { #fn_ident(arg) }, quote! {}), }; let expanded = quote! { @@ -93,6 +98,12 @@ pub(crate) fn expand( ::miden::generate!(inline = #inline_literal); self::bindings::export!(#struct_ident); + #trait_impl + + // Bring ActiveAccount trait into scope so users can call account.get_id(), etc. + #[allow(unused_imports)] + use ::miden::active_account::ActiveAccount as _; + /// Guest entry point generated by the Miden script attribute. pub struct #struct_ident; @@ -113,21 +124,23 @@ pub(crate) fn expand( /// it is treated as an "injected" wrapper struct that will be instantiated via /// `Default::default()` and passed to the user's function. /// -/// Only up to 2 parameters are supported: `(arg: Word)` or `(arg: Word, account: Account)`. +/// Only up to 2 parameters are supported: `(arg: Word)` or `(arg: Word, account: &mut Account)`. /// /// Returns `Some((ident, type))` if a second parameter exists, `None` otherwise. fn parse_injected_param(input_fn: &ItemFn) -> syn::Result> { if input_fn.sig.inputs.is_empty() { return Err(syn::Error::new( input_fn.sig.span(), - "fn run requires at least one parameter: (arg: Word) or (arg: Word, account: Account)", + "fn run requires at least one parameter: (arg: Word) or (arg: Word, account: &mut \ + Account)", )); } if input_fn.sig.inputs.len() > 2 { return Err(syn::Error::new( input_fn.sig.span(), - "fn run accepts at most 2 parameters: (arg: Word) or (arg: Word, account: Account)", + "fn run accepts at most 2 parameters: (arg: Word) or (arg: Word, account: &mut \ + Account)", )); } @@ -142,7 +155,7 @@ fn parse_injected_param(input_fn: &ItemFn) -> syn::Result syn::Result { Err(syn::Error::new(receiver.span(), "unexpected receiver argument")) @@ -177,16 +191,44 @@ fn parse_injected_param(input_fn: &ItemFn) -> syn::Result bool { +/// Ensures the type is `&mut Account` (allowing paths like `crate::bindings::Account`) and returns +/// the underlying `Account` type. +fn expect_mut_account_type(ty: &syn::Type) -> syn::Result { + let syn::Type::Reference(type_ref) = ty else { + return Err(syn::Error::new( + ty.span(), + "second parameter must be typed as `account: &mut Account`", + )); + }; + if type_ref.mutability.is_none() { + return Err(syn::Error::new( + ty.span(), + "second parameter must be typed as `account: &mut Account`", + )); + } + if !is_type_named(&type_ref.elem, "Account") { + return Err(syn::Error::new( + ty.span(), + "second parameter must be typed as `account: &mut Account`", + )); + } + Ok((*type_ref.elem).clone()) +} + +/// Checks if a type's final path segment matches `name` (allowing module-qualified paths like +/// `miden::Word` or `crate::bindings::Account`). +fn is_type_named(ty: &syn::Type, name: &str) -> bool { let syn::Type::Path(type_path) = ty else { return false; }; if type_path.qself.is_some() { return false; } - let last_segment = type_path.path.segments.last(); - last_segment.is_some_and(|seg| seg.ident == "Word" && seg.arguments.is_empty()) + type_path + .path + .segments + .last() + .is_some_and(|seg| seg.ident == name && seg.arguments.is_empty()) } fn build_script_wit( diff --git a/sdk/base-sys/src/bindings/active_account.rs b/sdk/base-sys/src/bindings/active_account.rs index 5c56b04e2..1528261b1 100644 --- a/sdk/base-sys/src/bindings/active_account.rs +++ b/sdk/base-sys/src/bindings/active_account.rs @@ -187,3 +187,103 @@ pub fn has_procedure(proc_root: Word) -> bool { != Felt::from_u32(0) } } + +/// Trait that provides active account operations for components. +/// +/// This trait is automatically implemented for types marked with the `#[component]` macro. +pub trait ActiveAccount { + /// Returns the account ID of the active account. + #[inline] + fn get_id(&self) -> AccountId { + get_id() + } + + /// Returns the nonce of the active account. + #[inline] + fn get_nonce(&self) -> Felt { + get_nonce() + } + + /// Returns the active account commitment at the beginning of the transaction. + #[inline] + fn get_initial_commitment(&self) -> Word { + get_initial_commitment() + } + + /// Computes and returns the commitment of the current account data. + #[inline] + fn compute_commitment(&self) -> Word { + compute_commitment() + } + + /// Returns the code commitment of the active account. + #[inline] + fn get_code_commitment(&self) -> Word { + get_code_commitment() + } + + /// Returns the initial storage commitment of the active account. + #[inline] + fn get_initial_storage_commitment(&self) -> Word { + get_initial_storage_commitment() + } + + /// Computes the latest storage commitment of the active account. + #[inline] + fn compute_storage_commitment(&self) -> Word { + compute_storage_commitment() + } + + /// Returns the balance of the fungible asset identified by `faucet_id`. + /// + /// # Panics + /// + /// Propagates kernel errors if the referenced asset is non-fungible or the + /// account vault invariants are violated. + #[inline] + fn get_balance(&self, faucet_id: AccountId) -> Felt { + get_balance(faucet_id) + } + + /// Returns the initial balance of the fungible asset identified by `faucet_id`. + #[inline] + fn get_initial_balance(&self, faucet_id: AccountId) -> Felt { + get_initial_balance(faucet_id) + } + + /// Returns `true` if the active account vault currently contains the specified non-fungible asset. + #[inline] + fn has_non_fungible_asset(&self, asset: Asset) -> bool { + has_non_fungible_asset(asset) + } + + /// Returns the vault root of the active account at the beginning of the transaction. + #[inline] + fn get_initial_vault_root(&self) -> Word { + get_initial_vault_root() + } + + /// Returns the current vault root of the active account. + #[inline] + fn get_vault_root(&self) -> Word { + get_vault_root() + } + + /// Returns the number of procedures exported by the active account. + #[inline] + fn get_num_procedures(&self) -> Felt { + get_num_procedures() + } + + /// Returns the procedure root for the procedure at `index`. + #[inline] + fn get_procedure_root(&self, index: u8) -> Word { + get_procedure_root(index) + } + + /// Returns `true` if the procedure identified by `proc_root` exists on the active account. + #[inline] + fn has_procedure(&self, proc_root: Word) -> bool { + has_procedure(proc_root) + } +} diff --git a/sdk/base-sys/src/bindings/native_account.rs b/sdk/base-sys/src/bindings/native_account.rs index e113f6573..99f5d94c1 100644 --- a/sdk/base-sys/src/bindings/native_account.rs +++ b/sdk/base-sys/src/bindings/native_account.rs @@ -106,3 +106,55 @@ pub fn was_procedure_called(proc_root: Word) -> bool { ) != Felt::from_u32(0) } } + +/// Trait that provides native account operations for components. +/// +/// This trait is automatically implemented for types marked with the `#[component]` macro. +pub trait NativeAccount { + /// Add the specified asset to the vault. + /// + /// Returns the final asset in the account vault defined as follows: If `asset` is + /// a non-fungible asset, then returns the same as `asset`. If `asset` is a + /// fungible asset, then returns the total fungible asset in the account + /// vault after `asset` was added to it. + /// + /// # Panics + /// + /// - If the asset is not valid. + /// - If the total value of two fungible assets is greater than or equal to 2^63. + /// - If the vault already contains the same non-fungible asset. + #[inline] + fn add_asset(&mut self, asset: Asset) -> Asset { + add_asset(asset) + } + + /// Remove the specified asset from the vault. + /// + /// # Panics + /// + /// - 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. + #[inline] + fn remove_asset(&mut self, asset: Asset) -> Asset { + remove_asset(asset) + } + + /// Increments the account nonce by one and returns the new nonce. + #[inline] + fn incr_nonce(&mut self) -> Felt { + incr_nonce() + } + + /// Computes and returns the commitment to the native account's delta for this transaction. + #[inline] + fn compute_delta_commitment(&self) -> Word { + compute_delta_commitment() + } + + /// Returns `true` if the procedure identified by `proc_root` was called during the transaction. + #[inline] + fn was_procedure_called(&self, proc_root: Word) -> bool { + was_procedure_called(proc_root) + } +} diff --git a/sdk/base/src/types/storage.rs b/sdk/base/src/types/storage.rs index 4037c78f5..376711b86 100644 --- a/sdk/base/src/types/storage.rs +++ b/sdk/base/src/types/storage.rs @@ -3,7 +3,7 @@ use miden_stdlib_sys::Word; pub trait ValueAccess { fn read(&self) -> V; - fn write(&self, value: V) -> (StorageCommitmentRoot, V); + fn write(&mut self, value: V) -> (StorageCommitmentRoot, V); } pub struct Value { @@ -22,7 +22,7 @@ impl + From> ValueAccess for Value { /// - new_root is the new storage commitment. /// - old_value is the previous value of the item. #[inline(always)] - fn write(&self, value: V) -> (StorageCommitmentRoot, V) { + fn write(&mut self, value: V) -> (StorageCommitmentRoot, V) { let (root, old_word) = storage::set_item(self.slot, value.into()); (root, old_word.into()) } @@ -32,7 +32,7 @@ pub trait StorageMapAccess { /// Returns a map item value for `key` from the account storage. fn get(&self, key: &K) -> V; /// Sets a map item `value` for `key` in the account storage and returns (old_root, old_value) - fn set(&self, key: K, value: V) -> (StorageCommitmentRoot, V); + fn set(&mut self, key: K, value: V) -> (StorageCommitmentRoot, V); } pub struct StorageMap { @@ -53,7 +53,7 @@ impl + AsRef, V: From + Into> StorageMapAccess (StorageCommitmentRoot, V) { + fn set(&mut self, key: K, value: V) -> (StorageCommitmentRoot, V) { let (root, old_word) = storage::set_map_item(self.slot, key.into(), value.into()); (root, old_word.into()) } diff --git a/tests/integration/expected/examples/auth_component_no_auth.hir b/tests/integration/expected/examples/auth_component_no_auth.hir index c6157e73a..4fafeea1b 100644 --- a/tests/integration/expected/examples/auth_component_no_auth.hir +++ b/tests/integration/expected/examples/auth_component_no_auth.hir @@ -1,4 +1,4 @@ -builtin.component miden:base/authentication-component@1.0.0 { +builtin.component miden:auth-component-no-auth/auth-component-no-auth@0.1.0 { builtin.module public @auth_component_no_auth { private builtin.function @__wasm_call_ctors() { ^block5: @@ -10,20 +10,20 @@ builtin.component miden:base/authentication-component@1.0.0 { builtin.ret ; }; - private builtin.function @miden:base/authentication-component@1.0.0#auth-procedure(v0: felt, v1: felt, v2: felt, v3: felt) { + private builtin.function @miden:auth-component-no-auth/auth-component-no-auth@0.1.0#auth-procedure(v0: felt, v1: felt, v2: felt, v3: felt) { ^block9(v0: felt, v1: felt, v2: felt, v3: felt): - v5 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_no_auth/__stack_pointer : ptr + v5 = builtin.global_symbol @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/__stack_pointer : ptr v6 = hir.bitcast v5 : ptr; v7 = hir.load v6 : i32; v8 = arith.constant 64 : i32; v9 = arith.sub v7, v8 : i32 #[overflow = wrapping]; - v10 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_no_auth/__stack_pointer : ptr + v10 = builtin.global_symbol @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/__stack_pointer : ptr v11 = hir.bitcast v10 : ptr; hir.store v11, v9; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_no_auth/wit_bindgen::rt::run_ctors_once() + hir.exec @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/wit_bindgen::rt::run_ctors_once() v12 = arith.constant 32 : i32; v13 = arith.add v9, v12 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_no_auth/miden::active_account::get_initial_commitment(v13) + hir.exec @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/miden::active_account::get_initial_commitment(v13) v15 = arith.constant 40 : u32; v14 = hir.bitcast v9 : u32; v16 = arith.add v14, v15 : u32 #[overflow = checked]; @@ -58,10 +58,10 @@ builtin.component miden:base/authentication-component@1.0.0 { hir.store v39, v33; v40 = arith.constant 48 : i32; v41 = arith.add v9, v40 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_no_auth/miden_stdlib_sys::intrinsics::word::Word::reverse(v9, v41) + hir.exec @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/miden_stdlib_sys::intrinsics::word::Word::reverse(v9, v41) v381 = arith.constant 32 : i32; v43 = arith.add v9, v381 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_no_auth/miden::active_account::compute_commitment(v43) + hir.exec @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/miden::active_account::compute_commitment(v43) v380 = arith.constant 40 : u32; v44 = hir.bitcast v9 : u32; v46 = arith.add v44, v380 : u32 #[overflow = checked]; @@ -98,7 +98,7 @@ builtin.component miden:base/authentication-component@1.0.0 { v73 = arith.add v9, v372 : i32 #[overflow = wrapping]; v70 = arith.constant 16 : i32; v71 = arith.add v9, v70 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_no_auth/miden_stdlib_sys::intrinsics::word::Word::reverse(v71, v73) + hir.exec @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/miden_stdlib_sys::intrinsics::word::Word::reverse(v71, v73) v75 = arith.constant 16 : u32; v74 = hir.bitcast v9 : u32; v76 = arith.add v74, v75 : u32 #[overflow = checked]; @@ -113,7 +113,7 @@ builtin.component miden:base/authentication-component@1.0.0 { hir.assertz v83 #[code = 250]; v84 = hir.int_to_ptr v81 : ptr; v85 = hir.load v84 : felt; - v86 = hir.exec @miden:base/authentication-component@1.0.0/auth_component_no_auth/intrinsics::felt::eq(v80, v85) : i32 + v86 = hir.exec @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/intrinsics::felt::eq(v80, v85) : i32 v4 = arith.constant 0 : i32; v87 = arith.constant 1 : i32; v88 = arith.neq v86, v87 : i1; @@ -143,7 +143,7 @@ builtin.component miden:base/authentication-component@1.0.0 { hir.assertz v104 #[code = 250]; v105 = hir.int_to_ptr v102 : ptr; v106 = hir.load v105 : felt; - v107 = hir.exec @miden:base/authentication-component@1.0.0/auth_component_no_auth/intrinsics::felt::eq(v99, v106) : i32 + v107 = hir.exec @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/intrinsics::felt::eq(v99, v106) : i32 v366 = arith.constant 0 : i32; v367 = arith.constant 1 : i32; v109 = arith.neq v107, v367 : i1; @@ -173,7 +173,7 @@ builtin.component miden:base/authentication-component@1.0.0 { hir.assertz v125 #[code = 250]; v126 = hir.int_to_ptr v123 : ptr; v127 = hir.load v126 : felt; - v128 = hir.exec @miden:base/authentication-component@1.0.0/auth_component_no_auth/intrinsics::felt::eq(v120, v127) : i32 + v128 = hir.exec @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/intrinsics::felt::eq(v120, v127) : i32 v359 = arith.constant 0 : i32; v360 = arith.constant 1 : i32; v130 = arith.neq v128, v360 : i1; @@ -203,7 +203,7 @@ builtin.component miden:base/authentication-component@1.0.0 { hir.assertz v146 #[code = 250]; v147 = hir.int_to_ptr v144 : ptr; v148 = hir.load v147 : felt; - v149 = hir.exec @miden:base/authentication-component@1.0.0/auth_component_no_auth/intrinsics::felt::eq(v141, v148) : i32 + v149 = hir.exec @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/intrinsics::felt::eq(v141, v148) : i32 v353 = arith.constant 0 : i32; v354 = arith.constant 1 : i32; v151 = arith.eq v149, v354 : i1; @@ -226,7 +226,7 @@ builtin.component miden:base/authentication-component@1.0.0 { v330 = scf.index_switch v329 : i32 case 0 { ^block12: - v156 = hir.exec @miden:base/authentication-component@1.0.0/auth_component_no_auth/miden::native_account::incr_nonce() : felt + v156 = hir.exec @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/miden::native_account::incr_nonce() : felt scf.yield v327; } default { @@ -235,7 +235,7 @@ builtin.component miden:base/authentication-component@1.0.0 { }; v349 = arith.constant 64 : i32; v160 = arith.add v330, v349 : i32 #[overflow = wrapping]; - v161 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_no_auth/__stack_pointer : ptr + v161 = builtin.global_symbol @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/__stack_pointer : ptr v162 = hir.bitcast v161 : ptr; hir.store v162, v160; builtin.ret ; @@ -243,7 +243,7 @@ builtin.component miden:base/authentication-component@1.0.0 { private builtin.function @wit_bindgen::rt::run_ctors_once() { ^block17: - v164 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_no_auth/GOT.data.internal.__memory_base : ptr + v164 = builtin.global_symbol @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/GOT.data.internal.__memory_base : ptr v165 = hir.bitcast v164 : ptr; v166 = hir.load v165 : i32; v167 = arith.constant 1048584 : i32; @@ -260,10 +260,10 @@ builtin.component miden:base/authentication-component@1.0.0 { scf.yield ; } else { ^block20: - v176 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_no_auth/GOT.data.internal.__memory_base : ptr + v176 = builtin.global_symbol @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/GOT.data.internal.__memory_base : ptr v177 = hir.bitcast v176 : ptr; v178 = hir.load v177 : i32; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_no_auth/__wasm_call_ctors() + hir.exec @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/__wasm_call_ctors() v386 = arith.constant 1 : u8; v388 = arith.constant 1048584 : i32; v180 = arith.add v178, v388 : i32 #[overflow = wrapping]; @@ -277,7 +277,7 @@ builtin.component miden:base/authentication-component@1.0.0 { private builtin.function @miden_stdlib_sys::intrinsics::word::Word::reverse(v186: i32, v187: i32) { ^block21(v186: i32, v187: i32): - v190 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_no_auth/__stack_pointer : ptr + v190 = builtin.global_symbol @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/__stack_pointer : ptr v191 = hir.bitcast v190 : ptr; v192 = hir.load v191 : i32; v193 = arith.constant 16 : i32; @@ -470,7 +470,7 @@ builtin.component miden:base/authentication-component@1.0.0 { public builtin.function @auth__procedure(v314: felt, v315: felt, v316: felt, v317: felt) { ^block38(v314: felt, v315: felt, v316: felt, v317: felt): - hir.exec @miden:base/authentication-component@1.0.0/auth_component_no_auth/miden:base/authentication-component@1.0.0#auth-procedure(v314, v315, v316, v317) + hir.exec @miden:auth-component-no-auth/auth-component-no-auth@0.1.0/auth_component_no_auth/miden:auth-component-no-auth/auth-component-no-auth@0.1.0#auth-procedure(v314, v315, v316, v317) builtin.ret ; }; }; \ No newline at end of file diff --git a/tests/integration/expected/examples/auth_component_no_auth.masm b/tests/integration/expected/examples/auth_component_no_auth.masm index d3a9e54c8..42200135d 100644 --- a/tests/integration/expected/examples/auth_component_no_auth.masm +++ b/tests/integration/expected/examples/auth_component_no_auth.masm @@ -1,11 +1,11 @@ -# mod miden:base/authentication-component@1.0.0 +# mod miden:auth-component-no-auth/auth-component-no-auth@0.1.0 @callconv("canon-lift") pub proc auth__procedure(felt, felt, felt, felt) - exec.::miden:base/authentication-component@1.0.0::init + exec.::miden:auth-component-no-auth/auth-component-no-auth@0.1.0::init trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_no_auth::miden:base/authentication-component@1.0.0#auth-procedure + exec.::miden:auth-component-no-auth/auth-component-no-auth@0.1.0::auth_component_no_auth::miden:auth-component-no-auth/auth-component-no-auth@0.1.0#auth-procedure trace.252 nop exec.::std::sys::truncate_stack @@ -32,7 +32,7 @@ proc init mem_store.278537 end -# mod miden:base/authentication-component@1.0.0::auth_component_no_auth +# mod miden:auth-component-no-auth/auth-component-no-auth@0.1.0::auth_component_no_auth @callconv("C") proc __wasm_call_ctors( @@ -49,7 +49,7 @@ proc auth_component_no_auth::bindings::__link_custom_section_describing_imports( end @callconv("C") -proc miden:base/authentication-component@1.0.0#auth-procedure( +proc miden:auth-component-no-auth/auth-component-no-auth@0.1.0#auth-procedure( felt, felt, felt, @@ -81,7 +81,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( nop trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_no_auth::wit_bindgen::rt::run_ctors_once + exec.::miden:auth-component-no-auth/auth-component-no-auth@0.1.0::auth_component_no_auth::wit_bindgen::rt::run_ctors_once trace.252 nop push.32 @@ -89,7 +89,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( u32wrapping_add trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_no_auth::miden::active_account::get_initial_commitment + exec.::miden:auth-component-no-auth/auth-component-no-auth@0.1.0::auth_component_no_auth::miden::active_account::get_initial_commitment trace.252 nop push.40 @@ -166,7 +166,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( dup.1 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_no_auth::miden_stdlib_sys::intrinsics::word::Word::reverse + exec.::miden:auth-component-no-auth/auth-component-no-auth@0.1.0::auth_component_no_auth::miden_stdlib_sys::intrinsics::word::Word::reverse trace.252 nop push.32 @@ -174,7 +174,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( u32wrapping_add trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_no_auth::miden::active_account::compute_commitment + exec.::miden:auth-component-no-auth/auth-component-no-auth@0.1.0::auth_component_no_auth::miden::active_account::compute_commitment trace.252 nop push.40 @@ -253,7 +253,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( u32wrapping_add trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_no_auth::miden_stdlib_sys::intrinsics::word::Word::reverse + exec.::miden:auth-component-no-auth/auth-component-no-auth@0.1.0::auth_component_no_auth::miden_stdlib_sys::intrinsics::word::Word::reverse trace.252 nop push.16 @@ -290,7 +290,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( swap.1 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_no_auth::intrinsics::felt::eq + exec.::miden:auth-component-no-auth/auth-component-no-auth@0.1.0::auth_component_no_auth::intrinsics::felt::eq trace.252 nop push.0 @@ -340,7 +340,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( swap.1 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_no_auth::intrinsics::felt::eq + exec.::miden:auth-component-no-auth/auth-component-no-auth@0.1.0::auth_component_no_auth::intrinsics::felt::eq trace.252 nop push.0 @@ -390,7 +390,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( swap.1 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_no_auth::intrinsics::felt::eq + exec.::miden:auth-component-no-auth/auth-component-no-auth@0.1.0::auth_component_no_auth::intrinsics::felt::eq trace.252 nop push.0 @@ -440,7 +440,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( swap.1 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_no_auth::intrinsics::felt::eq + exec.::miden:auth-component-no-auth/auth-component-no-auth@0.1.0::auth_component_no_auth::intrinsics::felt::eq trace.252 nop push.0 @@ -474,7 +474,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( drop trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_no_auth::miden::native_account::incr_nonce + exec.::miden:auth-component-no-auth/auth-component-no-auth@0.1.0::auth_component_no_auth::miden::native_account::incr_nonce trace.252 nop drop @@ -536,7 +536,7 @@ proc wit_bindgen::rt::run_ctors_once( nop trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_no_auth::__wasm_call_ctors + exec.::miden:auth-component-no-auth/auth-component-no-auth@0.1.0::auth_component_no_auth::__wasm_call_ctors trace.252 nop push.1 diff --git a/tests/integration/expected/examples/auth_component_no_auth.wat b/tests/integration/expected/examples/auth_component_no_auth.wat index 7f6a0a377..534f70666 100644 --- a/tests/integration/expected/examples/auth_component_no_auth.wat +++ b/tests/integration/expected/examples/auth_component_no_auth.wat @@ -21,11 +21,11 @@ (global $__stack_pointer (;0;) (mut i32) i32.const 1048576) (global $GOT.data.internal.__memory_base (;1;) i32 i32.const 0) (export "memory" (memory 0)) - (export "miden:base/authentication-component@1.0.0#auth-procedure" (func $miden:base/authentication-component@1.0.0#auth-procedure)) + (export "miden:auth-component-no-auth/auth-component-no-auth@0.1.0#auth-procedure" (func $miden:auth-component-no-auth/auth-component-no-auth@0.1.0#auth-procedure)) (elem (;0;) (i32.const 1) func $auth_component_no_auth::bindings::__link_custom_section_describing_imports) (func $__wasm_call_ctors (;0;) (type 0)) (func $auth_component_no_auth::bindings::__link_custom_section_describing_imports (;1;) (type 0)) - (func $miden:base/authentication-component@1.0.0#auth-procedure (;2;) (type 1) (param f32 f32 f32 f32) + (func $miden:auth-component-no-auth/auth-component-no-auth@0.1.0#auth-procedure (;2;) (type 1) (param f32 f32 f32 f32) (local i32) global.get $__stack_pointer i32.const 64 @@ -201,12 +201,13 @@ unreachable ) (data $.data (;0;) (i32.const 1048576) "\01\00\00\00\01\00\00\00") + (@custom "rodata,miden_account" (after data) "-auth-component-no-auth\01\0b0.1.0\01\01") ) (alias export 0 "word" (type (;1;))) (core instance (;0;) (instantiate 0)) (alias core export 0 "memory" (core memory (;0;))) (type (;2;) (func (param "arg" 1))) - (alias core export 0 "miden:base/authentication-component@1.0.0#auth-procedure" (core func (;0;))) + (alias core export 0 "miden:auth-component-no-auth/auth-component-no-auth@0.1.0#auth-procedure" (core func (;0;))) (func (;0;) (type 2) (canon lift (core func 0))) (alias export 0 "felt" (type (;3;))) (alias export 0 "word" (type (;4;))) @@ -230,5 +231,5 @@ (with "import-type-word0" (type 1)) ) ) - (export (;2;) "miden:base/authentication-component@1.0.0" (instance 1)) + (export (;2;) "miden:auth-component-no-auth/auth-component-no-auth@0.1.0" (instance 1)) ) diff --git a/tests/integration/expected/examples/auth_component_rpo_falcon512.hir b/tests/integration/expected/examples/auth_component_rpo_falcon512.hir index 7752b57de..0d831231f 100644 --- a/tests/integration/expected/examples/auth_component_rpo_falcon512.hir +++ b/tests/integration/expected/examples/auth_component_rpo_falcon512.hir @@ -1,4 +1,4 @@ -builtin.component miden:base/authentication-component@1.0.0 { +builtin.component miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0 { builtin.module public @auth_component_rpo_falcon512 { private builtin.function @__wasm_call_ctors() { ^block5: @@ -10,22 +10,22 @@ builtin.component miden:base/authentication-component@1.0.0 { builtin.ret ; }; - private builtin.function @miden:base/authentication-component@1.0.0#auth-procedure(v0: felt, v1: felt, v2: felt, v3: felt) { + private builtin.function @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0#auth-procedure(v0: felt, v1: felt, v2: felt, v3: felt) { ^block9(v0: felt, v1: felt, v2: felt, v3: felt): - v10 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/__stack_pointer : ptr + v10 = builtin.global_symbol @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/__stack_pointer : ptr v11 = hir.bitcast v10 : ptr; v12 = hir.load v11 : i32; v13 = arith.constant 112 : i32; v14 = arith.sub v12, v13 : i32 #[overflow = wrapping]; - v15 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/__stack_pointer : ptr + v15 = builtin.global_symbol @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/__stack_pointer : ptr v16 = hir.bitcast v15 : ptr; hir.store v16, v14; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/wit_bindgen::rt::run_ctors_once() - v17 = hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden_base_sys::bindings::tx::get_block_number() : felt - v18 = hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden::native_account::incr_nonce() : felt + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/wit_bindgen::rt::run_ctors_once() + v17 = hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden_base_sys::bindings::tx::get_block_number() : felt + v18 = hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden::native_account::incr_nonce() : felt v19 = arith.constant 80 : i32; v20 = arith.add v14, v19 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden::native_account::compute_delta_commitment(v20) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden::native_account::compute_delta_commitment(v20) v22 = arith.constant 88 : u32; v21 = hir.bitcast v14 : u32; v23 = arith.add v21, v22 : u32 #[overflow = checked]; @@ -60,17 +60,17 @@ builtin.component miden:base/authentication-component@1.0.0 { hir.store v46, v40; v47 = arith.constant 96 : i32; v48 = arith.add v14, v47 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden_stdlib_sys::intrinsics::word::Word::reverse(v14, v48) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden_stdlib_sys::intrinsics::word::Word::reverse(v14, v48) v49 = arith.constant 16 : i32; v50 = arith.add v14, v49 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden_base_sys::bindings::tx::get_input_notes_commitment(v50) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden_base_sys::bindings::tx::get_input_notes_commitment(v50) v51 = arith.constant 32 : i32; v52 = arith.add v14, v51 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden_base_sys::bindings::tx::get_output_notes_commitment(v52) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden_base_sys::bindings::tx::get_output_notes_commitment(v52) v4 = arith.constant 0 : i32; - v55 = hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/intrinsics::felt::from_u32(v4) : felt + v55 = hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/intrinsics::felt::from_u32(v4) : felt v835 = arith.constant 0 : i32; - v57 = hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/intrinsics::felt::from_u32(v835) : felt + v57 = hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/intrinsics::felt::from_u32(v835) : felt v59 = arith.constant 60 : u32; v58 = hir.bitcast v14 : u32; v60 = arith.add v58, v59 : u32 #[overflow = checked]; @@ -104,10 +104,10 @@ builtin.component miden:base/authentication-component@1.0.0 { v81 = hir.int_to_ptr v78 : ptr; hir.store v81, v55; v831 = arith.constant 0 : i32; - v83 = hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/intrinsics::felt::from_u32(v831) : felt + v83 = hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/intrinsics::felt::from_u32(v831) : felt v830 = arith.constant 0 : i32; - v85 = hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/intrinsics::felt::from_u32(v830) : felt - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/intrinsics::felt::assert_eq(v83, v85) + v85 = hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/intrinsics::felt::from_u32(v830) : felt + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/intrinsics::felt::assert_eq(v83, v85) v649 = arith.constant 2 : u32; v87 = hir.bitcast v14 : u32; v89 = arith.shr v87, v649 : u32; @@ -116,7 +116,7 @@ builtin.component miden:base/authentication-component@1.0.0 { v94 = arith.add v14, v828 : i32 #[overflow = wrapping]; v829 = arith.constant 16 : i32; v92 = arith.add v90, v829 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/std::crypto::hashes::rpo::hash_memory_words(v90, v92, v94) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/std::crypto::hashes::rpo::hash_memory_words(v90, v92, v94) v827 = arith.constant 88 : u32; v95 = hir.bitcast v14 : u32; v97 = arith.add v95, v827 : u32 #[overflow = checked]; @@ -153,7 +153,7 @@ builtin.component miden:base/authentication-component@1.0.0 { v124 = arith.add v14, v819 : i32 #[overflow = wrapping]; v121 = arith.constant 64 : i32; v122 = arith.add v14, v121 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden_stdlib_sys::intrinsics::word::Word::reverse(v122, v124) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden_stdlib_sys::intrinsics::word::Word::reverse(v122, v124) v126 = arith.constant 64 : u32; v125 = hir.bitcast v14 : u32; v127 = arith.add v125, v126 : u32 #[overflow = checked]; @@ -205,7 +205,7 @@ builtin.component miden:base/authentication-component@1.0.0 { ^block14: v200 = arith.constant 4 : i32; v163 = arith.add v760, v759 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/core::ptr::swap_nonoverlapping_bytes::swap_nonoverlapping_chunks(v163, v761, v200) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/core::ptr::swap_nonoverlapping_bytes::swap_nonoverlapping_chunks(v163, v761, v200) v168 = arith.constant -16 : i32; v169 = arith.add v761, v168 : i32 #[overflow = wrapping]; v811 = arith.constant 16 : i32; @@ -266,12 +266,12 @@ builtin.component miden:base/authentication-component@1.0.0 { v799 = arith.constant 4 : i32; v800 = arith.constant 96 : i32; v199 = arith.add v754, v800 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden_stdlib_sys::intrinsics::advice::adv_insert(v199, v754, v799) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden_stdlib_sys::intrinsics::advice::adv_insert(v199, v754, v799) v798 = arith.constant 0 : i32; - v202 = hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/>::from(v798) : felt + v202 = hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/>::from(v798) : felt v797 = arith.constant 80 : i32; v204 = arith.add v754, v797 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden::active_account::get_item(v202, v204) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden::active_account::get_item(v202, v204) v796 = arith.constant 88 : u32; v205 = hir.bitcast v754 : u32; v207 = arith.add v205, v796 : u32 #[overflow = checked]; @@ -308,7 +308,7 @@ builtin.component miden:base/authentication-component@1.0.0 { v234 = arith.add v754, v787 : i32 #[overflow = wrapping]; v788 = arith.constant 64 : i32; v232 = arith.add v754, v788 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden_stdlib_sys::intrinsics::word::Word::reverse(v232, v234) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden_stdlib_sys::intrinsics::word::Word::reverse(v232, v234) v786 = arith.constant 76 : u32; v235 = hir.bitcast v754 : u32; v237 = arith.add v235, v786 : u32 #[overflow = checked]; @@ -341,11 +341,11 @@ builtin.component miden:base/authentication-component@1.0.0 { hir.assertz v260 #[code = 250]; v261 = hir.int_to_ptr v258 : ptr; v262 = hir.load v261 : felt; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/intrinsics::advice::emit_falcon_sig_to_stack(v755, v756, v757, v758, v241, v248, v255, v262) - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/std::crypto::dsa::rpo_falcon512::verify(v241, v248, v255, v262, v755, v756, v757, v758) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/intrinsics::advice::emit_falcon_sig_to_stack(v755, v756, v757, v758, v241, v248, v255, v262) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/std::crypto::dsa::rpo_falcon512::verify(v241, v248, v255, v262, v755, v756, v757, v758) v778 = arith.constant 112 : i32; v264 = arith.add v754, v778 : i32 #[overflow = wrapping]; - v265 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/__stack_pointer : ptr + v265 = builtin.global_symbol @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/__stack_pointer : ptr v266 = hir.bitcast v265 : ptr; hir.store v266, v264; builtin.ret ; @@ -353,7 +353,7 @@ builtin.component miden:base/authentication-component@1.0.0 { private builtin.function @wit_bindgen::rt::run_ctors_once() { ^block15: - v268 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/GOT.data.internal.__memory_base : ptr + v268 = builtin.global_symbol @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/GOT.data.internal.__memory_base : ptr v269 = hir.bitcast v268 : ptr; v270 = hir.load v269 : i32; v271 = arith.constant 1048584 : i32; @@ -370,10 +370,10 @@ builtin.component miden:base/authentication-component@1.0.0 { scf.yield ; } else { ^block18: - v280 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/GOT.data.internal.__memory_base : ptr + v280 = builtin.global_symbol @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/GOT.data.internal.__memory_base : ptr v281 = hir.bitcast v280 : ptr; v282 = hir.load v281 : i32; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/__wasm_call_ctors() + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/__wasm_call_ctors() v840 = arith.constant 1 : u8; v842 = arith.constant 1048584 : i32; v284 = arith.add v282, v842 : i32 #[overflow = wrapping]; @@ -387,21 +387,21 @@ builtin.component miden:base/authentication-component@1.0.0 { private builtin.function @miden_base_sys::bindings::tx::get_block_number() -> felt { ^block19: - v291 = hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden::tx::get_block_number() : felt + v291 = hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden::tx::get_block_number() : felt builtin.ret v291; }; private builtin.function @miden_base_sys::bindings::tx::get_input_notes_commitment(v292: i32) { ^block21(v292: i32): - v294 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/__stack_pointer : ptr + v294 = builtin.global_symbol @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/__stack_pointer : ptr v295 = hir.bitcast v294 : ptr; v296 = hir.load v295 : i32; v297 = arith.constant 32 : i32; v298 = arith.sub v296, v297 : i32 #[overflow = wrapping]; - v299 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/__stack_pointer : ptr + v299 = builtin.global_symbol @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/__stack_pointer : ptr v300 = hir.bitcast v299 : ptr; hir.store v300, v298; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden::tx::get_input_notes_commitment(v298) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden::tx::get_input_notes_commitment(v298) v302 = arith.constant 8 : u32; v301 = hir.bitcast v298 : u32; v303 = arith.add v301, v302 : u32 #[overflow = checked]; @@ -434,10 +434,10 @@ builtin.component miden:base/authentication-component@1.0.0 { hir.store v324, v318; v325 = arith.constant 16 : i32; v326 = arith.add v298, v325 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden_stdlib_sys::intrinsics::word::Word::reverse(v292, v326) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden_stdlib_sys::intrinsics::word::Word::reverse(v292, v326) v843 = arith.constant 32 : i32; v328 = arith.add v298, v843 : i32 #[overflow = wrapping]; - v329 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/__stack_pointer : ptr + v329 = builtin.global_symbol @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/__stack_pointer : ptr v330 = hir.bitcast v329 : ptr; hir.store v330, v328; builtin.ret ; @@ -445,15 +445,15 @@ builtin.component miden:base/authentication-component@1.0.0 { private builtin.function @miden_base_sys::bindings::tx::get_output_notes_commitment(v331: i32) { ^block23(v331: i32): - v333 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/__stack_pointer : ptr + v333 = builtin.global_symbol @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/__stack_pointer : ptr v334 = hir.bitcast v333 : ptr; v335 = hir.load v334 : i32; v336 = arith.constant 32 : i32; v337 = arith.sub v335, v336 : i32 #[overflow = wrapping]; - v338 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/__stack_pointer : ptr + v338 = builtin.global_symbol @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/__stack_pointer : ptr v339 = hir.bitcast v338 : ptr; hir.store v339, v337; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden::tx::get_output_notes_commitment(v337) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden::tx::get_output_notes_commitment(v337) v341 = arith.constant 8 : u32; v340 = hir.bitcast v337 : u32; v342 = arith.add v340, v341 : u32 #[overflow = checked]; @@ -486,10 +486,10 @@ builtin.component miden:base/authentication-component@1.0.0 { hir.store v363, v357; v364 = arith.constant 16 : i32; v365 = arith.add v337, v364 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden_stdlib_sys::intrinsics::word::Word::reverse(v331, v365) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden_stdlib_sys::intrinsics::word::Word::reverse(v331, v365) v848 = arith.constant 32 : i32; v367 = arith.add v337, v848 : i32 #[overflow = wrapping]; - v368 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/__stack_pointer : ptr + v368 = builtin.global_symbol @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/__stack_pointer : ptr v369 = hir.bitcast v368 : ptr; hir.store v369, v367; builtin.ret ; @@ -582,7 +582,7 @@ builtin.component miden:base/authentication-component@1.0.0 { v891 = arith.constant 2 : u32; v435 = arith.shl v401, v891 : i32; v436 = arith.add v432, v435 : i32 #[overflow = wrapping]; - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/intrinsics::advice::adv_insert_mem(v408, v415, v422, v427, v432, v436) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/intrinsics::advice::adv_insert_mem(v408, v415, v422, v427, v432, v436) builtin.ret ; }; @@ -596,7 +596,7 @@ builtin.component miden:base/authentication-component@1.0.0 { private builtin.function @miden_stdlib_sys::intrinsics::word::Word::reverse(v442: i32, v443: i32) { ^block35(v442: i32, v443: i32): - v446 = builtin.global_symbol @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/__stack_pointer : ptr + v446 = builtin.global_symbol @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/__stack_pointer : ptr v447 = hir.bitcast v446 : ptr; v448 = hir.load v447 : i32; v449 = arith.constant 16 : i32; @@ -881,7 +881,7 @@ builtin.component miden:base/authentication-component@1.0.0 { public builtin.function @auth__procedure(v645: felt, v646: felt, v647: felt, v648: felt) { ^block77(v645: felt, v646: felt, v647: felt, v648: felt): - hir.exec @miden:base/authentication-component@1.0.0/auth_component_rpo_falcon512/miden:base/authentication-component@1.0.0#auth-procedure(v645, v646, v647, v648) + hir.exec @miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0/auth_component_rpo_falcon512/miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0#auth-procedure(v645, v646, v647, v648) builtin.ret ; }; }; \ No newline at end of file diff --git a/tests/integration/expected/examples/auth_component_rpo_falcon512.masm b/tests/integration/expected/examples/auth_component_rpo_falcon512.masm index a10c5c551..79c91a387 100644 --- a/tests/integration/expected/examples/auth_component_rpo_falcon512.masm +++ b/tests/integration/expected/examples/auth_component_rpo_falcon512.masm @@ -1,11 +1,11 @@ -# mod miden:base/authentication-component@1.0.0 +# mod miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0 @callconv("canon-lift") pub proc auth__procedure(felt, felt, felt, felt) - exec.::miden:base/authentication-component@1.0.0::init + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::init trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden:base/authentication-component@1.0.0#auth-procedure + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0#auth-procedure trace.252 nop exec.::std::sys::truncate_stack @@ -32,7 +32,7 @@ proc init mem_store.278537 end -# mod miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512 +# mod miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512 @callconv("C") proc __wasm_call_ctors( @@ -49,7 +49,7 @@ proc auth_component_rpo_falcon512::bindings::__link_custom_section_describing_im end @callconv("C") -proc miden:base/authentication-component@1.0.0#auth-procedure( +proc miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0#auth-procedure( felt, felt, felt, @@ -81,17 +81,17 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( nop trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::wit_bindgen::rt::run_ctors_once + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::wit_bindgen::rt::run_ctors_once trace.252 nop trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden_base_sys::bindings::tx::get_block_number + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden_base_sys::bindings::tx::get_block_number trace.252 nop trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden::native_account::incr_nonce + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden::native_account::incr_nonce trace.252 nop push.80 @@ -99,7 +99,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( u32wrapping_add trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden::native_account::compute_delta_commitment + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden::native_account::compute_delta_commitment trace.252 nop push.88 @@ -176,7 +176,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( dup.3 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden_stdlib_sys::intrinsics::word::Word::reverse + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden_stdlib_sys::intrinsics::word::Word::reverse trace.252 nop push.16 @@ -184,7 +184,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( u32wrapping_add trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden_base_sys::bindings::tx::get_input_notes_commitment + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden_base_sys::bindings::tx::get_input_notes_commitment trace.252 nop push.32 @@ -192,19 +192,19 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( u32wrapping_add trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden_base_sys::bindings::tx::get_output_notes_commitment + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden_base_sys::bindings::tx::get_output_notes_commitment trace.252 nop push.0 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::intrinsics::felt::from_u32 + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::intrinsics::felt::from_u32 trace.252 nop push.0 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::intrinsics::felt::from_u32 + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::intrinsics::felt::from_u32 trace.252 nop push.60 @@ -282,19 +282,19 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( push.0 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::intrinsics::felt::from_u32 + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::intrinsics::felt::from_u32 trace.252 nop push.0 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::intrinsics::felt::from_u32 + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::intrinsics::felt::from_u32 trace.252 nop swap.1 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::intrinsics::felt::assert_eq + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::intrinsics::felt::assert_eq trace.252 nop push.2 @@ -310,7 +310,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( movup.2 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::std::crypto::hashes::rpo::hash_memory_words + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::std::crypto::hashes::rpo::hash_memory_words trace.252 nop push.88 @@ -389,7 +389,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( u32wrapping_add trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden_stdlib_sys::intrinsics::word::Word::reverse + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden_stdlib_sys::intrinsics::word::Word::reverse trace.252 nop push.64 @@ -490,7 +490,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( swap.1 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::core::ptr::swap_nonoverlapping_bytes::swap_nonoverlapping_chunks + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::core::ptr::swap_nonoverlapping_bytes::swap_nonoverlapping_chunks trace.252 nop push.4294967280 @@ -652,13 +652,13 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( swap.1 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden_stdlib_sys::intrinsics::advice::adv_insert + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden_stdlib_sys::intrinsics::advice::adv_insert trace.252 nop push.0 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::>::from + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::>::from trace.252 nop push.80 @@ -667,7 +667,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( swap.1 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden::active_account::get_item + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden::active_account::get_item trace.252 nop push.88 @@ -746,7 +746,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( u32wrapping_add trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden_stdlib_sys::intrinsics::word::Word::reverse + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden_stdlib_sys::intrinsics::word::Word::reverse trace.252 nop push.76 @@ -827,7 +827,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( dup.12 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::intrinsics::advice::emit_falcon_sig_to_stack + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::intrinsics::advice::emit_falcon_sig_to_stack trace.252 nop movup.4 @@ -842,7 +842,7 @@ proc miden:base/authentication-component@1.0.0#auth-procedure( swap.3 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::std::crypto::dsa::rpo_falcon512::verify + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::std::crypto::dsa::rpo_falcon512::verify trace.252 nop push.112 @@ -900,7 +900,7 @@ proc wit_bindgen::rt::run_ctors_once( nop trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::__wasm_call_ctors + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::__wasm_call_ctors trace.252 nop push.1 @@ -937,7 +937,7 @@ proc miden_base_sys::bindings::tx::get_block_number( ) -> felt trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden::tx::get_block_number + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden::tx::get_block_number trace.252 nop end @@ -969,7 +969,7 @@ proc miden_base_sys::bindings::tx::get_input_notes_commitment( dup.0 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden::tx::get_input_notes_commitment + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden::tx::get_input_notes_commitment trace.252 nop push.8 @@ -1043,7 +1043,7 @@ proc miden_base_sys::bindings::tx::get_input_notes_commitment( movup.2 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden_stdlib_sys::intrinsics::word::Word::reverse + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden_stdlib_sys::intrinsics::word::Word::reverse trace.252 nop push.32 @@ -1085,7 +1085,7 @@ proc miden_base_sys::bindings::tx::get_output_notes_commitment( dup.0 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden::tx::get_output_notes_commitment + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden::tx::get_output_notes_commitment trace.252 nop push.8 @@ -1159,7 +1159,7 @@ proc miden_base_sys::bindings::tx::get_output_notes_commitment( movup.2 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::miden_stdlib_sys::intrinsics::word::Word::reverse + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::miden_stdlib_sys::intrinsics::word::Word::reverse trace.252 nop push.32 @@ -1348,7 +1348,7 @@ proc miden_stdlib_sys::intrinsics::advice::adv_insert( swap.5 trace.240 nop - exec.::miden:base/authentication-component@1.0.0::auth_component_rpo_falcon512::intrinsics::advice::adv_insert_mem + exec.::miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0::auth_component_rpo_falcon512::intrinsics::advice::adv_insert_mem trace.252 nop end diff --git a/tests/integration/expected/examples/auth_component_rpo_falcon512.wat b/tests/integration/expected/examples/auth_component_rpo_falcon512.wat index 196fafad5..ebb1b523d 100644 --- a/tests/integration/expected/examples/auth_component_rpo_falcon512.wat +++ b/tests/integration/expected/examples/auth_component_rpo_falcon512.wat @@ -26,11 +26,11 @@ (global $__stack_pointer (;0;) (mut i32) i32.const 1048576) (global $GOT.data.internal.__memory_base (;1;) i32 i32.const 0) (export "memory" (memory 0)) - (export "miden:base/authentication-component@1.0.0#auth-procedure" (func $miden:base/authentication-component@1.0.0#auth-procedure)) + (export "miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0#auth-procedure" (func $miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0#auth-procedure)) (elem (;0;) (i32.const 1) func $auth_component_rpo_falcon512::bindings::__link_custom_section_describing_imports) (func $__wasm_call_ctors (;0;) (type 0)) (func $auth_component_rpo_falcon512::bindings::__link_custom_section_describing_imports (;1;) (type 0)) - (func $miden:base/authentication-component@1.0.0#auth-procedure (;2;) (type 1) (param f32 f32 f32 f32) + (func $miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0#auth-procedure (;2;) (type 1) (param f32 f32 f32 f32) (local i32 f32 f32 i32 f32 f32 i32 f32 f32 f32 f32) global.get $__stack_pointer i32.const 112 @@ -462,7 +462,7 @@ (core instance (;0;) (instantiate 0)) (alias core export 0 "memory" (core memory (;0;))) (type (;2;) (func (param "arg" 1))) - (alias core export 0 "miden:base/authentication-component@1.0.0#auth-procedure" (core func (;0;))) + (alias core export 0 "miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0#auth-procedure" (core func (;0;))) (func (;0;) (type 2) (canon lift (core func 0))) (alias export 0 "felt" (type (;3;))) (alias export 0 "word" (type (;4;))) @@ -486,5 +486,5 @@ (with "import-type-word0" (type 1)) ) ) - (export (;2;) "miden:base/authentication-component@1.0.0" (instance 1)) + (export (;2;) "miden:auth-component-rpo-falcon512/auth-component-rpo-falcon512@0.1.0" (instance 1)) ) diff --git a/tests/integration/src/rust_masm_tests/examples.rs b/tests/integration/src/rust_masm_tests/examples.rs index 91a5d1e72..6d990e411 100644 --- a/tests/integration/src/rust_masm_tests/examples.rs +++ b/tests/integration/src/rust_masm_tests/examples.rs @@ -360,7 +360,6 @@ fn auth_component_no_auth() { test.expect_masm(expect_file![format!("../../expected/examples/auth_component_no_auth.masm")]); let auth_comp_package = test.compiled_package(); let lib = auth_comp_package.unwrap_library(); - let expected_module = "miden:base/authentication-component@1.0.0"; let expected_function = "auth__procedure"; let exports = lib .exports() @@ -368,12 +367,8 @@ fn auth_component_no_auth() { .collect::>(); // dbg!(&exports); assert!( - lib.exports().any(|export| { - export.name.module.to_string() == expected_module - && export.name.name.as_str() == expected_function - }), - "expected one of the exports to contain module '{expected_module}' and function \ - '{expected_function}'" + lib.exports().any(|export| { export.name.name.as_str() == expected_function }), + "expected one of the exports to contain function '{expected_function}'" ); // Test that the package loads @@ -400,15 +395,11 @@ fn auth_component_rpo_falcon512() { )]); let auth_comp_package = test.compiled_package(); let lib = auth_comp_package.unwrap_library(); - let expected_module = "miden:base/authentication-component@1.0.0"; let expected_function = "auth__procedure"; + assert!( - lib.exports().any(|export| { - export.name.module.to_string() == expected_module - && export.name.name.as_str() == expected_function - }), - "expected one of the exports to contain module '{expected_module}' and function \ - '{expected_function}'" + lib.exports().any(|export| { export.name.name.as_str() == expected_function }), + "expected one of the exports to contain function '{expected_function}'" ); // Test that the package loads diff --git a/tests/integration/src/rust_masm_tests/rust_sdk/base/account.rs b/tests/integration/src/rust_masm_tests/rust_sdk/base/account.rs index 835b1b0f6..4b7274036 100644 --- a/tests/integration/src/rust_masm_tests/rust_sdk/base/account.rs +++ b/tests/integration/src/rust_masm_tests/rust_sdk/base/account.rs @@ -75,7 +75,7 @@ fn rust_sdk_account_get_code_commitment_binding() { run_account_binding_test( "rust_sdk_account_get_code_commitment_binding", "pub fn binding(&self) -> Word { - active_account::get_code_commitment() + self.get_code_commitment() }", ); } @@ -85,7 +85,7 @@ fn rust_sdk_account_get_initial_storage_commitment_binding() { run_account_binding_test( "rust_sdk_account_get_initial_storage_commitment_binding", "pub fn binding(&self) -> Word { - active_account::get_initial_storage_commitment() + self.get_initial_storage_commitment() }", ); } @@ -95,7 +95,7 @@ fn rust_sdk_account_compute_storage_commitment_binding() { run_account_binding_test( "rust_sdk_account_compute_storage_commitment_binding", "pub fn binding(&self) -> Word { - active_account::compute_storage_commitment() + self.compute_storage_commitment() }", ); } @@ -105,7 +105,7 @@ fn rust_sdk_account_compute_commitment_binding() { run_account_binding_test( "rust_sdk_account_compute_commitment_binding", "pub fn binding(&self) -> Word { - active_account::compute_commitment() + self.compute_commitment() }", ); } @@ -115,7 +115,7 @@ fn rust_sdk_account_compute_delta_commitment_binding() { run_account_binding_test( "rust_sdk_account_compute_delta_commitment_binding", "pub fn binding(&self) -> Word { - native_account::compute_delta_commitment() + self.compute_delta_commitment() }", ); } @@ -126,7 +126,7 @@ fn rust_sdk_account_get_initial_balance_binding() { "rust_sdk_account_get_initial_balance_binding", "pub fn binding(&self) -> Felt { let faucet = AccountId { prefix: Felt::from_u32(1), suffix: Felt::from_u32(0) }; - active_account::get_initial_balance(faucet) + self.get_initial_balance(faucet) }", ); } @@ -137,7 +137,7 @@ fn rust_sdk_account_has_non_fungible_asset_binding() { "rust_sdk_account_has_non_fungible_asset_binding", "pub fn binding(&self) -> Felt { let asset = Asset::from([Felt::from_u32(0); 4]); - if active_account::has_non_fungible_asset(asset) { + if self.has_non_fungible_asset(asset) { Felt::from_u32(1) } else { Felt::from_u32(0) @@ -151,7 +151,7 @@ fn rust_sdk_account_get_initial_vault_root_binding() { run_account_binding_test( "rust_sdk_account_get_initial_vault_root_binding", "pub fn binding(&self) -> Word { - active_account::get_initial_vault_root() + self.get_initial_vault_root() }", ); } @@ -161,7 +161,7 @@ fn rust_sdk_account_get_vault_root_binding() { run_account_binding_test( "rust_sdk_account_get_vault_root_binding", "pub fn binding(&self) -> Word { - active_account::get_vault_root() + self.get_vault_root() }", ); } @@ -171,7 +171,7 @@ fn rust_sdk_account_get_num_procedures_binding() { run_account_binding_test( "rust_sdk_account_get_num_procedures_binding", "pub fn binding(&self) -> Felt { - active_account::get_num_procedures() + self.get_num_procedures() }", ); } @@ -181,7 +181,7 @@ fn rust_sdk_account_get_procedure_root_binding() { run_account_binding_test( "rust_sdk_account_get_procedure_root_binding", "pub fn binding(&self) -> Word { - active_account::get_procedure_root(0) + self.get_procedure_root(0) }", ); } @@ -192,7 +192,7 @@ fn rust_sdk_account_has_procedure_binding() { "rust_sdk_account_has_procedure_binding", "pub fn binding(&self) -> Felt { let proc_root = Word::from([Felt::from_u32(0); 4]); - if active_account::has_procedure(proc_root) { + if self.has_procedure(proc_root) { Felt::from_u32(1) } else { Felt::from_u32(0) @@ -207,7 +207,7 @@ fn rust_sdk_account_was_procedure_called_binding() { "rust_sdk_account_was_procedure_called_binding", "pub fn binding(&self) -> Felt { let proc_root = Word::from([Felt::from_u32(0); 4]); - if native_account::was_procedure_called(proc_root) { + if self.was_procedure_called(proc_root) { Felt::from_u32(1) } else { Felt::from_u32(0) diff --git a/tests/rust-apps-wasm/rust-sdk/account-test/Cargo.lock b/tests/rust-apps-wasm/rust-sdk/account-test/Cargo.lock index 62ca746bc..f2b291770 100644 --- a/tests/rust-apps-wasm/rust-sdk/account-test/Cargo.lock +++ b/tests/rust-apps-wasm/rust-sdk/account-test/Cargo.lock @@ -2,6 +2,31 @@ # It is not intended for manual editing. version = 3 +[[package]] +name = "addr2line" +version = "0.25.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "1b5d307320b3181d6d7954e663bd7c774a838b8220fe0593c86d9fb09f498b4b" +dependencies = [ + "gimli", +] + +[[package]] +name = "adler2" +version = "2.0.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "320119579fcad9c21884f5c4861d16174d0e06250625266f50fe6898340abefa" + +[[package]] +name = "aead" +version = "0.5.2" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "d122413f284cf2d62fb1b7db97e02edb8cda96d769b16e443a4f6195e35662b0" +dependencies = [ + "crypto-common", + "generic-array", +] + [[package]] name = "aho-corasick" version = "1.1.3" @@ -11,6 +36,56 @@ dependencies = [ "memchr", ] +[[package]] +name = "anstream" +version = "0.6.21" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "43d5b281e737544384e969a5ccad3f1cdd24b48086a0fc1b2a5262a26b8f4f4a" +dependencies = [ + "anstyle", + "anstyle-parse", + "anstyle-query", + "anstyle-wincon", + "colorchoice", + "is_terminal_polyfill", + "utf8parse", +] + +[[package]] +name = "anstyle" +version = "1.0.13" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "5192cca8006f1fd4f7237516f40fa183bb07f8fbdfedaa0036de5ea9b0b45e78" + +[[package]] +name = "anstyle-parse" +version = "0.2.7" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "4e7644824f0aa2c7b9384579234ef10eb7efb6a0deb83f9630a49594dd9c15c2" +dependencies = [ + "utf8parse", +] + +[[package]] +name = "anstyle-query" +version = "1.1.5" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "40c48f72fd53cd289104fc64099abca73db4166ad86ea0b4341abe65af83dadc" +dependencies = [ + "windows-sys 0.61.2", +] + +[[package]] +name = "anstyle-wincon" +version = "3.0.11" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "291e6a250ff86cd4a820112fb8898808a366d8f9f58ce16d1f538353ad55747d" +dependencies = [ + "anstyle", + "once_cell_polyfill", + "windows-sys 0.61.2", +] + [[package]] name = "anyhow" version = "1.0.100" @@ -44,6 +119,42 @@ version = "1.4.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "ace50bade8e6234aa140d9a2f552bbee1db4d353f69b8217bc503490fc1a9f26" +[[package]] +name = "backtrace" +version = "0.3.76" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "bb531853791a215d7c62a30daf0dde835f381ab5de4589cfe7c649d2cbe92bd6" +dependencies = [ + "addr2line", + "cfg-if", + "libc", + "miniz_oxide", + "object", + "rustc-demangle", + "windows-link 0.2.1", +] + +[[package]] +name = "backtrace-ext" +version = "0.2.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "537beee3be4a18fb023b570f80e3ae28003db9167a751266b259926e25539d50" +dependencies = [ + "backtrace", +] + +[[package]] +name = "base16ct" +version = "0.2.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "4c7f02d4ea65f2c1853089ffd8d2787bdbc63de2f0d29dedbcf8ccdfa0ccd4cf" + +[[package]] +name = "base64ct" +version = "1.8.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "55248b47b0caf0546f7988906588779981c43bb1bc9d0c44087278f80cdb44ba" + [[package]] name = "bech32" version = "0.11.0" @@ -105,6 +216,8 @@ version = "1.2.23" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "5f4ac86a9e5bc1e2b3449ab9d7d3a6a405e3d1bb28d7b9be8614f55846ae3766" dependencies = [ + "jobserver", + "libc", "shlex", ] @@ -114,6 +227,53 @@ version = "1.0.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd" +[[package]] +name = "chacha20" +version = "0.9.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "c3613f74bd2eac03dad61bd53dbe620703d4371614fe0bc3b9f04dd36fe4e818" +dependencies = [ + "cfg-if", + "cipher", + "cpufeatures", +] + +[[package]] +name = "chacha20poly1305" +version = "0.10.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "10cd79432192d1c0f4e1a0fef9527696cc039165d729fb41b3f4f4f354c2dc35" +dependencies = [ + "aead", + "chacha20", + "cipher", + "poly1305", + "zeroize", +] + +[[package]] +name = "cipher" +version = "0.4.4" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "773f3b9af64447d2ce9850330c473515014aa235e6a783b02db81ff39e4a3dad" +dependencies = [ + "crypto-common", + "inout", + "zeroize", +] + +[[package]] +name = "colorchoice" +version = "1.0.4" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "b05b61dc5112cbb17e4b6cd61790d9845d13888356391624cbe7e41efeac1e75" + +[[package]] +name = "const-oid" +version = "0.9.6" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "c2459377285ad874054d797f3ccebf984978aa39129f6eafde5cdc8315b612f8" + [[package]] name = "constant_time_eq" version = "0.3.1" @@ -129,6 +289,43 @@ dependencies = [ "libc", ] +[[package]] +name = "crossbeam-deque" +version = "0.8.6" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "9dd111b7b7f7d55b72c0a6ae361660ee5853c9af73f70c3c2ef6858b950e2e51" +dependencies = [ + "crossbeam-epoch", + "crossbeam-utils", +] + +[[package]] +name = "crossbeam-epoch" +version = "0.9.18" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "5b82ac4a3c2ca9c3460964f020e1402edd5753411d7737aa39c3714ad1b5420e" +dependencies = [ + "crossbeam-utils", +] + +[[package]] +name = "crossbeam-utils" +version = "0.8.21" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "d0a5c400df2834b80a4c3327b3aad3a4c4cd4de0629063962b03235697506a28" + +[[package]] +name = "crypto-bigint" +version = "0.5.5" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "0dc92fb57ca44df6db8059111ab3af99a63d5d0f8375d9972e319a379c6bab76" +dependencies = [ + "generic-array", + "rand_core 0.6.4", + "subtle", + "zeroize", +] + [[package]] name = "crypto-common" version = "0.1.6" @@ -136,9 +333,47 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "1bfb12502f3fc46cca1bb51ac28df9d618d813cdc3d2f25b9fe775a34af26bb3" dependencies = [ "generic-array", + "rand_core 0.6.4", "typenum", ] +[[package]] +name = "curve25519-dalek" +version = "4.1.3" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "97fb8b7c4503de7d6ae7b42ab72a5a59857b4c937ec27a3d4539dba95b5ab2be" +dependencies = [ + "cfg-if", + "cpufeatures", + "curve25519-dalek-derive", + "digest", + "fiat-crypto", + "rustc_version 0.4.1", + "subtle", + "zeroize", +] + +[[package]] +name = "curve25519-dalek-derive" +version = "0.1.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "f46882e17999c6cc590af592290432be3bce0428cb0d5f8b6715e4dc7b383eb3" +dependencies = [ + "proc-macro2", + "quote", + "syn", +] + +[[package]] +name = "der" +version = "0.7.10" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "e7c1832837b905bbfb5101e07cc24c8deddf52f93225eee6ead5f4d63d53ddcb" +dependencies = [ + "const-oid", + "zeroize", +] + [[package]] name = "derive_more" version = "2.0.1" @@ -166,7 +401,9 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "9ed9a281f7bc9b7576e61468ba615a66a5c8cfdff42420a70aa82701a3b1e292" dependencies = [ "block-buffer", + "const-oid", "crypto-common", + "subtle", ] [[package]] @@ -175,12 +412,70 @@ version = "1.0.10" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "8975ffdaa0ef3661bfe02dbdcc06c9f829dfafe6a3c474de366a8d5e44276921" +[[package]] +name = "ecdsa" +version = "0.16.9" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "ee27f32b5c5292967d2d4a9d7f1e0b0aed2c15daded5a60300e4abb9d8020bca" +dependencies = [ + "der", + "digest", + "elliptic-curve", + "rfc6979", + "signature", + "spki", +] + +[[package]] +name = "ed25519" +version = "2.2.3" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "115531babc129696a58c64a4fef0a8bf9e9698629fb97e9e40767d235cfbcd53" +dependencies = [ + "pkcs8", + "signature", +] + +[[package]] +name = "ed25519-dalek" +version = "2.2.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "70e796c081cee67dc755e1a36a0a172b897fab85fc3f6bc48307991f64e4eca9" +dependencies = [ + "curve25519-dalek", + "ed25519", + "serde", + "sha2", + "subtle", + "zeroize", +] + [[package]] name = "either" version = "1.15.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "48c757948c5ede0e46177b7add2e67155f70e33c07fea8284df6576da70b3719" +[[package]] +name = "elliptic-curve" +version = "0.13.8" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "b5e6043086bf7973472e0c7dff2142ea0b680d30e18d9cc40f267efbf222bd47" +dependencies = [ + "base16ct", + "crypto-bigint", + "digest", + "ff", + "generic-array", + "group", + "hkdf", + "pkcs8", + "rand_core 0.6.4", + "sec1", + "subtle", + "zeroize", +] + [[package]] name = "ena" version = "0.14.3" @@ -190,24 +485,106 @@ dependencies = [ "log", ] +[[package]] +name = "enum_dispatch" +version = "0.3.13" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "aa18ce2bc66555b3218614519ac839ddb759a7d6720732f979ef8d13be147ecd" +dependencies = [ + "once_cell", + "proc-macro2", + "quote", + "syn", +] + +[[package]] +name = "env_filter" +version = "0.1.4" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "1bf3c259d255ca70051b30e2e95b5446cdb8949ac4cd22c0d7fd634d89f568e2" +dependencies = [ + "log", + "regex", +] + +[[package]] +name = "env_logger" +version = "0.11.8" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "13c863f0904021b108aa8b2f55046443e6b1ebde8fd4a15c399893aae4fa069f" +dependencies = [ + "anstream", + "anstyle", + "env_filter", + "jiff", + "log", +] + [[package]] name = "equivalent" version = "1.0.2" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" +[[package]] +name = "errno" +version = "0.3.14" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb" +dependencies = [ + "libc", + "windows-sys 0.59.0", +] + +[[package]] +name = "ff" +version = "0.13.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "c0b50bfb653653f9ca9095b427bed08ab8d75a137839d9ad64eb11810d5b6393" +dependencies = [ + "rand_core 0.6.4", + "subtle", +] + +[[package]] +name = "fiat-crypto" +version = "0.2.9" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "28dea519a9695b9977216879a3ebfddf92f1c08c05d984f8996aecd6ecdc811d" + [[package]] name = "fixedbitset" version = "0.5.7" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "1d674e81391d1e1ab681a28d99df07927c6d4aa5b027d7da16ba32d1d21ecd99" +[[package]] +name = "flume" +version = "0.11.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "da0e4dd2a88388a1f4ccc7c9ce104604dab68d9f408dc34cd45823d5a9069095" +dependencies = [ + "futures-core", + "futures-sink", + "nanorand", + "spin", +] + [[package]] name = "foldhash" version = "0.1.5" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "d9c4f5dac5e15c24eb999c26181a6ca40b39fe946cbe4c263c7209467bc83af2" +[[package]] +name = "fs-err" +version = "3.2.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "62d91fd049c123429b018c47887d3f75a265540dd3c30ba9cb7bae9197edb03a" +dependencies = [ + "autocfg", +] + [[package]] name = "futures" version = "0.3.31" @@ -291,6 +668,20 @@ checksum = "85649ca51fd72272d7821adaf274ad91c288277713d9c18820d8499a7ff69e9a" dependencies = [ "typenum", "version_check", + "zeroize", +] + +[[package]] +name = "getrandom" +version = "0.2.16" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "335ff9f135e4384c8150d6f27c6daed433577f86b4750418338c01a1a2528592" +dependencies = [ + "cfg-if", + "js-sys", + "libc", + "wasi 0.11.1+wasi-snapshot-preview1", + "wasm-bindgen", ] [[package]] @@ -303,16 +694,33 @@ dependencies = [ "js-sys", "libc", "r-efi", - "wasi", + "wasi 0.14.2+wasi-0.2.4", "wasm-bindgen", ] +[[package]] +name = "gimli" +version = "0.32.3" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "e629b9b98ef3dd8afe6ca2bd0f89306cec16d43d907889945bc5d6687f2f13c7" + [[package]] name = "glob" version = "0.3.2" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "a8d1add55171497b4705a648c6b583acafb01d58050a51727785f0b2c8e0a2b2" +[[package]] +name = "group" +version = "0.13.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "f0f9ef7462f7c099f518d754361858f86d8a07af53ba9af0fe635bbccb151a63" +dependencies = [ + "ff", + "rand_core 0.6.4", + "subtle", +] + [[package]] name = "hashbrown" version = "0.15.3" @@ -328,6 +736,24 @@ version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "2304e00983f87ffb38b55b444b5e3b60a884b5d30c0fca7d82fe33449bbe55ea" +[[package]] +name = "hkdf" +version = "0.12.4" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "7b5f8eb2ad728638ea2c7d47a21db23b7b58a72ed6a38256b8a1849f15fbbdf7" +dependencies = [ + "hmac", +] + +[[package]] +name = "hmac" +version = "0.12.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "6c49c37c09c17a53d937dfbb742eb3a961d65a994e6bcdcf37e7399d0cc8ab5e" +dependencies = [ + "digest", +] + [[package]] name = "id-arena" version = "2.2.1" @@ -351,6 +777,27 @@ dependencies = [ "serde", ] +[[package]] +name = "inout" +version = "0.1.4" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "879f10e63c20629ecabbb64a8010319738c66a5cd0c29b02d63d272b03751d01" +dependencies = [ + "generic-array", +] + +[[package]] +name = "is_ci" +version = "1.2.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "7655c9839580ee829dfacba1d1278c2b7883e50a277ff7541299489d6bdfdc45" + +[[package]] +name = "is_terminal_polyfill" +version = "1.70.2" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "a6cb138bb79a146c1bd460005623e142ef0181e3d0219cb493e02f7d08a35695" + [[package]] name = "itertools" version = "0.14.0" @@ -366,6 +813,40 @@ version = "1.0.15" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "4a5f13b858c8d314ee3e8f639011f7ccefe71f97f96e50151fb991f267928e2c" +[[package]] +name = "jiff" +version = "0.2.16" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "49cce2b81f2098e7e3efc35bc2e0a6b7abec9d34128283d7a26fa8f32a6dbb35" +dependencies = [ + "jiff-static", + "log", + "portable-atomic", + "portable-atomic-util", + "serde_core", +] + +[[package]] +name = "jiff-static" +version = "0.2.16" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "980af8b43c3ad5d8d349ace167ec8170839f753a42d233ba19e08afe1850fa69" +dependencies = [ + "proc-macro2", + "quote", + "syn", +] + +[[package]] +name = "jobserver" +version = "0.1.34" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "9afb3de4395d6b3e67a780b6de64b51c978ecf11cb9a462c66be7d4ca9039d33" +dependencies = [ + "getrandom 0.3.3", + "libc", +] + [[package]] name = "js-sys" version = "0.3.77" @@ -376,6 +857,20 @@ dependencies = [ "wasm-bindgen", ] +[[package]] +name = "k256" +version = "0.13.4" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "f6e3919bbaa2945715f0bb6d3934a173d1e9a59ac23767fbaaef277265a7411b" +dependencies = [ + "cfg-if", + "ecdsa", + "elliptic-curve", + "once_cell", + "sha2", + "signature", +] + [[package]] name = "keccak" version = "0.1.5" @@ -439,6 +934,12 @@ version = "0.2.15" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "f9fbbcab51052fe104eb5e5d351cf728d30a5be1fe14d9be8a3b097481fb97de" +[[package]] +name = "linux-raw-sys" +version = "0.4.15" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "d26c52dbd32dccf2d10cac7725f8eae5296885fb5703b261f7d0a0739ec807ab" + [[package]] name = "lock_api" version = "0.4.12" @@ -485,7 +986,7 @@ checksum = "78ca9ab1a0babb1e7d5695e3530886289c18cf2f87ec19a575a0abdce112e3a3" [[package]] name = "miden" -version = "0.6.0" +version = "0.7.1" dependencies = [ "miden-base", "miden-base-sys", @@ -496,11 +997,12 @@ dependencies = [ [[package]] name = "miden-air" -version = "0.17.2" +version = "0.19.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c2871bc4f392053cd115d4532e4b0fb164791829cc94b35641ed72480547dfd1" +checksum = "06acfd2ddc25b68f9d23d2add3f15c0ec3f9890ce6418409d71bea9dc6590bd0" dependencies = [ "miden-core", + "miden-utils-indexing", "thiserror", "winter-air", "winter-prover", @@ -508,9 +1010,9 @@ dependencies = [ [[package]] name = "miden-assembly" -version = "0.17.2" +version = "0.19.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "345ae47710bbb4c6956dcc669a537c5cf2081879b6238c0df6da50e84a77ea3f" +checksum = "d1219b9e48bb286b58a23bb65cf74baa1b24ddbcb462ca625b38186674571047" dependencies = [ "log", "miden-assembly-syntax", @@ -522,9 +1024,9 @@ dependencies = [ [[package]] name = "miden-assembly-syntax" -version = "0.17.2" +version = "0.19.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6ab186ac7061b47415b923cf2da88df505f25c333f7caace80fb7760cf9c0590" +checksum = "1eeaef2853061c54527bb2664c0c832ce3d1f80847c79512455fec3b93057f2a" dependencies = [ "aho-corasick", "lalrpop", @@ -534,6 +1036,7 @@ dependencies = [ "miden-debug-types", "miden-utils-diagnostics", "midenc-hir-type", + "proptest", "regex", "rustc_version 0.4.1", "semver 1.0.26", @@ -543,7 +1046,7 @@ dependencies = [ [[package]] name = "miden-base" -version = "0.6.0" +version = "0.7.1" dependencies = [ "miden-base-macros", "miden-base-sys", @@ -552,32 +1055,37 @@ dependencies = [ [[package]] name = "miden-base-macros" -version = "0.6.0" +version = "0.7.1" dependencies = [ + "heck", "miden-objects", "proc-macro2", "quote", "semver 1.0.26", "syn", "toml", + "wit-bindgen-core", + "wit-bindgen-rust", ] [[package]] name = "miden-base-sys" -version = "0.6.0" +version = "0.8.0" dependencies = [ "miden-stdlib-sys", ] [[package]] name = "miden-core" -version = "0.17.2" +version = "0.19.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "395ad0b07592486e02de3ff7f3bff1d7fa81b1a7120f7f0b1027d650d810bbab" +checksum = "452a00429d05c416001ec0578291eb88e115cf94fc22b3308267abfdcd813440" dependencies = [ + "enum_dispatch", "miden-crypto", "miden-debug-types", "miden-formatting", + "miden-utils-indexing", "num-derive", "num-traits", "thiserror", @@ -587,35 +1095,59 @@ dependencies = [ [[package]] name = "miden-crypto" -version = "0.15.9" +version = "0.18.4" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e4329275a11c7d8328b14a7129b21d40183056dcd0d871c3069be6e550d6ca40" +checksum = "0048d2d987f215bc9633ced499a8c488d0e2474350c765f904b87cae3462acb7" dependencies = [ "blake3", + "cc", + "chacha20poly1305", + "ed25519-dalek", + "flume", "glob", + "hkdf", + "k256", + "miden-crypto-derive", "num", "num-complex", "rand", - "rand_core", + "rand_chacha", + "rand_core 0.9.3", + "rand_hc", "sha3", + "subtle", "thiserror", "winter-crypto", "winter-math", "winter-utils", + "x25519-dalek", +] + +[[package]] +name = "miden-crypto-derive" +version = "0.18.4" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "ca3b38aace84e157fb02aba8f8ae85bbf8c3afdcdbdf8190fbe7476f3be7ef44" +dependencies = [ + "quote", + "syn", ] [[package]] name = "miden-debug-types" -version = "0.17.2" +version = "0.19.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c84e5b15ea6fe0f80688fde2d6e4f5a3b66417d2541388b7a6cf967c6a8a2bc0" +checksum = "97eed62ac0ca7420e49148fd306c74786b23a8d31df6da6277c671ba3e5c619a" dependencies = [ "memchr", "miden-crypto", "miden-formatting", "miden-miette", + "miden-utils-indexing", "miden-utils-sync", "paste", + "serde", + "serde_spanned 1.0.3", "thiserror", ] @@ -630,13 +1162,14 @@ dependencies = [ [[package]] name = "miden-mast-package" -version = "0.17.2" +version = "0.19.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1e9d87c128f467874b272fec318e792385e35b14d200408a10d30909228db864" +checksum = "1d13e6ba2b357551598f13396ed52f8f21aa99979aa3b338bb5521feeda19c8a" dependencies = [ "derive_more", "miden-assembly-syntax", "miden-core", + "thiserror", ] [[package]] @@ -645,6 +1178,8 @@ version = "8.0.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "eef536978f24a179d94fa2a41e4f92b28e7d8aab14b8d23df28ad2a3d7098b20" dependencies = [ + "backtrace", + "backtrace-ext", "cfg-if", "futures", "indenter", @@ -657,7 +1192,11 @@ dependencies = [ "serde_json", "spin", "strip-ansi-escapes", + "supports-color", + "supports-hyperlinks", + "supports-unicode", "syn", + "terminal_size", "textwrap", "thiserror", "trybuild", @@ -677,33 +1216,42 @@ dependencies = [ [[package]] name = "miden-objects" -version = "0.11.5" +version = "0.12.4" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5b513a36886b910d71c39b17f37e48179e251fca49cebcbcf57094bef9941f63" +checksum = "ace4018bb2d6cdbcff4d86d8af5ade8efca9f0479f7e5775c7f09cfab5f91ebe" dependencies = [ "bech32", - "getrandom", + "getrandom 0.3.3", "miden-assembly", + "miden-assembly-syntax", "miden-core", "miden-crypto", + "miden-mast-package", "miden-processor", + "miden-stdlib", "miden-utils-sync", "miden-verifier", + "rand", "semver 1.0.26", "thiserror", ] [[package]] name = "miden-processor" -version = "0.17.2" +version = "0.19.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "64304339292cc4e50a7b534197326824eeb21f3ffaadd955be63cc57093854ed" +checksum = "d2ef77929651b8755965cde8f589bd38e2345a619d54cab6427f91aa23c47f6a" dependencies = [ + "itertools", "miden-air", "miden-core", "miden-debug-types", "miden-utils-diagnostics", + "miden-utils-indexing", + "paste", + "rayon", "thiserror", + "tokio", "tracing", "winter-prover", ] @@ -717,17 +1265,33 @@ dependencies = [ [[package]] name = "miden-sdk-alloc" -version = "0.6.0" +version = "0.7.0" + +[[package]] +name = "miden-stdlib" +version = "0.19.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "5e90a5de45a1e6213ff17b66fff8accde0bbc64264e2c22bbcb9a895f8f3b767" +dependencies = [ + "env_logger", + "fs-err", + "miden-assembly", + "miden-core", + "miden-crypto", + "miden-processor", + "miden-utils-sync", + "thiserror", +] [[package]] name = "miden-stdlib-sys" -version = "0.6.0" +version = "0.7.1" [[package]] name = "miden-utils-diagnostics" -version = "0.17.2" +version = "0.19.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e9bf9a2c1cf3e3694d0eb347695a291602a57f817dd001ac838f300799576a69" +checksum = "1a3ff4c019d96539a7066626efb4dce5c9fb7b0e44e961b0c2571e78f34236d5" dependencies = [ "miden-crypto", "miden-debug-types", @@ -736,21 +1300,31 @@ dependencies = [ "tracing", ] +[[package]] +name = "miden-utils-indexing" +version = "0.19.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "c798250bee4e856d4f18c161e91cdcbef1906f6614d00cf0063b47031c0f8cc6" +dependencies = [ + "thiserror", +] + [[package]] name = "miden-utils-sync" -version = "0.17.2" +version = "0.19.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bb026e69ae937b2a83bf69ea86577e0ec2450cb22cce163190b9fd42f2972b63" +checksum = "feebe7d896c013ea74dbc98de978836606356a044d4ed3b61ded54d3b319d89f" dependencies = [ "lock_api", "loom", + "parking_lot", ] [[package]] name = "miden-verifier" -version = "0.17.2" +version = "0.19.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "72a305e5e2c68d10bcb8e2ed3dc38e54bc3a538acc9eadc154b713d5bb47af22" +checksum = "b8f8e47b78bba1fe1b31faee8f12aafd95385f6d6a8b108b03e92f5d743bb29f" dependencies = [ "miden-air", "miden-core", @@ -761,15 +1335,33 @@ dependencies = [ [[package]] name = "midenc-hir-type" -version = "0.1.5" +version = "0.4.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e381ba23e4f57ffa0d6039113f6d6004e5b8c7ae6cb909329b48f2ab525e8680" +checksum = "9d4cfab04baffdda3fb9eafa5f873604059b89a1699aa95e4f1057397a69f0b5" dependencies = [ "miden-formatting", "smallvec", "thiserror", ] +[[package]] +name = "miniz_oxide" +version = "0.8.9" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "1fa76a2c86f704bdb222d66965fb3d63269ce38518b83cb0575fca855ebb6316" +dependencies = [ + "adler2", +] + +[[package]] +name = "nanorand" +version = "0.7.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "6a51313c5820b0b02bd422f4b44776fbf47961755c74ce64afc73bfad10226c3" +dependencies = [ + "getrandom 0.2.16", +] + [[package]] name = "new_debug_unreachable" version = "1.0.6" @@ -865,10 +1457,19 @@ dependencies = [ name = "num-traits" version = "0.2.19" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841" +checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841" +dependencies = [ + "autocfg", + "libm", +] + +[[package]] +name = "object" +version = "0.37.3" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "ff76201f031d8863c38aa7f905eca4f53abbfa15f609db4277d44cd8938f33fe" dependencies = [ - "autocfg", - "libm", + "memchr", ] [[package]] @@ -877,6 +1478,18 @@ version = "1.21.3" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "42f5e15c9953c5e4ccceeb2e7382a716482c34515315f7b03532b8b4e8393d2d" +[[package]] +name = "once_cell_polyfill" +version = "1.70.2" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "384b8ab6d37215f3c5301a95a4accb5d64aa607f1fcb26a11b5303878451b4fe" + +[[package]] +name = "opaque-debug" +version = "0.3.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "c08d65885ee38876c4f86fa503fb49d7b507c2b62552df7c70b2fce627e06381" + [[package]] name = "overload" version = "0.1.1" @@ -909,7 +1522,7 @@ dependencies = [ "libc", "redox_syscall", "smallvec", - "windows-targets", + "windows-targets 0.52.6", ] [[package]] @@ -949,6 +1562,51 @@ version = "0.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "8b870d8c151b6f2fb93e84a13146138f05d02ed11c7e7c54f8826aaaf7c9f184" +[[package]] +name = "pkcs8" +version = "0.10.2" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "f950b2377845cebe5cf8b5165cb3cc1a5e0fa5cfa3e1f7f55707d8fd82e0a7b7" +dependencies = [ + "der", + "spki", +] + +[[package]] +name = "poly1305" +version = "0.8.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "8159bd90725d2df49889a078b54f4f79e87f1f8a8444194cdca81d38f5393abf" +dependencies = [ + "cpufeatures", + "opaque-debug", + "universal-hash", +] + +[[package]] +name = "portable-atomic" +version = "1.11.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "f84267b20a16ea918e43c6a88433c2d54fa145c92a811b5b047ccbe153674483" + +[[package]] +name = "portable-atomic-util" +version = "0.2.4" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "d8a2f0d8d040d7848a709caf78912debcc3f33ee4b3cac47d73d1e1069e83507" +dependencies = [ + "portable-atomic", +] + +[[package]] +name = "ppv-lite86" +version = "0.2.21" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "85eae3c4ed2f50dcfe72643da4befc30deadb458a9b590d720cde2f2b1e97da9" +dependencies = [ + "zerocopy", +] + [[package]] name = "precomputed-hash" version = "0.1.1" @@ -974,6 +1632,21 @@ dependencies = [ "unicode-ident", ] +[[package]] +name = "proptest" +version = "1.9.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "bee689443a2bd0a16ab0348b52ee43e3b2d1b1f931c8aa5c9f8de4c86fbe8c40" +dependencies = [ + "bitflags", + "num-traits", + "rand", + "rand_chacha", + "rand_xorshift", + "regex-syntax 0.8.5", + "unarray", +] + [[package]] name = "quote" version = "1.0.40" @@ -995,7 +1668,27 @@ version = "0.9.1" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "9fbfd9d094a40bf3ae768db9361049ace4c0e04a4fd6b359518bd7b73a73dd97" dependencies = [ - "rand_core", + "rand_chacha", + "rand_core 0.9.3", +] + +[[package]] +name = "rand_chacha" +version = "0.9.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "d3022b5f1df60f26e1ffddd6c66e8aa15de382ae63b3a0c1bfc0e4d3e3f325cb" +dependencies = [ + "ppv-lite86", + "rand_core 0.9.3", +] + +[[package]] +name = "rand_core" +version = "0.6.4" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c" +dependencies = [ + "getrandom 0.2.16", ] [[package]] @@ -1003,6 +1696,47 @@ name = "rand_core" version = "0.9.3" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "99d9a13982dcf210057a8a78572b2217b667c3beacbf3a0d8b454f6f82837d38" +dependencies = [ + "getrandom 0.3.3", +] + +[[package]] +name = "rand_hc" +version = "0.3.2" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "7b363d4f6370f88d62bf586c80405657bde0f0e1b8945d47d2ad59b906cb4f54" +dependencies = [ + "rand_core 0.6.4", +] + +[[package]] +name = "rand_xorshift" +version = "0.4.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "513962919efc330f829edb2535844d1b912b0fbe2ca165d613e4e8788bb05a5a" +dependencies = [ + "rand_core 0.9.3", +] + +[[package]] +name = "rayon" +version = "1.11.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "368f01d005bf8fd9b1206fb6fa653e6c4a81ceb1466406b81792d87c5677a58f" +dependencies = [ + "either", + "rayon-core", +] + +[[package]] +name = "rayon-core" +version = "1.13.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "22e18b0f0062d30d4230b2e85ff77fdfe4326feb054b9783a3460d8435c8ab91" +dependencies = [ + "crossbeam-deque", + "crossbeam-utils", +] [[package]] name = "redox_syscall" @@ -1015,13 +1749,13 @@ dependencies = [ [[package]] name = "regex" -version = "1.11.1" +version = "1.12.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b544ef1b4eac5dc2db33ea63606ae9ffcfac26c1416a2806ae0bf5f56b201191" +checksum = "843bc0191f75f3e22651ae5f1e72939ab2f72a4bc30fa80a066bd66edefc24d4" dependencies = [ "aho-corasick", "memchr", - "regex-automata 0.4.9", + "regex-automata 0.4.13", "regex-syntax 0.8.5", ] @@ -1036,9 +1770,9 @@ dependencies = [ [[package]] name = "regex-automata" -version = "0.4.9" +version = "0.4.13" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "809e8dc61f6de73b46c85f4c96486310fe304c434cfa43669d7b40f711150908" +checksum = "5276caf25ac86c8d810222b3dbb938e512c55c6831a10f3e6ed1c93b84041f1c" dependencies = [ "aho-corasick", "memchr", @@ -1057,6 +1791,22 @@ version = "0.8.5" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "2b15c43186be67a4fd63bee50d0303afffcef381492ebe2c5d87f324e1b8815c" +[[package]] +name = "rfc6979" +version = "0.4.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "f8dd2a808d456c4a54e300a23e9f5a67e122c3024119acbfd73e3bf664491cb2" +dependencies = [ + "hmac", + "subtle", +] + +[[package]] +name = "rustc-demangle" +version = "0.1.26" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "56f7d92ca342cea22a06f2121d944b4fd82af56988c270852495420f961d4ace" + [[package]] name = "rustc_version" version = "0.2.3" @@ -1075,6 +1825,19 @@ dependencies = [ "semver 1.0.26", ] +[[package]] +name = "rustix" +version = "0.38.44" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "fdb5bc1ae2baa591800df16c9ca78619bf65c0488b41b96ccec5d11220d8c154" +dependencies = [ + "bitflags", + "errno", + "libc", + "linux-raw-sys", + "windows-sys 0.59.0", +] + [[package]] name = "rustversion" version = "1.0.20" @@ -1108,6 +1871,20 @@ version = "1.2.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49" +[[package]] +name = "sec1" +version = "0.7.3" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "d3e97a565f76233a6003f9f5c54be1d9c5bdfa3eccfb189469f11ec4901c47dc" +dependencies = [ + "base16ct", + "der", + "generic-array", + "pkcs8", + "subtle", + "zeroize", +] + [[package]] name = "semver" version = "0.9.0" @@ -1134,18 +1911,28 @@ checksum = "388a1df253eca08550bef6c72392cfe7c30914bf41df5269b68cbd6ff8f570a3" [[package]] name = "serde" -version = "1.0.219" +version = "1.0.228" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "9a8e94ea7f378bd32cbbd37198a4a91436180c5bb472411e48b5ec2e2124ae9e" +dependencies = [ + "serde_core", + "serde_derive", +] + +[[package]] +name = "serde_core" +version = "1.0.228" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5f0e2c6ed6606019b4e29e69dbaba95b11854410e5347d525002456dbbb786b6" +checksum = "41d385c7d4ca58e59fc732af25c3983b67ac852c1a25000afe1175de458b67ad" dependencies = [ "serde_derive", ] [[package]] name = "serde_derive" -version = "1.0.219" +version = "1.0.228" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5b0276cf7f2c73365f7157c8123c21cd9a50fbbd844757af28ca1f5925fc2a00" +checksum = "d540f220d3187173da220f885ab66608367b6574e925011a9353e4badda91d79" dependencies = [ "proc-macro2", "quote", @@ -1173,6 +1960,26 @@ dependencies = [ "serde", ] +[[package]] +name = "serde_spanned" +version = "1.0.3" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "e24345aa0fe688594e73770a5f6d1b216508b4f93484c0026d521acd30134392" +dependencies = [ + "serde_core", +] + +[[package]] +name = "sha2" +version = "0.10.9" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "a7507d819769d01a365ab707794a4084392c824f54a7a6a7862f8c3d0892b283" +dependencies = [ + "cfg-if", + "cpufeatures", + "digest", +] + [[package]] name = "sha3" version = "0.10.8" @@ -1198,6 +2005,16 @@ version = "1.3.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64" +[[package]] +name = "signature" +version = "2.2.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "77549399552de45a898a580c1b41d445bf730df867cc44e6c0233bbc4b8329de" +dependencies = [ + "digest", + "rand_core 0.6.4", +] + [[package]] name = "siphasher" version = "1.0.1" @@ -1221,6 +2038,19 @@ name = "spin" version = "0.9.8" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "6980e8d7511241f8acf4aebddbb1ff938df5eebe98691418c4468d0b72a96a67" +dependencies = [ + "lock_api", +] + +[[package]] +name = "spki" +version = "0.7.3" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "d91ed6c858b01f942cd56b37a94b3e0a1798290327d1236e4d9cf4eaca44d29d" +dependencies = [ + "base64ct", + "der", +] [[package]] name = "string_cache" @@ -1243,6 +2073,33 @@ dependencies = [ "vte", ] +[[package]] +name = "subtle" +version = "2.6.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "13c2bddecc57b384dee18652358fb23172facb8a2c51ccc10d74c157bdea3292" + +[[package]] +name = "supports-color" +version = "3.0.2" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "c64fc7232dd8d2e4ac5ce4ef302b1d81e0b80d055b9d77c7c4f51f6aa4c867d6" +dependencies = [ + "is_ci", +] + +[[package]] +name = "supports-hyperlinks" +version = "3.1.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "804f44ed3c63152de6a9f90acbea1a110441de43006ea51bcce8f436196a288b" + +[[package]] +name = "supports-unicode" +version = "3.0.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "b7401a30af6cb5818bb64852270bb722533397edcfc7344954a38f420819ece2" + [[package]] name = "syn" version = "2.0.106" @@ -1266,7 +2123,7 @@ version = "1.2.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "2111ef44dae28680ae9752bb89409e7310ca33a8c621ebe7b106cf5c928b3ac0" dependencies = [ - "windows-sys", + "windows-sys 0.59.0", ] [[package]] @@ -1278,6 +2135,16 @@ dependencies = [ "winapi-util", ] +[[package]] +name = "terminal_size" +version = "0.3.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "21bebf2b7c9e0a515f6e0f8c51dc0f8e4696391e6f1ff30379559f8365fb0df7" +dependencies = [ + "rustix", + "windows-sys 0.48.0", +] + [[package]] name = "textwrap" version = "0.16.2" @@ -1319,6 +2186,15 @@ dependencies = [ "once_cell", ] +[[package]] +name = "tokio" +version = "1.48.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "ff360e02eab121e0bc37a2d3b4d4dc622e6eda3a8e5253d5435ecf5bd4c68408" +dependencies = [ + "pin-project-lite", +] + [[package]] name = "toml" version = "0.8.22" @@ -1327,7 +2203,7 @@ checksum = "05ae329d1f08c4d17a59bed7ff5b5a769d062e64a62d34a3261b219e62cd5aae" dependencies = [ "indexmap", "serde", - "serde_spanned", + "serde_spanned 0.6.8", "toml_datetime", "toml_edit", ] @@ -1349,7 +2225,7 @@ checksum = "310068873db2c5b3e7659d2cc35d21855dbafa50d1ce336397c666e3cb08137e" dependencies = [ "indexmap", "serde", - "serde_spanned", + "serde_spanned 0.6.8", "toml_datetime", "toml_write", "winnow", @@ -1444,6 +2320,12 @@ version = "1.18.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "1dccffe3ce07af9386bfd29e80c0ab1a8205a2fc34e4bcd40364df902cfa8f3f" +[[package]] +name = "unarray" +version = "0.1.4" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "eaea85b334db583fe3274d12b4cd1880032beab409c0d774be044d4480ab9a94" + [[package]] name = "unicode-ident" version = "1.0.18" @@ -1474,6 +2356,22 @@ version = "0.2.6" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "ebc1c04c71510c7f702b52b7c350734c9ff1295c464a03335b00bb84fc54f853" +[[package]] +name = "universal-hash" +version = "0.5.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "fc1de2c688dc15305988b563c3854064043356019f97a4b46276fe734c4f07ea" +dependencies = [ + "crypto-common", + "subtle", +] + +[[package]] +name = "utf8parse" +version = "0.2.2" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "06abde3611657adf66d383f00b093d7faecc7fa57071cce2578660c9f1010821" + [[package]] name = "valuable" version = "0.1.1" @@ -1505,6 +2403,12 @@ dependencies = [ "winapi-util", ] +[[package]] +name = "wasi" +version = "0.11.1+wasi-snapshot-preview1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "ccf3ec651a847eb01de73ccad15eb7d99f80485de043efb2f370cd654f4ea44b" + [[package]] name = "wasi" version = "0.14.2+wasi-0.2.4" @@ -1627,7 +2531,7 @@ version = "0.1.9" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "cf221c93e13a30d793f7645a0e7762c55d169dbb0a49671918a2319d289b10bb" dependencies = [ - "windows-sys", + "windows-sys 0.59.0", ] [[package]] @@ -1645,7 +2549,7 @@ dependencies = [ "windows-collections", "windows-core", "windows-future", - "windows-link", + "windows-link 0.1.1", "windows-numerics", ] @@ -1666,7 +2570,7 @@ checksum = "46ec44dc15085cea82cf9c78f85a9114c463a369786585ad2882d1ff0b0acf40" dependencies = [ "windows-implement", "windows-interface", - "windows-link", + "windows-link 0.1.1", "windows-result", "windows-strings", ] @@ -1678,7 +2582,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "fc6a41e98427b19fe4b73c550f060b59fa592d7d686537eebf9385621bfbad8e" dependencies = [ "windows-core", - "windows-link", + "windows-link 0.1.1", "windows-threading", ] @@ -1710,6 +2614,12 @@ version = "0.1.1" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "76840935b766e1b0a05c0066835fb9ec80071d4c09a16f6bd5f7e655e3c14c38" +[[package]] +name = "windows-link" +version = "0.2.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "f0805222e57f7521d6a62e36fa9163bc891acd422f971defe97d64e70d0a4fe5" + [[package]] name = "windows-numerics" version = "0.2.0" @@ -1717,7 +2627,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "9150af68066c4c5c07ddc0ce30421554771e528bde427614c61038bc2c92c2b1" dependencies = [ "windows-core", - "windows-link", + "windows-link 0.1.1", ] [[package]] @@ -1726,7 +2636,7 @@ version = "0.3.3" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "4b895b5356fc36103d0f64dd1e94dfa7ac5633f1c9dd6e80fe9ec4adef69e09d" dependencies = [ - "windows-link", + "windows-link 0.1.1", ] [[package]] @@ -1735,7 +2645,16 @@ version = "0.4.1" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "2a7ab927b2637c19b3dbe0965e75d8f2d30bdd697a1516191cad2ec4df8fb28a" dependencies = [ - "windows-link", + "windows-link 0.1.1", +] + +[[package]] +name = "windows-sys" +version = "0.48.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "677d2418bec65e3338edb076e806bc1ec15693c5d0104683f2efe857f61056a9" +dependencies = [ + "windows-targets 0.48.5", ] [[package]] @@ -1744,7 +2663,31 @@ version = "0.59.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "1e38bc4d79ed67fd075bcc251a1c39b32a1776bbe92e5bef1f0bf1f8c531853b" dependencies = [ - "windows-targets", + "windows-targets 0.52.6", +] + +[[package]] +name = "windows-sys" +version = "0.61.2" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "ae137229bcbd6cdf0f7b80a31df61766145077ddf49416a728b02cb3921ff3fc" +dependencies = [ + "windows-link 0.2.1", +] + +[[package]] +name = "windows-targets" +version = "0.48.5" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "9a2fa6e2155d7247be68c096456083145c183cbbbc2764150dda45a87197940c" +dependencies = [ + "windows_aarch64_gnullvm 0.48.5", + "windows_aarch64_msvc 0.48.5", + "windows_i686_gnu 0.48.5", + "windows_i686_msvc 0.48.5", + "windows_x86_64_gnu 0.48.5", + "windows_x86_64_gnullvm 0.48.5", + "windows_x86_64_msvc 0.48.5", ] [[package]] @@ -1753,14 +2696,14 @@ version = "0.52.6" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "9b724f72796e036ab90c1021d4780d4d3d648aca59e491e6b98e725b84e99973" dependencies = [ - "windows_aarch64_gnullvm", - "windows_aarch64_msvc", - "windows_i686_gnu", + "windows_aarch64_gnullvm 0.52.6", + "windows_aarch64_msvc 0.52.6", + "windows_i686_gnu 0.52.6", "windows_i686_gnullvm", - "windows_i686_msvc", - "windows_x86_64_gnu", - "windows_x86_64_gnullvm", - "windows_x86_64_msvc", + "windows_i686_msvc 0.52.6", + "windows_x86_64_gnu 0.52.6", + "windows_x86_64_gnullvm 0.52.6", + "windows_x86_64_msvc 0.52.6", ] [[package]] @@ -1769,21 +2712,39 @@ version = "0.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "b66463ad2e0ea3bbf808b7f1d371311c80e115c0b71d60efc142cafbcfb057a6" dependencies = [ - "windows-link", + "windows-link 0.1.1", ] +[[package]] +name = "windows_aarch64_gnullvm" +version = "0.48.5" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "2b38e32f0abccf9987a4e3079dfb67dcd799fb61361e53e2882c3cbaf0d905d8" + [[package]] name = "windows_aarch64_gnullvm" version = "0.52.6" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "32a4622180e7a0ec044bb555404c800bc9fd9ec262ec147edd5989ccd0c02cd3" +[[package]] +name = "windows_aarch64_msvc" +version = "0.48.5" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "dc35310971f3b2dbbf3f0690a219f40e2d9afcf64f9ab7cc1be722937c26b4bc" + [[package]] name = "windows_aarch64_msvc" version = "0.52.6" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "09ec2a7bb152e2252b53fa7803150007879548bc709c039df7627cabbd05d469" +[[package]] +name = "windows_i686_gnu" +version = "0.48.5" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "a75915e7def60c94dcef72200b9a8e58e5091744960da64ec734a6c6e9b3743e" + [[package]] name = "windows_i686_gnu" version = "0.52.6" @@ -1796,24 +2757,48 @@ version = "0.52.6" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "0eee52d38c090b3caa76c563b86c3a4bd71ef1a819287c19d586d7334ae8ed66" +[[package]] +name = "windows_i686_msvc" +version = "0.48.5" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "8f55c233f70c4b27f66c523580f78f1004e8b5a8b659e05a4eb49d4166cca406" + [[package]] name = "windows_i686_msvc" version = "0.52.6" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "240948bc05c5e7c6dabba28bf89d89ffce3e303022809e73deaefe4f6ec56c66" +[[package]] +name = "windows_x86_64_gnu" +version = "0.48.5" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "53d40abd2583d23e4718fddf1ebec84dbff8381c07cae67ff7768bbf19c6718e" + [[package]] name = "windows_x86_64_gnu" version = "0.52.6" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "147a5c80aabfbf0c7d901cb5895d1de30ef2907eb21fbbab29ca94c5b08b1a78" +[[package]] +name = "windows_x86_64_gnullvm" +version = "0.48.5" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "0b7b52767868a23d5bab768e390dc5f5c55825b6d30b86c844ff2dc7414044cc" + [[package]] name = "windows_x86_64_gnullvm" version = "0.52.6" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "24d5b23dc417412679681396f2b49f3de8c1473deb516bd34410872eff51ed0d" +[[package]] +name = "windows_x86_64_msvc" +version = "0.48.5" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "ed94fce61571a4006852b7389a063ab983c02eb1bb37b47f8272ce92d06d9538" + [[package]] name = "windows_x86_64_msvc" version = "0.52.6" @@ -2014,3 +2999,39 @@ dependencies = [ "unicode-xid", "wasmparser", ] + +[[package]] +name = "x25519-dalek" +version = "2.0.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "c7e468321c81fb07fa7f4c636c3972b9100f0346e5b6a9f2bd0603a52f7ed277" +dependencies = [ + "curve25519-dalek", + "rand_core 0.6.4", +] + +[[package]] +name = "zerocopy" +version = "0.8.31" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "fd74ec98b9250adb3ca554bdde269adf631549f51d8a8f8f0a10b50f1cb298c3" +dependencies = [ + "zerocopy-derive", +] + +[[package]] +name = "zerocopy-derive" +version = "0.8.31" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "d8a8d209fdf45cf5138cbb5a506f6b52522a25afccc534d1475dad8e31105c6a" +dependencies = [ + "proc-macro2", + "quote", + "syn", +] + +[[package]] +name = "zeroize" +version = "1.8.2" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "b97154e67e32c85465826e8bcc1c59429aaaf107c1e4a9e53c8d8ccd5eff88d0"