chore: migrate to protocol release/v0.14.0-beta

Update all miden-protocol dependencies from 0.14.0-alpha.1 to
0.14.0-beta.1 (crates.io). Update miden-crypto from 0.19.7 to 0.22.
Bump node workspace version to 0.14.0-beta.1.

Key migration changes:
- Serialization traits moved to utils::serde submodule
- Felt::as_int() -> Felt::as_canonical_u64()
- falcon512_rpo -> falcon512_poseidon2
- ProvenTransactionBuilder removed, use ProvenTransaction::new()
- OutputNote variants: Full -> Public, Header -> Private
- Asset is now key-value (two words instead of one)
- MmrProof fields are now methods
- account_id_to_smt_key -> AccountIdKey::from()
- miden-air removed (replaced by miden-core 0.21)
- SmtStorage trait methods now take &mut self
- Various other API changes in miden-crypto 0.22

Author: claude

Cargo.lock

@@ -31,7 +31,7 @@ license      = "MIT"
 readme       = "README.md"
 repository   = "https://github.com/0xMiden/node"
 rust-version = "1.91"
-version      = "0.14.0-alpha.5"
+version      = "0.14.0-beta.1"
 
 # Optimize the cryptography for faster tests involving account creation.
 [profile.test.package.miden-crypto]
@@ -46,35 +46,33 @@ debug = true
 
 [workspace.dependencies]
 # Workspace crates.
-miden-large-smt-backend-rocksdb = { path = "crates/large-smt-backend-rocksdb", version = "=0.14.0-alpha.5" }
-miden-node-block-producer       = { path = "crates/block-producer", version = "=0.14.0-alpha.5" }
-miden-node-db                   = { path = "crates/db", version = "=0.14.0-alpha.5" }
-miden-node-grpc-error-macro     = { path = "crates/grpc-error-macro", version = "=0.14.0-alpha.5" }
-miden-node-ntx-builder          = { path = "crates/ntx-builder", version = "=0.14.0-alpha.5" }
-miden-node-proto                = { path = "crates/proto", version = "=0.14.0-alpha.5" }
-miden-node-proto-build          = { path = "proto", version = "=0.14.0-alpha.5" }
-miden-node-rpc                  = { path = "crates/rpc", version = "=0.14.0-alpha.5" }
-miden-node-store                = { path = "crates/store", version = "=0.14.0-alpha.5" }
+miden-large-smt-backend-rocksdb = { path = "crates/large-smt-backend-rocksdb", version = "=0.14.0-beta.1" }
+miden-node-block-producer       = { path = "crates/block-producer", version = "=0.14.0-beta.1" }
+miden-node-db                   = { path = "crates/db", version = "=0.14.0-beta.1" }
+miden-node-grpc-error-macro     = { path = "crates/grpc-error-macro", version = "=0.14.0-beta.1" }
+miden-node-ntx-builder          = { path = "crates/ntx-builder", version = "=0.14.0-beta.1" }
+miden-node-proto                = { path = "crates/proto", version = "=0.14.0-beta.1" }
+miden-node-proto-build          = { path = "proto", version = "=0.14.0-beta.1" }
+miden-node-rpc                  = { path = "crates/rpc", version = "=0.14.0-beta.1" }
+miden-node-store                = { path = "crates/store", version = "=0.14.0-beta.1" }
 miden-node-test-macro           = { path = "crates/test-macro" }
-miden-node-utils                = { path = "crates/utils", version = "=0.14.0-alpha.5" }
-miden-node-validator            = { path = "crates/validator", version = "=0.14.0-alpha.5" }
-miden-remote-prover-client      = { path = "crates/remote-prover-client", version = "=0.14.0-alpha.5" }
+miden-node-utils                = { path = "crates/utils", version = "=0.14.0-beta.1" }
+miden-node-validator            = { path = "crates/validator", version = "=0.14.0-beta.1" }
+miden-remote-prover-client      = { path = "crates/remote-prover-client", version = "=0.14.0-beta.1" }
 # Temporary workaround until <https://github.com/rust-rocksdb/rust-rocksdb/pull/1029>
 # is part of `rocksdb-rust` release
-miden-node-rocksdb-cxx-linkage-fix = { path = "crates/rocksdb-cxx-linkage-fix", version = "=0.14.0-alpha.5" }
+miden-node-rocksdb-cxx-linkage-fix = { path = "crates/rocksdb-cxx-linkage-fix", version = "=0.14.0-beta.1" }
 
 # miden-base aka protocol dependencies. These should be updated in sync.
-miden-block-prover    = { version = "=0.14.0-alpha.1" }
-miden-protocol        = { default-features = false, version = "=0.14.0-alpha.1" }
-miden-standards       = { version = "=0.14.0-alpha.1" }
-miden-testing         = { version = "=0.14.0-alpha.1" }
-miden-tx              = { default-features = false, version = "=0.14.0-alpha.1" }
-miden-tx-batch-prover = { version = "=0.14.0-alpha.1" }
+miden-block-prover    = { version = "=0.14.0-beta.1" }
+miden-protocol        = { default-features = false, version = "=0.14.0-beta.1" }
+miden-standards       = { version = "=0.14.0-beta.1" }
+miden-testing         = { version = "=0.14.0-beta.1" }
+miden-tx              = { default-features = false, version = "=0.14.0-beta.1" }
+miden-tx-batch-prover = { version = "=0.14.0-beta.1" }
 
 # Other miden dependencies. These should align with those expected by miden-base.
-miden-air = { features = ["std", "testing"], version = "0.20" }
-
-miden-crypto = { version = "0.19.7" }
+miden-crypto = { version = "0.22" }
 
 # External dependencies
 anyhow            = { version = "1.0" }

Cargo.toml

@@ -16,7 +16,7 @@ use miden_protocol::account::auth::AuthSecretKey;
 use miden_protocol::account::{Account, AccountFile, AccountHeader, AccountId};
 use miden_protocol::assembly::Library;
 use miden_protocol::block::{BlockHeader, BlockNumber};
-use miden_protocol::crypto::dsa::falcon512_rpo::SecretKey;
+use miden_protocol::crypto::dsa::falcon512_poseidon2::SecretKey;
 use miden_protocol::note::{
     Note,
     NoteAssets,
@@ -28,13 +28,13 @@ use miden_protocol::note::{
     NoteType,
 };
 use miden_protocol::transaction::{InputNotes, PartialBlockchain, TransactionArgs};
-use miden_protocol::utils::Deserializable;
+use miden_protocol::utils::serde::Deserializable;
 use miden_protocol::{Felt, Word};
 use miden_standards::account::interface::{AccountInterface, AccountInterfaceExt};
 use miden_standards::code_builder::CodeBuilder;
 use miden_standards::note::{NetworkAccountTarget, NoteExecutionHint};
 use miden_tx::auth::BasicAuthenticator;
-use miden_tx::utils::Serializable;
+use miden_tx::utils::serde::Serializable;
 use miden_tx::{LocalTransactionProver, TransactionExecutor};
 use rand::{Rng, SeedableRng};
 use rand_chacha::ChaCha20Rng;
@@ -130,7 +130,7 @@ async fn fetch_counter_value(
         .try_into()
         .context("failed to convert slot value to word")?;
 
-    let value = slot_value.as_elements().last().expect("Word has 4 elements").as_int();
+    let value = slot_value.as_elements().last().expect("Word has 4 elements").as_canonical_u64();
 
     Ok(Some(value))
 }
@@ -321,7 +321,7 @@ async fn setup_increment_task(
         .await?
         .unwrap_or(wallet_account_file.account.clone());
 
-    let AuthSecretKey::Falcon512Rpo(secret_key) = wallet_account_file
+    let AuthSecretKey::Falcon512Poseidon2(secret_key) = wallet_account_file
         .auth_secret_keys
         .first()
         .expect("wallet account file should have one auth secret key")
@@ -821,7 +821,8 @@ async fn create_and_submit_network_note(
     rng: &mut ChaCha20Rng,
 ) -> Result<(String, AccountHeader, BlockNumber)> {
     // Create authenticator for transaction signing
-    let authenticator = BasicAuthenticator::new(&[AuthSecretKey::Falcon512Rpo(secret_key.clone())]);
+    let authenticator =
+        BasicAuthenticator::new(&[AuthSecretKey::Falcon512Poseidon2(secret_key.clone())]);
 
     let account_interface = AccountInterface::from_account(wallet_account);
 
@@ -851,7 +852,7 @@ async fn create_and_submit_network_note(
 
     // Prove the transaction
     let prover = LocalTransactionProver::default();
-    let proven_tx = prover.prove(executed_tx).context("Failed to prove transaction")?;
+    let proven_tx = prover.prove(executed_tx).await.context("Failed to prove transaction")?;
 
     // Submit the proven transaction
     let request = ProvenTransaction {

bin/network-monitor/src/counter.rs

@@ -16,7 +16,7 @@ use miden_protocol::account::{
     StorageSlotName,
 };
 use miden_protocol::utils::sync::LazyLock;
-use miden_protocol::{Felt, FieldElement, Word};
+use miden_protocol::{Felt, Word};
 use miden_standards::code_builder::CodeBuilder;
 use miden_standards::testing::account_component::IncrNonceAuthComponent;
 use tracing::instrument;
@@ -54,7 +54,7 @@ pub fn create_counter_account(owner_account_id: AccountId) -> Result<Account> {
     let component_code =
         CodeBuilder::default().compile_component_code("counter::program", script)?;
 
-    let metadata = AccountComponentMetadata::new("counter::program").with_supports_all_types();
+    let metadata = AccountComponentMetadata::new("counter::program", AccountType::all());
     let account_code =
         AccountComponent::new(component_code, vec![counter_slot, owner_id_slot], metadata)?;
 

bin/network-monitor/src/deploy/counter.rs

@@ -32,7 +32,7 @@ use miden_protocol::transaction::{
 };
 use miden_protocol::{MastForest, Word};
 use miden_tx::auth::BasicAuthenticator;
-use miden_tx::utils::Serializable;
+use miden_tx::utils::serde::Serializable;
 use miden_tx::{
     DataStore,
     DataStoreError,
@@ -203,7 +203,7 @@ pub async fn deploy_counter_account(counter_account: &Account, rpc_url: &Url) ->
 
     let prover = LocalTransactionProver::default();
 
-    let proven_tx = prover.prove(executed_tx).context("Failed to prove transaction")?;
+    let proven_tx = prover.prove(executed_tx).await.context("Failed to prove transaction")?;
 
     let request = ProvenTransaction {
         transaction: proven_tx.to_bytes(),

bin/network-monitor/src/deploy/mod.rs

@@ -6,7 +6,7 @@ use anyhow::Result;
 use miden_node_utils::crypto::get_rpo_random_coin;
 use miden_protocol::account::auth::{AuthScheme, AuthSecretKey};
 use miden_protocol::account::{Account, AccountFile, AccountStorageMode, AccountType};
-use miden_protocol::crypto::dsa::falcon512_rpo::SecretKey;
+use miden_protocol::crypto::dsa::falcon512_poseidon2::SecretKey;
 use miden_standards::AuthMethod;
 use miden_standards::account::wallets::create_basic_wallet;
 use rand::{Rng, SeedableRng};
@@ -23,7 +23,7 @@ pub fn create_wallet_account() -> Result<(Account, SecretKey)> {
     let mut rng = ChaCha20Rng::from_seed(rand::random());
     let secret_key = SecretKey::with_rng(&mut get_rpo_random_coin(&mut rng));
     let auth = AuthMethod::SingleSig {
-        approver: (secret_key.public_key().into(), AuthScheme::Falcon512Rpo),
+        approver: (secret_key.public_key().into(), AuthScheme::Falcon512Poseidon2),
     };
     let init_seed: [u8; 32] = rng.random();
 
@@ -43,7 +43,7 @@ pub fn save_wallet_account(
     secret_key: &SecretKey,
     file_path: &Path,
 ) -> Result<()> {
-    let auth_secret_key = AuthSecretKey::Falcon512Rpo(secret_key.clone());
+    let auth_secret_key = AuthSecretKey::Falcon512Poseidon2(secret_key.clone());
     let account_file = AccountFile::new(account.clone(), vec![auth_secret_key]);
     account_file.write(file_path)?;
     Ok(())

bin/network-monitor/src/deploy/wallet.rs

@@ -14,7 +14,7 @@ use miden_protocol::note::NoteType;
 use miden_protocol::testing::account_id::{ACCOUNT_ID_PUBLIC_FUNGIBLE_FAUCET, ACCOUNT_ID_SENDER};
 use miden_protocol::transaction::TransactionInputs;
 use miden_testing::{Auth, MockChainBuilder};
-use miden_tx::utils::Serializable;
+use miden_tx::utils::serde::Serializable;
 use serde::{Deserialize, Serialize};
 use tokio::sync::watch;
 use tokio::time::MissedTickBehavior;
@@ -278,7 +278,9 @@ pub async fn generate_mock_transaction() -> anyhow::Result<TransactionInputs> {
 
     // Create an account with basic authentication
     let account = mock_chain_builder
-        .add_existing_wallet(Auth::BasicAuth { auth_scheme: AuthScheme::Falcon512Rpo })
+        .add_existing_wallet(Auth::BasicAuth {
+            auth_scheme: AuthScheme::Falcon512Poseidon2,
+        })
         .context("Failed to add wallet to mock chain")?;
 
     // Create a fungible asset

bin/network-monitor/src/remote_prover.rs

@@ -9,7 +9,7 @@ use miden_node_utils::clap::GrpcOptionsExternal;
 use miden_node_utils::grpc::UrlExt;
 use miden_node_validator::{Validator, ValidatorSigner};
 use miden_protocol::crypto::dsa::ecdsa_k256_keccak::SecretKey;
-use miden_protocol::utils::Deserializable;
+use miden_protocol::utils::serde::Deserializable;
 use tokio::net::TcpListener;
 use tokio::task::JoinSet;
 use url::Url;

bin/node/src/commands/bundled.rs

@@ -13,7 +13,7 @@ use miden_node_block_producer::{
 use miden_node_utils::clap::duration_to_human_readable_string;
 use miden_node_validator::ValidatorSigner;
 use miden_protocol::crypto::dsa::ecdsa_k256_keccak::SecretKey;
-use miden_protocol::utils::Deserializable;
+use miden_protocol::utils::serde::Deserializable;
 use tokio::net::TcpListener;
 use url::Url;
 

bin/node/src/commands/mod.rs

@@ -6,7 +6,7 @@ use miden_node_utils::clap::GrpcOptionsInternal;
 use miden_node_utils::grpc::UrlExt;
 use miden_node_validator::{Validator, ValidatorSigner};
 use miden_protocol::crypto::dsa::ecdsa_k256_keccak::SecretKey;
-use miden_protocol::utils::Deserializable;
+use miden_protocol::utils::serde::Deserializable;
 use url::Url;
 
 use crate::commands::{