diff --git a/sdk/Cargo.lock b/sdk/Cargo.lock
index ec04bdbab..164cb4351 100644
--- a/sdk/Cargo.lock
+++ b/sdk/Cargo.lock
@@ -6,17 +6,17 @@ version = 3
 name = "miden-sdk"
 version = "0.1.0"
 dependencies = [
- "miden-sdk-tx-kernel",
  "miden-stdlib-sys",
+ "miden-tx-kernel-sys",
 ]
 
 [[package]]
-name = "miden-sdk-tx-kernel"
+name = "miden-stdlib-sys"
 version = "0.1.0"
-dependencies = [
- "miden-stdlib-sys",
-]
 
 [[package]]
-name = "miden-stdlib-sys"
+name = "miden-tx-kernel-sys"
 version = "0.1.0"
+dependencies = [
+ "miden-stdlib-sys",
+]
diff --git a/sdk/Cargo.toml b/sdk/Cargo.toml
index d48c0f52c..96b7b100f 100644
--- a/sdk/Cargo.toml
+++ b/sdk/Cargo.toml
@@ -2,7 +2,7 @@
 resolver = "2"
 members = [
   "stdlib-sys",
-  "tx-kernel",
+  "tx-kernel-sys",
   "sdk",
 ]
 
diff --git a/sdk/sdk/Cargo.toml b/sdk/sdk/Cargo.toml
index 8f100ad9f..76c54cf8b 100644
--- a/sdk/sdk/Cargo.toml
+++ b/sdk/sdk/Cargo.toml
@@ -16,4 +16,4 @@ crate-type = ["rlib"]
 
 [dependencies]
 miden-stdlib-sys = { path = "../stdlib-sys" }
-miden-sdk-tx-kernel = { path = "../tx-kernel" }
+miden-tx-kernel-sys = { path = "../tx-kernel-sys" }
diff --git a/sdk/sdk/src/lib.rs b/sdk/sdk/src/lib.rs
index d68677684..aa1d0dbf3 100644
--- a/sdk/sdk/src/lib.rs
+++ b/sdk/sdk/src/lib.rs
@@ -1,4 +1,4 @@
 #![no_std]
 
-pub use miden_sdk_tx_kernel::*;
 pub use miden_stdlib_sys::*;
+pub use miden_tx_kernel_sys::*;
diff --git a/sdk/tx-kernel/Cargo.toml b/sdk/tx-kernel-sys/Cargo.toml
similarity index 92%
rename from sdk/tx-kernel/Cargo.toml
rename to sdk/tx-kernel-sys/Cargo.toml
index 2f0059338..5da9c05a3 100644
--- a/sdk/tx-kernel/Cargo.toml
+++ b/sdk/tx-kernel-sys/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "miden-sdk-tx-kernel"
+name = "miden-tx-kernel-sys"
 description = "Miden SDK transaction kernel"
 version.workspace = true
 rust-version.workspace = true
diff --git a/sdk/tx-kernel/src/externs.rs b/sdk/tx-kernel-sys/src/externs.rs
similarity index 100%
rename from sdk/tx-kernel/src/externs.rs
rename to sdk/tx-kernel-sys/src/externs.rs
diff --git a/sdk/tx-kernel/src/lib.rs b/sdk/tx-kernel-sys/src/lib.rs
similarity index 100%
rename from sdk/tx-kernel/src/lib.rs
rename to sdk/tx-kernel-sys/src/lib.rs
diff --git a/sdk/tx-kernel/src/types.rs b/sdk/tx-kernel-sys/src/types.rs
similarity index 100%
rename from sdk/tx-kernel/src/types.rs
rename to sdk/tx-kernel-sys/src/types.rs
diff --git a/tests/integration/expected/abi_transform_tx_kernel_get_inputs.hir b/tests/integration/expected/abi_transform_tx_kernel_get_inputs.hir
index 530feb3ba..5339a9fd3 100644
--- a/tests/integration/expected/abi_transform_tx_kernel_get_inputs.hir
+++ b/tests/integration/expected/abi_transform_tx_kernel_get_inputs.hir
@@ -10,7 +10,7 @@
         ;; Functions
         (func (export #entrypoint) (param i32)
             (block 0 (param v0 i32)
-                (call #miden_sdk_tx_kernel::get_inputs v0)
+                (call #miden_tx_kernel_sys::get_inputs v0)
                 (br (block 1)))
 
             (block 1
@@ -635,7 +635,7 @@
                 (br (block 6 v7)))
         )
 
-        (func (export #miden_sdk_tx_kernel::get_inputs)
+        (func (export #miden_tx_kernel_sys::get_inputs)
               (param i32)
             (block 0 (param v0 i32)
                 (let (v1 i32) (const.i32 0))
diff --git a/tests/integration/expected/abi_transform_tx_kernel_get_inputs.masm b/tests/integration/expected/abi_transform_tx_kernel_get_inputs.masm
index 5253c333d..f8e21b8c2 100644
--- a/tests/integration/expected/abi_transform_tx_kernel_get_inputs.masm
+++ b/tests/integration/expected/abi_transform_tx_kernel_get_inputs.masm
@@ -3,7 +3,7 @@
 use.miden::note
 
 export.entrypoint
-    exec."miden_sdk_tx_kernel::get_inputs"
+    exec."miden_tx_kernel_sys::get_inputs"
 end
 
 
@@ -2567,7 +2567,7 @@ export."<wee_alloc::WeeAlloc as core::alloc::global::GlobalAlloc>::alloc"
 end
 
 
-export."miden_sdk_tx_kernel::get_inputs"
+export."miden_tx_kernel_sys::get_inputs"
     mem_load.0x00000000
     push.16
     u32wrapping_sub
diff --git a/tests/integration/expected/abi_transform_tx_kernel_get_inputs.wat b/tests/integration/expected/abi_transform_tx_kernel_get_inputs.wat
index 4d418517e..bb186ea13 100644
--- a/tests/integration/expected/abi_transform_tx_kernel_get_inputs.wat
+++ b/tests/integration/expected/abi_transform_tx_kernel_get_inputs.wat
@@ -7,10 +7,10 @@
   (type (;5;) (func (param i32 i32 i32)))
   (type (;6;) (func (param i32 i32)))
   (type (;7;) (func))
-  (import "miden::note" "get_inputs<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_note_get_inputs (;0;) (type 0)))
+  (import "miden::note" "get_inputs<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_note_get_inputs (;0;) (type 0)))
   (func $entrypoint (;1;) (type 1) (param i32)
     local.get 0
-    call $miden_sdk_tx_kernel::get_inputs
+    call $miden_tx_kernel_sys::get_inputs
   )
   (func $__rust_alloc (;2;) (type 2) (param i32 i32) (result i32)
     i32.const 1048576
@@ -485,7 +485,7 @@
     global.set $__stack_pointer
     local.get 1
   )
-  (func $miden_sdk_tx_kernel::get_inputs (;8;) (type 1) (param i32)
+  (func $miden_tx_kernel_sys::get_inputs (;8;) (type 1) (param i32)
     (local i32 i32 i32)
     global.get $__stack_pointer
     i32.const 16
@@ -519,7 +519,7 @@
         unreachable
       end
       local.get 2
-      call $miden_sdk_tx_kernel::externs::extern_note_get_inputs
+      call $miden_tx_kernel_sys::externs::extern_note_get_inputs
       drop
       local.get 0
       i32.const 0
diff --git a/tests/integration/expected/rust_sdk_account_test/miden_sdk_account_test.hir b/tests/integration/expected/rust_sdk_account_test/miden_sdk_account_test.hir
index a83c39e25..ed6416226 100644
--- a/tests/integration/expected/rust_sdk_account_test/miden_sdk_account_test.hir
+++ b/tests/integration/expected/rust_sdk_account_test/miden_sdk_account_test.hir
@@ -149,7 +149,7 @@
         (func (export #get_wallet_magic_number) (result felt)
             (block 0
                 (let (v1 felt) (const.felt 0))
-                (let (v2 felt) (call #miden_sdk_tx_kernel::get_id))
+                (let (v2 felt) (call #miden_tx_kernel_sys::get_id))
                 (let (v3 i64) (const.i64 42))
                 (let (v4 felt) (cast v3))
                 (let (v5 felt) (add.unchecked v4 v2))
@@ -193,7 +193,7 @@
                 (store v25 v8)
                 (let (v26 i32) (const.i32 32))
                 (let (v27 i32) (add.wrapping v5 v26))
-                (call #miden_sdk_tx_kernel::add_asset v27 v5)
+                (call #miden_tx_kernel_sys::add_asset v27 v5)
                 (let (v28 u32) (cast v5))
                 (let (v29 u32) (add.checked v28 32))
                 (let (v30 (ptr felt)) (inttoptr v29))
@@ -313,7 +313,7 @@
                 (store v7 v6)
                 (let (v8 i64) (const.i64 0))
                 (let (v9 felt) (cast v8))
-                (call #miden_sdk_tx_kernel::get_inputs v6)
+                (call #miden_tx_kernel_sys::get_inputs v6)
                 (let (v10 u32) (cast v6))
                 (let (v11 (ptr i32)) (inttoptr v10))
                 (let (v12 i32) (load v11))
@@ -1074,7 +1074,7 @@
                 (let (v6 i32) (sub.wrapping v4 v5))
                 (let (v7 (ptr i32)) (global.symbol #__stack_pointer))
                 (store v7 v6)
-                (call #miden_sdk_tx_kernel::remove_asset v6 v0)
+                (call #miden_tx_kernel_sys::remove_asset v6 v0)
                 (let (v8 u32) (cast v6))
                 (let (v9 (ptr felt)) (inttoptr v8))
                 (let (v10 felt) (load v9))
@@ -1095,7 +1095,7 @@
                     (param v1 felt)
                     (param v2 felt)
                     (param v3 i32)
-                (let (v5 felt) (call #miden_sdk_tx_kernel::create_note v0 v1 v2 v3))
+                (let (v5 felt) (call #miden_tx_kernel_sys::create_note v0 v1 v2 v3))
                 (br (block 1 v5)))
 
             (block 1 (param v4 felt)
@@ -1866,7 +1866,7 @@
                 (br (block 12 v78 v80 v100 v91)))
         )
 
-        (func (export #miden_sdk_tx_kernel::get_id)
+        (func (export #miden_tx_kernel_sys::get_id)
               (result felt)
             (block 0
                 (let (v1 felt) (call (#miden::account #get_id)))
@@ -1876,7 +1876,7 @@
                 (ret v0))
         )
 
-        (func (export #miden_sdk_tx_kernel::get_inputs)
+        (func (export #miden_tx_kernel_sys::get_inputs)
               (param i32)
             (block 0 (param v0 i32)
                 (let (v1 i32) (const.i32 0))
@@ -1944,7 +1944,7 @@
                 (unreachable))
         )
 
-        (func (export #miden_sdk_tx_kernel::add_asset)
+        (func (export #miden_tx_kernel_sys::add_asset)
               (param i32) (param i32)
             (block 0 (param v0 i32) (param v1 i32)
                 (let (v2 i32) (const.i32 0))
@@ -2027,7 +2027,7 @@
                 (ret))
         )
 
-        (func (export #miden_sdk_tx_kernel::remove_asset)
+        (func (export #miden_tx_kernel_sys::remove_asset)
               (param i32) (param i32)
             (block 0 (param v0 i32) (param v1 i32)
                 (let (v2 i32) (const.i32 0))
@@ -2110,7 +2110,7 @@
                 (ret))
         )
 
-        (func (export #miden_sdk_tx_kernel::create_note)
+        (func (export #miden_tx_kernel_sys::create_note)
               (param i32) (param felt) (param felt) (param i32) (result felt)
             (block 0
                     (param v0 i32)
diff --git a/tests/integration/expected/rust_sdk_account_test/miden_sdk_account_test.wat b/tests/integration/expected/rust_sdk_account_test/miden_sdk_account_test.wat
index a2e9937a7..4f658a1f5 100644
--- a/tests/integration/expected/rust_sdk_account_test/miden_sdk_account_test.wat
+++ b/tests/integration/expected/rust_sdk_account_test/miden_sdk_account_test.wat
@@ -49,11 +49,11 @@
   (import "std::crypto_hashes" "blake3_hash_1to1<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_stdlib_sys::stdlib::crypto::hashes::extern_blake3_hash_1to1 (;19;) (type 8)))
   (import "std::crypto_hashes" "blake3_hash_2to1<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_stdlib_sys::stdlib::crypto::hashes::extern_blake3_hash_2to1 (;20;) (type 9)))
   (import "miden:stdlib/std_crypto_dsa" "rpo_falcon512_verify<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_stdlib_sys::stdlib::crypto::dsa::extern_rpo_falcon512_verify (;21;) (type 10)))
-  (import "miden::account" "get_id<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_account_get_id (;22;) (type 11)))
-  (import "miden::note" "get_inputs<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_note_get_inputs (;23;) (type 12)))
-  (import "miden::account" "add_asset<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_account_add_asset (;24;) (type 13)))
-  (import "miden::account" "remove_asset<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_account_remove_asset (;25;) (type 13)))
-  (import "miden::tx" "create_note<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_tx_create_note (;26;) (type 14)))
+  (import "miden::account" "get_id<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_account_get_id (;22;) (type 11)))
+  (import "miden::note" "get_inputs<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_note_get_inputs (;23;) (type 12)))
+  (import "miden::account" "add_asset<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_account_add_asset (;24;) (type 13)))
+  (import "miden::account" "remove_asset<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_account_remove_asset (;25;) (type 13)))
+  (import "miden::tx" "create_note<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_tx_create_note (;26;) (type 14)))
   (import "miden:stdlib/std_mem" "pipe_words_to_memory<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_stdlib_sys::stdlib::mem::extern_pipe_words_to_memory (;27;) (type 15)))
   (import "miden:stdlib/std_mem" "pipe_double_words_to_memory<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_stdlib_sys::stdlib::mem::extern_pipe_double_words_to_memory (;28;) (type 16)))
   (func $<<alloc::vec::into_iter::IntoIter<T,A> as core::ops::drop::Drop>::drop::DropGuard<T,A> as core::ops::drop::Drop>::drop (;29;) (type 17) (param i32)
@@ -143,7 +143,7 @@
   )
   (func $get_wallet_magic_number (;34;) (type 11) (result f64)
     (local f64)
-    call $miden_sdk_tx_kernel::get_id
+    call $miden_tx_kernel_sys::get_id
     local.set 0
     i64.const 42
     call $miden_stdlib_sys::intrinsics::felt::extern_from_u64_unchecked
@@ -183,7 +183,7 @@
     i32.const 32
     i32.add
     local.get 0
-    call $miden_sdk_tx_kernel::add_asset
+    call $miden_tx_kernel_sys::add_asset
     local.get 0
     f64.load offset=32
     local.set 1
@@ -293,7 +293,7 @@
     call $miden_stdlib_sys::intrinsics::felt::extern_from_u64_unchecked
     local.set 1
     local.get 0
-    call $miden_sdk_tx_kernel::get_inputs
+    call $miden_tx_kernel_sys::get_inputs
     local.get 0
     i32.load
     local.set 2
@@ -830,7 +830,7 @@
     global.set $__stack_pointer
     local.get 1
     local.get 0
-    call $miden_sdk_tx_kernel::remove_asset
+    call $miden_tx_kernel_sys::remove_asset
     local.get 1
     f64.load
     local.set 2
@@ -845,7 +845,7 @@
     local.get 1
     local.get 2
     local.get 3
-    call $miden_sdk_tx_kernel::create_note
+    call $miden_tx_kernel_sys::create_note
   )
   (func $__rust_alloc (;45;) (type 24) (param i32 i32) (result i32)
     i32.const 1048652
@@ -1412,10 +1412,10 @@
       i32.store
     end
   )
-  (func $miden_sdk_tx_kernel::get_id (;52;) (type 11) (result f64)
-    call $miden_sdk_tx_kernel::externs::extern_account_get_id
+  (func $miden_tx_kernel_sys::get_id (;52;) (type 11) (result f64)
+    call $miden_tx_kernel_sys::externs::extern_account_get_id
   )
-  (func $miden_sdk_tx_kernel::get_inputs (;53;) (type 17) (param i32)
+  (func $miden_tx_kernel_sys::get_inputs (;53;) (type 17) (param i32)
     (local i32 i32 i32)
     global.get $__stack_pointer
     i32.const 16
@@ -1449,7 +1449,7 @@
         unreachable
       end
       local.get 2
-      call $miden_sdk_tx_kernel::externs::extern_note_get_inputs
+      call $miden_tx_kernel_sys::externs::extern_note_get_inputs
       drop
       local.get 0
       i32.const 0
@@ -1469,7 +1469,7 @@
     call $alloc::raw_vec::capacity_overflow
     unreachable
   )
-  (func $miden_sdk_tx_kernel::add_asset (;54;) (type 20) (param i32 i32)
+  (func $miden_tx_kernel_sys::add_asset (;54;) (type 20) (param i32 i32)
     (local i32)
     global.get $__stack_pointer
     i32.const 32
@@ -1485,7 +1485,7 @@
     local.get 1
     f64.load offset=24
     local.get 2
-    call $miden_sdk_tx_kernel::externs::extern_account_add_asset
+    call $miden_tx_kernel_sys::externs::extern_account_add_asset
     local.get 0
     i32.const 24
     i32.add
@@ -1519,7 +1519,7 @@
     i32.add
     global.set $__stack_pointer
   )
-  (func $miden_sdk_tx_kernel::remove_asset (;55;) (type 20) (param i32 i32)
+  (func $miden_tx_kernel_sys::remove_asset (;55;) (type 20) (param i32 i32)
     (local i32)
     global.get $__stack_pointer
     i32.const 32
@@ -1535,7 +1535,7 @@
     local.get 1
     f64.load offset=24
     local.get 2
-    call $miden_sdk_tx_kernel::externs::extern_account_remove_asset
+    call $miden_tx_kernel_sys::externs::extern_account_remove_asset
     local.get 0
     i32.const 24
     i32.add
@@ -1569,7 +1569,7 @@
     i32.add
     global.set $__stack_pointer
   )
-  (func $miden_sdk_tx_kernel::create_note (;56;) (type 23) (param i32 f64 f64 i32) (result f64)
+  (func $miden_tx_kernel_sys::create_note (;56;) (type 23) (param i32 f64 f64 i32) (result f64)
     local.get 0
     f64.load
     local.get 0
@@ -1588,7 +1588,7 @@
     f64.load offset=16
     local.get 3
     f64.load offset=24
-    call $miden_sdk_tx_kernel::externs::extern_tx_create_note
+    call $miden_tx_kernel_sys::externs::extern_tx_create_note
   )
   (func $alloc::vec::Vec<T>::with_capacity (;57;) (type 20) (param i32 i32)
     (local i32 i32)
diff --git a/tests/integration/expected/rust_sdk_basic_wallet/rust_sdk_basic_wallet.hir b/tests/integration/expected/rust_sdk_basic_wallet/rust_sdk_basic_wallet.hir
index 21548bf31..e78b2930a 100644
--- a/tests/integration/expected/rust_sdk_basic_wallet/rust_sdk_basic_wallet.hir
+++ b/tests/integration/expected/rust_sdk_basic_wallet/rust_sdk_basic_wallet.hir
@@ -19,7 +19,7 @@
                 (let (v4 i32) (sub.wrapping v2 v3))
                 (let (v5 (ptr i32)) (global.symbol #__stack_pointer))
                 (store v5 v4)
-                (call #miden_sdk_tx_kernel::add_asset v4 v0)
+                (call #miden_tx_kernel_sys::add_asset v4 v0)
                 (let (v6 i32) (const.i32 32))
                 (let (v7 i32) (add.wrapping v4 v6))
                 (let (v8 (ptr i32)) (global.symbol #__stack_pointer))
@@ -43,8 +43,8 @@
                 (let (v7 i32) (sub.wrapping v5 v6))
                 (let (v8 (ptr i32)) (global.symbol #__stack_pointer))
                 (store v8 v7)
-                (call #miden_sdk_tx_kernel::remove_asset v7 v0)
-                (let (v9 felt) (call #miden_sdk_tx_kernel::create_note v7 v1 v2 v3))
+                (call #miden_tx_kernel_sys::remove_asset v7 v0)
+                (let (v9 felt) (call #miden_tx_kernel_sys::create_note v7 v1 v2 v3))
                 (let (v10 i32) (const.i32 32))
                 (let (v11 i32) (add.wrapping v7 v10))
                 (let (v12 (ptr i32)) (global.symbol #__stack_pointer))
@@ -55,7 +55,7 @@
                 (ret))
         )
 
-        (func (export #miden_sdk_tx_kernel::add_asset)
+        (func (export #miden_tx_kernel_sys::add_asset)
               (param i32) (param i32)
             (block 0 (param v0 i32) (param v1 i32)
                 (let (v2 i32) (const.i32 0))
@@ -138,7 +138,7 @@
                 (ret))
         )
 
-        (func (export #miden_sdk_tx_kernel::remove_asset)
+        (func (export #miden_tx_kernel_sys::remove_asset)
               (param i32) (param i32)
             (block 0 (param v0 i32) (param v1 i32)
                 (let (v2 i32) (const.i32 0))
@@ -221,7 +221,7 @@
                 (ret))
         )
 
-        (func (export #miden_sdk_tx_kernel::create_note)
+        (func (export #miden_tx_kernel_sys::create_note)
               (param i32) (param felt) (param felt) (param i32) (result felt)
             (block 0
                     (param v0 i32)
diff --git a/tests/integration/expected/rust_sdk_basic_wallet/rust_sdk_basic_wallet.wat b/tests/integration/expected/rust_sdk_basic_wallet/rust_sdk_basic_wallet.wat
index 3ce85e324..ee6d12716 100644
--- a/tests/integration/expected/rust_sdk_basic_wallet/rust_sdk_basic_wallet.wat
+++ b/tests/integration/expected/rust_sdk_basic_wallet/rust_sdk_basic_wallet.wat
@@ -5,9 +5,9 @@
   (type (;3;) (func (param i32 f64 f64 i32)))
   (type (;4;) (func (param i32 i32)))
   (type (;5;) (func (param i32 f64 f64 i32) (result f64)))
-  (import "miden::account" "add_asset<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_account_add_asset (;0;) (type 0)))
-  (import "miden::account" "remove_asset<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_account_remove_asset (;1;) (type 0)))
-  (import "miden::tx" "create_note<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_tx_create_note (;2;) (type 1)))
+  (import "miden::account" "add_asset<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_account_add_asset (;0;) (type 0)))
+  (import "miden::account" "remove_asset<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_account_remove_asset (;1;) (type 0)))
+  (import "miden::tx" "create_note<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_tx_create_note (;2;) (type 1)))
   (func $receive_asset (;3;) (type 2) (param i32)
     (local i32)
     global.get $__stack_pointer
@@ -17,7 +17,7 @@
     global.set $__stack_pointer
     local.get 1
     local.get 0
-    call $miden_sdk_tx_kernel::add_asset
+    call $miden_tx_kernel_sys::add_asset
     local.get 1
     i32.const 32
     i32.add
@@ -32,19 +32,19 @@
     global.set $__stack_pointer
     local.get 4
     local.get 0
-    call $miden_sdk_tx_kernel::remove_asset
+    call $miden_tx_kernel_sys::remove_asset
     local.get 4
     local.get 1
     local.get 2
     local.get 3
-    call $miden_sdk_tx_kernel::create_note
+    call $miden_tx_kernel_sys::create_note
     drop
     local.get 4
     i32.const 32
     i32.add
     global.set $__stack_pointer
   )
-  (func $miden_sdk_tx_kernel::add_asset (;5;) (type 4) (param i32 i32)
+  (func $miden_tx_kernel_sys::add_asset (;5;) (type 4) (param i32 i32)
     (local i32)
     global.get $__stack_pointer
     i32.const 32
@@ -60,7 +60,7 @@
     local.get 1
     f64.load offset=24
     local.get 2
-    call $miden_sdk_tx_kernel::externs::extern_account_add_asset
+    call $miden_tx_kernel_sys::externs::extern_account_add_asset
     local.get 0
     i32.const 24
     i32.add
@@ -94,7 +94,7 @@
     i32.add
     global.set $__stack_pointer
   )
-  (func $miden_sdk_tx_kernel::remove_asset (;6;) (type 4) (param i32 i32)
+  (func $miden_tx_kernel_sys::remove_asset (;6;) (type 4) (param i32 i32)
     (local i32)
     global.get $__stack_pointer
     i32.const 32
@@ -110,7 +110,7 @@
     local.get 1
     f64.load offset=24
     local.get 2
-    call $miden_sdk_tx_kernel::externs::extern_account_remove_asset
+    call $miden_tx_kernel_sys::externs::extern_account_remove_asset
     local.get 0
     i32.const 24
     i32.add
@@ -144,7 +144,7 @@
     i32.add
     global.set $__stack_pointer
   )
-  (func $miden_sdk_tx_kernel::create_note (;7;) (type 5) (param i32 f64 f64 i32) (result f64)
+  (func $miden_tx_kernel_sys::create_note (;7;) (type 5) (param i32 f64 f64 i32) (result f64)
     local.get 0
     f64.load
     local.get 0
@@ -163,7 +163,7 @@
     f64.load offset=16
     local.get 3
     f64.load offset=24
-    call $miden_sdk_tx_kernel::externs::extern_tx_create_note
+    call $miden_tx_kernel_sys::externs::extern_tx_create_note
   )
   (table (;0;) 1 1 funcref)
   (memory (;0;) 16)
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 14a0df800..b1c398eaf 100644
--- a/tests/rust-apps-wasm/rust-sdk/account-test/Cargo.lock
+++ b/tests/rust-apps-wasm/rust-sdk/account-test/Cargo.lock
@@ -24,8 +24,8 @@ checksum = "8452105ba047068f40ff7093dd1d9da90898e63dd61736462e9cdda6a90ad3c3"
 name = "miden-sdk"
 version = "0.1.0"
 dependencies = [
- "miden-sdk-tx-kernel",
  "miden-stdlib-sys",
+ "miden-tx-kernel-sys",
 ]
 
 [[package]]
@@ -37,15 +37,15 @@ dependencies = [
 ]
 
 [[package]]
-name = "miden-sdk-tx-kernel"
+name = "miden-stdlib-sys"
 version = "0.1.0"
-dependencies = [
- "miden-stdlib-sys",
-]
 
 [[package]]
-name = "miden-stdlib-sys"
+name = "miden-tx-kernel-sys"
 version = "0.1.0"
+dependencies = [
+ "miden-stdlib-sys",
+]
 
 [[package]]
 name = "wee_alloc"