diff --git a/Cargo.lock b/Cargo.lock
index 82a4857..1cd5cfc 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -53,18 +53,6 @@ dependencies = [
  "generic-array",
 ]
 
-[[package]]
-name = "ahash"
-version = "0.8.12"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5a15f179cd60c4584b8a8c596927aadc462e27f2ca70c04e0071964a73ba7a75"
-dependencies = [
- "cfg-if",
- "once_cell",
- "version_check",
- "zerocopy",
-]
-
 [[package]]
 name = "aho-corasick"
 version = "1.1.4"
@@ -80,6 +68,12 @@ version = "0.2.21"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "683d7910e743518b0e34f1186f92494becacb047c7b6bf616c96772180fef923"
 
+[[package]]
+name = "allocator-api2"
+version = "0.4.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c880a97d28a3681c0267bd29cff89621202715b065127cd445fa0f0fe0aa2880"
+
 [[package]]
 name = "android_system_properties"
 version = "0.1.5"
@@ -125,7 +119,7 @@ version = "1.1.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "40c48f72fd53cd289104fc64099abca73db4166ad86ea0b4341abe65af83dadc"
 dependencies = [
- "windows-sys 0.60.2",
+ "windows-sys 0.61.2",
 ]
 
 [[package]]
@@ -136,7 +130,7 @@ checksum = "291e6a250ff86cd4a820112fb8898808a366d8f9f58ce16d1f538353ad55747d"
 dependencies = [
  "anstyle",
  "once_cell_polyfill",
- "windows-sys 0.60.2",
+ "windows-sys 0.61.2",
 ]
 
 [[package]]
@@ -236,15 +230,15 @@ checksum = "72b3254f16251a8381aa12e40e3c4d2f0199f8c6508fbecb9d91f575e0fbb8c6"
 
 [[package]]
 name = "base64ct"
-version = "1.8.0"
+version = "1.8.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "55248b47b0caf0546f7988906588779981c43bb1bc9d0c44087278f80cdb44ba"
+checksum = "0e050f626429857a27ddccb31e0aca21356bfa709c04041aefddac081a8f068a"
 
 [[package]]
 name = "bech32"
-version = "0.11.0"
+version = "0.11.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d965446196e3b7decd44aa7ee49e31d630118f90ef12f97900f262eb915c951d"
+checksum = "32637268377fc7b10a8c6d51de3e7fba1ce5dd371a96e342b34e6078db558e7f"
 
 [[package]]
 name = "beef"
@@ -300,11 +294,11 @@ dependencies = [
 
 [[package]]
 name = "blink-alloc"
-version = "0.3.1"
+version = "0.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e669f146bb8b2327006ed94c69cf78c8ec81c100192564654230a40b4f091d82"
+checksum = "ce4c15bad517bc0fb4a44523adf470e2c3eb3a365769327acdba849948ea3705"
 dependencies = [
- "allocator-api2",
+ "allocator-api2 0.4.0",
 ]
 
 [[package]]
@@ -345,9 +339,9 @@ dependencies = [
 
 [[package]]
 name = "cargo-miden"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d219f8b56b439da0a398db64a25c3a1e62aefed23dd750d8fa9d34f5b4684035"
+checksum = "05033ddc634e118a624d5753bcab80b0b8a7155f7a867a6095f11fc4e9cdcc59"
 dependencies = [
  "anyhow",
  "cargo_metadata",
@@ -357,13 +351,12 @@ dependencies = [
  "log",
  "midenc-compile",
  "midenc-session",
- "parse_arg 0.1.6",
  "path-absolutize",
  "semver 1.0.27",
  "serde",
  "serde_json",
  "tempfile",
- "toml_edit 0.23.7",
+ "toml_edit 0.23.9",
  "walkdir",
 ]
 
@@ -401,9 +394,9 @@ dependencies = [
 
 [[package]]
 name = "cc"
-version = "1.2.48"
+version = "1.2.49"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c481bdbf0ed3b892f6f806287d72acd515b352a4ec27a208489b8c1bc839633a"
+checksum = "90583009037521a116abf44494efecd645ba48b6622457080f080b85544e2215"
 dependencies = [
  "find-msvc-tools",
  "jobserver",
@@ -762,21 +755,22 @@ dependencies = [
 
 [[package]]
 name = "derive_more"
-version = "2.0.1"
+version = "2.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "093242cf7570c207c83073cf82f79706fe7b8317e98620a47d5be7c3d8497678"
+checksum = "10b768e943bed7bf2cab53df09f4bc34bfd217cdb57d971e769874c9a6710618"
 dependencies = [
  "derive_more-impl",
 ]
 
 [[package]]
 name = "derive_more-impl"
-version = "2.0.1"
+version = "2.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bda628edc44c4bb645fbe0f758797143e4e07926f7ebf4e9bdfbd3d2ce621df3"
+checksum = "6d286bfdaf75e988b4a78e013ecd79c581e06399ab53fbacd2d916c2f904f30b"
 dependencies = [
  "proc-macro2",
  "quote",
+ "rustc_version 0.4.1",
  "syn",
 ]
 
@@ -919,7 +913,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb"
 dependencies = [
  "libc",
- "windows-sys 0.52.0",
+ "windows-sys 0.61.2",
 ]
 
 [[package]]
@@ -1216,23 +1210,13 @@ dependencies = [
  "tracing",
 ]
 
-[[package]]
-name = "hashbrown"
-version = "0.14.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e5274423e17b7c9fc20b6e7e208532f9b19825d82dfd615708b70edd83df41f1"
-dependencies = [
- "ahash",
- "allocator-api2",
-]
-
 [[package]]
 name = "hashbrown"
 version = "0.15.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "9229cfe53dfd69f0609a49f65461bd93001ea1ef889cd5529dd176593f5338a1"
 dependencies = [
- "allocator-api2",
+ "allocator-api2 0.2.21",
  "equivalent",
  "foldhash 0.1.5",
 ]
@@ -1243,7 +1227,7 @@ version = "0.16.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "841d1cc9bed7f9236f321df977030373f4a4163ae1a7dbfe1a51a2c1a51d9100"
 dependencies = [
- "allocator-api2",
+ "allocator-api2 0.2.21",
  "equivalent",
  "foldhash 0.2.0",
  "rayon",
@@ -1379,9 +1363,9 @@ dependencies = [
 
 [[package]]
 name = "hyper-util"
-version = "0.1.18"
+version = "0.1.19"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "52e9a2a24dc5c6821e71a7030e1e14b7b632acac55c40e9d2e082c621261bb56"
+checksum = "727805d60e7938b76b826a6ef209eb70eaa1812794f9424d4a4e2d740662df5f"
 dependencies = [
  "bytes",
  "futures-channel",
@@ -1651,9 +1635,9 @@ checksum = "09edd9e8b54e49e587e4f6295a7d29c3ea94d469cb40ab8ca70b288248a81db2"
 
 [[package]]
 name = "libc"
-version = "0.2.177"
+version = "0.2.178"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2874a2af47a2325c2001a6e6fad9b16a53b802102b528163885171cf92b15976"
+checksum = "37c93d8daa9d8a012fd8ab92f088405fb202ea0b6ab73ee2482ae66af4f42091"
 
 [[package]]
 name = "libm"
@@ -1749,9 +1733,9 @@ dependencies = [
 
 [[package]]
 name = "log"
-version = "0.4.28"
+version = "0.4.29"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "34080505efa8e45a4b816c349525ebe327ceaa8559756f0356cba97ef3bf7432"
+checksum = "5e5032e24019045c762d3c0f28f5b6b8bbf38563a65908389bf7978758920897"
 
 [[package]]
 name = "logos"
@@ -1868,9 +1852,9 @@ dependencies = [
 
 [[package]]
 name = "miden"
-version = "0.7.1"
+version = "0.8.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6a06aa85af0fa2be870520767ebecb3264b86e2048dd07d29cffb181a5e33af0"
+checksum = "db443dc2be686e14bd2fd4213476146d2d4b4b14d52ac7191f51a789ae5b7678"
 dependencies = [
  "miden-base",
  "miden-base-sys",
@@ -1930,9 +1914,9 @@ dependencies = [
 
 [[package]]
 name = "miden-base"
-version = "0.7.1"
+version = "0.8.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "cf7fddd7fc5dc709e41da7d82fac8647e515ff84466451ce939a242c3e5c8052"
+checksum = "6fc4d8ec7077dc50d03d7afecd5308e933b87abe7ffc0ac1e62abda53dd9dc62"
 dependencies = [
  "miden-base-macros",
  "miden-base-sys",
@@ -1941,9 +1925,9 @@ dependencies = [
 
 [[package]]
 name = "miden-base-macros"
-version = "0.7.1"
+version = "0.8.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "039da08835f1f6662fda82ee50a7681cf618a3a6ef054b6fa439dec35a47be9b"
+checksum = "07f1ef27517f1d2baf20c66f0795630e74370680798060ed94dc05d3565cd2a9"
 dependencies = [
  "heck",
  "miden-objects",
@@ -1952,13 +1936,15 @@ dependencies = [
  "semver 1.0.27",
  "syn",
  "toml 0.8.23",
+ "wit-bindgen-core",
+ "wit-bindgen-rust",
 ]
 
 [[package]]
 name = "miden-base-sys"
-version = "0.8.0"
+version = "0.8.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b44fb31dad5fc047dea13c31e1e9c041c246e75e28151a08559bfdb7230c9c54"
+checksum = "862632407d9f60286e82ad6e56f16a0356b1f266d3fb41d13866cfdc326c2090"
 dependencies = [
  "miden-stdlib-sys",
 ]
@@ -1976,9 +1962,9 @@ dependencies = [
 
 [[package]]
 name = "miden-client"
-version = "0.12.3"
+version = "0.12.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "20c061c44b345267a9d144fb1cb2d2f7b47a9257f52d7907004297df8a3de1d7"
+checksum = "1f0574b4ce13a16f07513bfc8775a6e8d55e64684a82bffd59174cab3a2c1991"
 dependencies = [
  "anyhow",
  "async-trait",
@@ -2013,9 +1999,9 @@ dependencies = [
 
 [[package]]
 name = "miden-client-sqlite-store"
-version = "0.12.3"
+version = "0.12.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "57f806b34687798a0545177619196017362cb3b67bd0c7003081d1fd5d179c70"
+checksum = "594b08393cd63ff092acabae229ae8cc92953471831efdf63650496f4c22dbd6"
 dependencies = [
  "anyhow",
  "async-trait",
@@ -2050,9 +2036,9 @@ dependencies = [
 
 [[package]]
 name = "miden-crypto"
-version = "0.18.4"
+version = "0.18.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0048d2d987f215bc9633ced499a8c488d0e2474350c765f904b87cae3462acb7"
+checksum = "395e5cc76b64e24533ee55c8d1ff90305b8cad372bdbea4f4f324239e36a895f"
 dependencies = [
  "blake3",
  "cc",
@@ -2082,9 +2068,9 @@ dependencies = [
 
 [[package]]
 name = "miden-crypto-derive"
-version = "0.18.4"
+version = "0.18.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ca3b38aace84e157fb02aba8f8ae85bbf8c3afdcdbdf8190fbe7476f3be7ef44"
+checksum = "c89641b257eb395cf03105ac1c6cbdf3fd9a5450749696af9835c3c47fc6806e"
 dependencies = [
  "quote",
  "syn",
@@ -2198,7 +2184,7 @@ checksum = "ec8059a6beaabf87cc58c24a9c51d01fbd6d9b46edc2522125442962ce279ec2"
 dependencies = [
  "fs-err",
  "miette",
- "protox 0.9.0",
+ "protox 0.9.1",
  "tonic-prost-build",
 ]
 
@@ -2210,7 +2196,7 @@ checksum = "86d7a7b3a64c71d33f771d32cde58559207819a64ada9add0acb31857e111b9d"
 dependencies = [
  "fs-err",
  "miette",
- "protox 0.9.0",
+ "protox 0.9.1",
  "tonic-prost-build",
 ]
 
@@ -2296,9 +2282,9 @@ dependencies = [
 
 [[package]]
 name = "miden-sdk-alloc"
-version = "0.7.0"
+version = "0.8.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0a364146445b0684cd2df7833324504c9b0f5256ecc39329762c3b17fcf64b65"
+checksum = "f7eef3b8651b93468a2b132c885b21aa6d488bf6cd78ba1f736ff90fa8c1fb43"
 
 [[package]]
 name = "miden-stdlib"
@@ -2318,9 +2304,9 @@ dependencies = [
 
 [[package]]
 name = "miden-stdlib-sys"
-version = "0.7.1"
+version = "0.8.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4df7e413d1c837b8a9f85ecb33a5dc1655fbf56c4da384ceb9983751eba786ac"
+checksum = "5978a2982cbeb64441e90c3e6ee7995ee513dbd1cd399f468fb7d3a608ecaf13"
 
 [[package]]
 name = "miden-testing"
@@ -2436,9 +2422,9 @@ dependencies = [
 
 [[package]]
 name = "midenc-codegen-masm"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e30924ffce882f7f8b46cf9972fc4c81d571e0d6e0178c12836018231bfc047b"
+checksum = "c593fbe5a29c22fa8908ccbef3f03dc8263ced451fa738c1a6ff91142c1089ed"
 dependencies = [
  "inventory",
  "log",
@@ -2464,9 +2450,9 @@ dependencies = [
 
 [[package]]
 name = "midenc-compile"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2ab8ffba56dbf4f82642dfbac28a1ba03f6c1b5c49749c7e5f1738841456fb58"
+checksum = "aebe203b423774601baae4a660a04f342a55879b1a3d0fd2356f40a0f081565c"
 dependencies = [
  "clap",
  "inventory",
@@ -2486,9 +2472,9 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-arith"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7389f2826e2f3091443c6af3a8392e8ca0e7ec01c9d0508404cfea26aef742ab"
+checksum = "24aa5f49e5cb14eaa60633ea078d4c65493a8aecf75e09956861475a586baee3"
 dependencies = [
  "midenc-hir",
  "paste",
@@ -2496,9 +2482,9 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-cf"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2b28ec5069aaa987cab007f2b4d9a7bdeff611afae7497b567d008937561452b"
+checksum = "57fa897b76fa999cafabf287c993d09b9a4c7f204d3e92ec371d3f45c60560aa"
 dependencies = [
  "log",
  "midenc-dialect-arith",
@@ -2507,9 +2493,9 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-hir"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "186bc4070f17e0f2e6f9eefc4b64fd6a2dcbbead051bd26b1aed4cf855678053"
+checksum = "a9d3957efe6f3acfb5e471cdeb17269140ffeaabed9c01ef15ed02ee489b6b07"
 dependencies = [
  "log",
  "midenc-dialect-arith",
@@ -2521,9 +2507,9 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-scf"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7a052a5f91aed8e26588c5ed205d95ddda5610160e241df0a834713def93fb8d"
+checksum = "8937b92ab53960c703ce87254dc3b816ab698f3b69d80a845ff21737bda6c851"
 dependencies = [
  "bitvec",
  "log",
@@ -2536,18 +2522,18 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-ub"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6b72ed5e1d03c8ba9adb5db4262efc53a3eb57b334a5f5cb4f99c9a1a09ffc9a"
+checksum = "daec6ae79c9aef0fe960a7d0b8b4fe02f773a5fc5a23d70cdaebd83ed49579cf"
 dependencies = [
  "midenc-hir",
 ]
 
 [[package]]
 name = "midenc-frontend-wasm"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8527078e1a900cd5e1aaddce3bacd7ca2dfe50382d662cca228d23ca73f03196"
+checksum = "778cb061e4506859923fef201a4758d8075e64d0df0c5fac87c4e28de7236ca4"
 dependencies = [
  "addr2line 0.24.2",
  "anyhow",
@@ -2569,16 +2555,15 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4b3320b03cfde11f06f4e3fdbe4d16d2fe9d84639811816131f59e5ad148af7c"
+checksum = "14e5dbaea7cd40dec41532b95510d250520f873bf253120d9f09e1be03542b95"
 dependencies = [
  "anyhow",
  "bitflags",
  "bitvec",
  "blink-alloc",
  "compact_str",
- "hashbrown 0.14.5",
  "hashbrown 0.15.5",
  "intrusive-collections",
  "inventory",
@@ -2597,9 +2582,9 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-analysis"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5c45bede7ec2522c46f1c78979f6c9cf2fb16247a2c1f24e74d9234ffc0c3898"
+checksum = "42332ac887ee10791c1f6665caa5b9f801cd69114f653493671ff562db224d34"
 dependencies = [
  "bitvec",
  "blink-alloc",
@@ -2609,9 +2594,9 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-macros"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "16819e7f5169c2b569163bc5efd39d911fb9be3e2aa8531bb7492bac00853a73"
+checksum = "914e05b299b7a04bf780f3cb58d58cda6dff164b25c1f51e8d76ffe59a07ba3d"
 dependencies = [
  "Inflector",
  "darling",
@@ -2622,12 +2607,11 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-symbol"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a3eac691227a151d0ac562ff61141b88cfe8cd3abab7ec82ccfbdcb760fec9af"
+checksum = "dbf53056c60f2e2369f25f3be2360d6bf94497c61daa2e24c198e23a9b562a98"
 dependencies = [
  "Inflector",
- "hashbrown 0.14.5",
  "hashbrown 0.15.5",
  "lock_api",
  "miden-formatting",
@@ -2638,9 +2622,9 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-transform"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5634910132e55b307857991dc4a5a4e2005f90e24d838d22dae575b25fd28f46"
+checksum = "2c844fda35dfcfe75eac74d029c55e477a4567c700ec0fb08e43d91a26bf3664"
 dependencies = [
  "log",
  "midenc-hir",
@@ -2663,9 +2647,9 @@ dependencies = [
 
 [[package]]
 name = "midenc-session"
-version = "0.5.1"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "253c73edadd269212100c0bb677b56d2e143fc0c1894d785e2e713b85474d3af"
+checksum = "7c936d173f02ecb487e176d8a9cc9f390355d053f0d37412eed0ff8a10088244"
 dependencies = [
  "anyhow",
  "clap",
@@ -2727,9 +2711,9 @@ dependencies = [
 
 [[package]]
 name = "mio"
-version = "1.1.0"
+version = "1.1.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "69d83b0086dc8ecf3ce9ae2874b2d1290252e2a30720bea58a5c6639b0092873"
+checksum = "a69bcab0ad47271a0234d9422b131806bf3968021e5dc9328caf2d4cd58557fc"
 dependencies = [
  "libc",
  "wasi",
@@ -2763,7 +2747,7 @@ version = "0.50.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "7957b9740744892f114936ab4a57b3f487491bbeafaf8083688b16841a4240e5"
 dependencies = [
- "windows-sys 0.59.0",
+ "windows-sys 0.61.2",
 ]
 
 [[package]]
@@ -2940,21 +2924,6 @@ dependencies = [
  "windows-link 0.2.1",
 ]
 
-[[package]]
-name = "parse_arg"
-version = "0.1.6"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "32f05bccc8b6036fec4e0c511954e3997987a82acb6a0b50642ecf7c744fe225"
-dependencies = [
- "parse_arg 1.0.1",
-]
-
-[[package]]
-name = "parse_arg"
-version = "1.0.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5bddc33f680b79eaf1e2e56da792c3c2236f86985bbc3a886e8ddee17ae4d3a4"
-
 [[package]]
 name = "paste"
 version = "1.0.15"
@@ -3204,7 +3173,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "7231bd9b3d3d33c86b58adbac74b5ec0ad9f496b19d22801d773636feaa95f3d"
 dependencies = [
  "bytes",
- "prost-derive 0.14.2",
+ "prost-derive 0.14.1",
 ]
 
 [[package]]
@@ -3244,9 +3213,9 @@ dependencies = [
 
 [[package]]
 name = "prost-derive"
-version = "0.14.2"
+version = "0.14.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d2d93e596a829ebe00afa41c3a056e6308d6b8a4c7d869edf184e2c91b1ba564"
+checksum = "9120690fafc389a67ba3803df527d0ec9cbbc9cc45e4cc20b332996dfb672425"
 dependencies = [
  "anyhow",
  "itertools",
@@ -3270,9 +3239,9 @@ dependencies = [
 
 [[package]]
 name = "prost-reflect"
-version = "0.16.2"
+version = "0.16.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "89a3ac73ec9a9118131a4594c9d336631a07852220a1d0ae03ee36b04503a063"
+checksum = "b89455ef41ed200cafc47c76c552ee7792370ac420497e551f16123a9135f76e"
 dependencies = [
  "logos 0.15.1",
  "miette",
@@ -3315,14 +3284,14 @@ dependencies = [
 
 [[package]]
 name = "protox"
-version = "0.9.0"
+version = "0.9.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8555716f64c546306ddf3383065dc40d4232609e79e0a4c50e94e87d54f30fb4"
+checksum = "4f25a07a73c6717f0b9bbbd685918f5df9815f7efba450b83d9c9dea41f0e3a1"
 dependencies = [
  "bytes",
  "miette",
  "prost 0.14.1",
- "prost-reflect 0.16.2",
+ "prost-reflect 0.16.3",
  "prost-types 0.14.1",
  "protox-parse 0.9.0",
  "thiserror 2.0.17",
@@ -3617,7 +3586,7 @@ dependencies = [
  "errno",
  "libc",
  "linux-raw-sys 0.11.0",
- "windows-sys 0.52.0",
+ "windows-sys 0.61.2",
 ]
 
 [[package]]
@@ -3900,9 +3869,9 @@ dependencies = [
 
 [[package]]
 name = "simd-adler32"
-version = "0.3.7"
+version = "0.3.8"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d66dc143e6b11c1eddc06d5c423cfc97062865baf299914ab64caa38182078fe"
+checksum = "e320a6c5ad31d271ad523dcf3ad13e2767ad8b1cb8f047f75a8aeaf8da139da2"
 
 [[package]]
 name = "siphasher"
@@ -4065,16 +4034,16 @@ dependencies = [
  "getrandom 0.3.4",
  "once_cell",
  "rustix 1.1.2",
- "windows-sys 0.52.0",
+ "windows-sys 0.61.2",
 ]
 
 [[package]]
 name = "term"
-version = "1.2.0"
+version = "1.2.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2111ef44dae28680ae9752bb89409e7310ca33a8c621ebe7b106cf5c928b3ac0"
+checksum = "d8c27177b12a6399ffc08b98f76f7c9a1f4fe9fc967c784c5a071fa8d93cf7e1"
 dependencies = [
- "windows-sys 0.59.0",
+ "windows-sys 0.61.2",
 ]
 
 [[package]]
@@ -4320,9 +4289,9 @@ dependencies = [
 
 [[package]]
 name = "toml_edit"
-version = "0.23.7"
+version = "0.23.9"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6485ef6d0d9b5d0ec17244ff7eb05310113c3f316f2d14200d4de56b3cb98f8d"
+checksum = "5d7cbc3b4b49633d57a0509303158ca50de80ae32c265093b24c414705807832"
 dependencies = [
  "indexmap",
  "serde_core",
@@ -4675,13 +4644,13 @@ checksum = "06abde3611657adf66d383f00b093d7faecc7fa57071cce2578660c9f1010821"
 
 [[package]]
 name = "uuid"
-version = "1.18.1"
+version = "1.19.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2f87b8aa10b915a06587d0dec516c282ff295b475d94abf425d62b57710070a2"
+checksum = "e2e054861b4bd027cd373e18e8d8d8e6548085000e41290d95ce0c373a654b4a"
 dependencies = [
  "getrandom 0.3.4",
  "js-sys",
- "serde",
+ "serde_core",
  "wasm-bindgen",
 ]
 
@@ -4816,12 +4785,12 @@ dependencies = [
 
 [[package]]
 name = "wasm-encoder"
-version = "0.242.0"
+version = "0.243.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "67f90e55bc9c6ee6954a757cc6eb3424d96b442e5252ed10fea627e518878d36"
+checksum = "c55db9c896d70bd9fa535ce83cd4e1f2ec3726b0edd2142079f594fc3be1cb35"
 dependencies = [
  "leb128fmt",
- "wasmparser 0.242.0",
+ "wasmparser 0.243.0",
 ]
 
 [[package]]
@@ -4874,9 +4843,9 @@ dependencies = [
 
 [[package]]
 name = "wasmparser"
-version = "0.242.0"
+version = "0.243.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ed3c6e611f4cd748d85c767815823b777dc56afca793fcda27beae4e85028849"
+checksum = "f6d8db401b0528ec316dfbe579e6ab4152d61739cfe076706d2009127970159d"
 dependencies = [
  "bitflags",
  "indexmap",
@@ -4885,22 +4854,22 @@ dependencies = [
 
 [[package]]
 name = "wast"
-version = "242.0.0"
+version = "243.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "50a61ae2997784a4ae2a47b3a99f7cf0ad2a54db09624a28a0c2e9d7a24408ce"
+checksum = "df21d01c2d91e46cb7a221d79e58a2d210ea02020d57c092e79255cc2999ca7f"
 dependencies = [
  "bumpalo",
  "leb128fmt",
  "memchr",
  "unicode-width 0.2.2",
- "wasm-encoder 0.242.0",
+ "wasm-encoder 0.243.0",
 ]
 
 [[package]]
 name = "wat"
-version = "1.242.0"
+version = "1.243.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5ae8cf6adfb79b5d89cb3fe68bd56aaab9409d9cf23b588097eae7d75585dae2"
+checksum = "226a9a91cd80a50449312fef0c75c23478fcecfcc4092bdebe1dc8e760ef521b"
 dependencies = [
  "wast",
 ]
@@ -4921,7 +4890,7 @@ version = "0.1.11"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "c2a7b1c03c876122aa43f3020e6c3c3ee5c05081c9a00739faf7503aeba10d22"
 dependencies = [
- "windows-sys 0.48.0",
+ "windows-sys 0.61.2",
 ]
 
 [[package]]
diff --git a/Cargo.toml b/Cargo.toml
index 03c7d89..40feee1 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -8,4 +8,4 @@ resolver = "2"
 edition = "2021"
 
 [workspace.dependencies]
-miden = { version = "0.7" }
\ No newline at end of file
+miden = { version = "0.8" }
diff --git a/contracts/counter-account/src/lib.rs b/contracts/counter-account/src/lib.rs
index 1448762..584a2d4 100644
--- a/contracts/counter-account/src/lib.rs
+++ b/contracts/counter-account/src/lib.rs
@@ -1,5 +1,6 @@
 // Do not link against libstd (i.e. anything defined in `std::`)
 #![no_std]
+#![feature(alloc_error_handler)]
 
 // However, we could still use some standard library types while
 // remaining no-std compatible, if we uncommented the following lines:
@@ -27,7 +28,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 {
         // Define the same fixed key
         let key = Word::from([felt!(0), felt!(0), felt!(0), felt!(1)]);
         // Read the current value
diff --git a/contracts/increment-note/src/lib.rs b/contracts/increment-note/src/lib.rs
index 8bcf1d5..df4bba9 100644
--- a/contracts/increment-note/src/lib.rs
+++ b/contracts/increment-note/src/lib.rs
@@ -1,5 +1,6 @@
 // Do not link against libstd (i.e. anything defined in `std::`)
 #![no_std]
+#![feature(alloc_error_handler)]
 
 // However, we could still use some standard library types while
 // remaining no-std compatible, if we uncommented the following lines:
diff --git a/integration/Cargo.toml b/integration/Cargo.toml
index 8230cb3..5063648 100644
--- a/integration/Cargo.toml
+++ b/integration/Cargo.toml
@@ -5,7 +5,7 @@ edition = "2021"
 
 [dependencies]
 miden = { workspace = true }
-cargo-miden = { version = "0.5" }
+cargo-miden = { version = "0.6" }
 miden-client = { version = "0.12", features = ["tonic", "testing"] }
 miden-client-sqlite-store = { version = "0.12", package = "miden-client-sqlite-store" }
 miden-objects = { version = "0.12", default-features = false, features = ["testing"] }
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index dd49b30..d9d7c02 100644
--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -1,5 +1,5 @@
 [toolchain]
-channel = "nightly-2025-07-20"
+channel = "nightly-2025-12-10"
 components = ["rustfmt", "rust-src", "clippy"]
 targets = ["wasm32-wasip2"]
 profile = "minimal"