Skip to content

Commit cfa443f

Browse files
committed
refactor: rename miden-sdk-tx-kernel to miden-tx-kernel-sys
1 parent 3bf1833 commit cfa443f

16 files changed

+72
-72
lines changed

sdk/Cargo.lock

Lines changed: 6 additions & 6 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

sdk/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
resolver = "2"
33
members = [
44
"stdlib-sys",
5-
"tx-kernel",
5+
"tx-kernel-sys",
66
"sdk",
77
]
88

sdk/sdk/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,4 +16,4 @@ crate-type = ["rlib"]
1616

1717
[dependencies]
1818
miden-stdlib-sys = { path = "../stdlib-sys" }
19-
miden-sdk-tx-kernel = { path = "../tx-kernel" }
19+
miden-tx-kernel-sys = { path = "../tx-kernel-sys" }

sdk/sdk/src/lib.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
#![no_std]
22

3-
pub use miden_sdk_tx_kernel::*;
43
pub use miden_stdlib_sys::*;
4+
pub use miden_tx_kernel_sys::*;

sdk/tx-kernel/Cargo.toml renamed to sdk/tx-kernel-sys/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
[package]
2-
name = "miden-sdk-tx-kernel"
2+
name = "miden-tx-kernel-sys"
33
description = "Miden SDK transaction kernel"
44
version.workspace = true
55
rust-version.workspace = true
File renamed without changes.
File renamed without changes.
File renamed without changes.

tests/integration/expected/abi_transform_tx_kernel_get_inputs.hir

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010
;; Functions
1111
(func (export #entrypoint) (param i32)
1212
(block 0 (param v0 i32)
13-
(call #miden_sdk_tx_kernel::get_inputs v0)
13+
(call #miden_tx_kernel_sys::get_inputs v0)
1414
(br (block 1)))
1515

1616
(block 1
@@ -635,7 +635,7 @@
635635
(br (block 6 v7)))
636636
)
637637

638-
(func (export #miden_sdk_tx_kernel::get_inputs)
638+
(func (export #miden_tx_kernel_sys::get_inputs)
639639
(param i32)
640640
(block 0 (param v0 i32)
641641
(let (v1 i32) (const.i32 0))

tests/integration/expected/abi_transform_tx_kernel_get_inputs.masm

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
use.miden::note
44

55
export.entrypoint
6-
exec."miden_sdk_tx_kernel::get_inputs"
6+
exec."miden_tx_kernel_sys::get_inputs"
77
end
88

99

@@ -2567,7 +2567,7 @@ export."<wee_alloc::WeeAlloc as core::alloc::global::GlobalAlloc>::alloc"
25672567
end
25682568

25692569

2570-
export."miden_sdk_tx_kernel::get_inputs"
2570+
export."miden_tx_kernel_sys::get_inputs"
25712571
mem_load.0x00000000
25722572
push.16
25732573
u32wrapping_sub

tests/integration/expected/abi_transform_tx_kernel_get_inputs.wat

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -7,10 +7,10 @@
77
(type (;5;) (func (param i32 i32 i32)))
88
(type (;6;) (func (param i32 i32)))
99
(type (;7;) (func))
10-
(import "miden::note" "get_inputs<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_note_get_inputs (;0;) (type 0)))
10+
(import "miden::note" "get_inputs<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_note_get_inputs (;0;) (type 0)))
1111
(func $entrypoint (;1;) (type 1) (param i32)
1212
local.get 0
13-
call $miden_sdk_tx_kernel::get_inputs
13+
call $miden_tx_kernel_sys::get_inputs
1414
)
1515
(func $__rust_alloc (;2;) (type 2) (param i32 i32) (result i32)
1616
i32.const 1048576
@@ -485,7 +485,7 @@
485485
global.set $__stack_pointer
486486
local.get 1
487487
)
488-
(func $miden_sdk_tx_kernel::get_inputs (;8;) (type 1) (param i32)
488+
(func $miden_tx_kernel_sys::get_inputs (;8;) (type 1) (param i32)
489489
(local i32 i32 i32)
490490
global.get $__stack_pointer
491491
i32.const 16
@@ -519,7 +519,7 @@
519519
unreachable
520520
end
521521
local.get 2
522-
call $miden_sdk_tx_kernel::externs::extern_note_get_inputs
522+
call $miden_tx_kernel_sys::externs::extern_note_get_inputs
523523
drop
524524
local.get 0
525525
i32.const 0

tests/integration/expected/rust_sdk_account_test/miden_sdk_account_test.hir

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -149,7 +149,7 @@
149149
(func (export #get_wallet_magic_number) (result felt)
150150
(block 0
151151
(let (v1 felt) (const.felt 0))
152-
(let (v2 felt) (call #miden_sdk_tx_kernel::get_id))
152+
(let (v2 felt) (call #miden_tx_kernel_sys::get_id))
153153
(let (v3 i64) (const.i64 42))
154154
(let (v4 felt) (cast v3))
155155
(let (v5 felt) (add.unchecked v4 v2))
@@ -193,7 +193,7 @@
193193
(store v25 v8)
194194
(let (v26 i32) (const.i32 32))
195195
(let (v27 i32) (add.wrapping v5 v26))
196-
(call #miden_sdk_tx_kernel::add_asset v27 v5)
196+
(call #miden_tx_kernel_sys::add_asset v27 v5)
197197
(let (v28 u32) (cast v5))
198198
(let (v29 u32) (add.checked v28 32))
199199
(let (v30 (ptr felt)) (inttoptr v29))
@@ -313,7 +313,7 @@
313313
(store v7 v6)
314314
(let (v8 i64) (const.i64 0))
315315
(let (v9 felt) (cast v8))
316-
(call #miden_sdk_tx_kernel::get_inputs v6)
316+
(call #miden_tx_kernel_sys::get_inputs v6)
317317
(let (v10 u32) (cast v6))
318318
(let (v11 (ptr i32)) (inttoptr v10))
319319
(let (v12 i32) (load v11))
@@ -1074,7 +1074,7 @@
10741074
(let (v6 i32) (sub.wrapping v4 v5))
10751075
(let (v7 (ptr i32)) (global.symbol #__stack_pointer))
10761076
(store v7 v6)
1077-
(call #miden_sdk_tx_kernel::remove_asset v6 v0)
1077+
(call #miden_tx_kernel_sys::remove_asset v6 v0)
10781078
(let (v8 u32) (cast v6))
10791079
(let (v9 (ptr felt)) (inttoptr v8))
10801080
(let (v10 felt) (load v9))
@@ -1095,7 +1095,7 @@
10951095
(param v1 felt)
10961096
(param v2 felt)
10971097
(param v3 i32)
1098-
(let (v5 felt) (call #miden_sdk_tx_kernel::create_note v0 v1 v2 v3))
1098+
(let (v5 felt) (call #miden_tx_kernel_sys::create_note v0 v1 v2 v3))
10991099
(br (block 1 v5)))
11001100

11011101
(block 1 (param v4 felt)
@@ -1866,7 +1866,7 @@
18661866
(br (block 12 v78 v80 v100 v91)))
18671867
)
18681868

1869-
(func (export #miden_sdk_tx_kernel::get_id)
1869+
(func (export #miden_tx_kernel_sys::get_id)
18701870
(result felt)
18711871
(block 0
18721872
(let (v1 felt) (call (#miden::account #get_id)))
@@ -1876,7 +1876,7 @@
18761876
(ret v0))
18771877
)
18781878

1879-
(func (export #miden_sdk_tx_kernel::get_inputs)
1879+
(func (export #miden_tx_kernel_sys::get_inputs)
18801880
(param i32)
18811881
(block 0 (param v0 i32)
18821882
(let (v1 i32) (const.i32 0))
@@ -1944,7 +1944,7 @@
19441944
(unreachable))
19451945
)
19461946

1947-
(func (export #miden_sdk_tx_kernel::add_asset)
1947+
(func (export #miden_tx_kernel_sys::add_asset)
19481948
(param i32) (param i32)
19491949
(block 0 (param v0 i32) (param v1 i32)
19501950
(let (v2 i32) (const.i32 0))
@@ -2027,7 +2027,7 @@
20272027
(ret))
20282028
)
20292029

2030-
(func (export #miden_sdk_tx_kernel::remove_asset)
2030+
(func (export #miden_tx_kernel_sys::remove_asset)
20312031
(param i32) (param i32)
20322032
(block 0 (param v0 i32) (param v1 i32)
20332033
(let (v2 i32) (const.i32 0))
@@ -2110,7 +2110,7 @@
21102110
(ret))
21112111
)
21122112

2113-
(func (export #miden_sdk_tx_kernel::create_note)
2113+
(func (export #miden_tx_kernel_sys::create_note)
21142114
(param i32) (param felt) (param felt) (param i32) (result felt)
21152115
(block 0
21162116
(param v0 i32)

tests/integration/expected/rust_sdk_account_test/miden_sdk_account_test.wat

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -49,11 +49,11 @@
4949
(import "std::crypto_hashes" "blake3_hash_1to1<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_stdlib_sys::stdlib::crypto::hashes::extern_blake3_hash_1to1 (;19;) (type 8)))
5050
(import "std::crypto_hashes" "blake3_hash_2to1<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_stdlib_sys::stdlib::crypto::hashes::extern_blake3_hash_2to1 (;20;) (type 9)))
5151
(import "miden:stdlib/std_crypto_dsa" "rpo_falcon512_verify<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_stdlib_sys::stdlib::crypto::dsa::extern_rpo_falcon512_verify (;21;) (type 10)))
52-
(import "miden::account" "get_id<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_account_get_id (;22;) (type 11)))
53-
(import "miden::note" "get_inputs<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_note_get_inputs (;23;) (type 12)))
54-
(import "miden::account" "add_asset<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_account_add_asset (;24;) (type 13)))
55-
(import "miden::account" "remove_asset<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_account_remove_asset (;25;) (type 13)))
56-
(import "miden::tx" "create_note<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_sdk_tx_kernel::externs::extern_tx_create_note (;26;) (type 14)))
52+
(import "miden::account" "get_id<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_account_get_id (;22;) (type 11)))
53+
(import "miden::note" "get_inputs<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_note_get_inputs (;23;) (type 12)))
54+
(import "miden::account" "add_asset<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_account_add_asset (;24;) (type 13)))
55+
(import "miden::account" "remove_asset<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_account_remove_asset (;25;) (type 13)))
56+
(import "miden::tx" "create_note<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_tx_kernel_sys::externs::extern_tx_create_note (;26;) (type 14)))
5757
(import "miden:stdlib/std_mem" "pipe_words_to_memory<0x0000000000000000000000000000000000000000000000000000000000000000>" (func $miden_stdlib_sys::stdlib::mem::extern_pipe_words_to_memory (;27;) (type 15)))
5858
(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)))
5959
(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 @@
143143
)
144144
(func $get_wallet_magic_number (;34;) (type 11) (result f64)
145145
(local f64)
146-
call $miden_sdk_tx_kernel::get_id
146+
call $miden_tx_kernel_sys::get_id
147147
local.set 0
148148
i64.const 42
149149
call $miden_stdlib_sys::intrinsics::felt::extern_from_u64_unchecked
@@ -183,7 +183,7 @@
183183
i32.const 32
184184
i32.add
185185
local.get 0
186-
call $miden_sdk_tx_kernel::add_asset
186+
call $miden_tx_kernel_sys::add_asset
187187
local.get 0
188188
f64.load offset=32
189189
local.set 1
@@ -293,7 +293,7 @@
293293
call $miden_stdlib_sys::intrinsics::felt::extern_from_u64_unchecked
294294
local.set 1
295295
local.get 0
296-
call $miden_sdk_tx_kernel::get_inputs
296+
call $miden_tx_kernel_sys::get_inputs
297297
local.get 0
298298
i32.load
299299
local.set 2
@@ -830,7 +830,7 @@
830830
global.set $__stack_pointer
831831
local.get 1
832832
local.get 0
833-
call $miden_sdk_tx_kernel::remove_asset
833+
call $miden_tx_kernel_sys::remove_asset
834834
local.get 1
835835
f64.load
836836
local.set 2
@@ -845,7 +845,7 @@
845845
local.get 1
846846
local.get 2
847847
local.get 3
848-
call $miden_sdk_tx_kernel::create_note
848+
call $miden_tx_kernel_sys::create_note
849849
)
850850
(func $__rust_alloc (;45;) (type 24) (param i32 i32) (result i32)
851851
i32.const 1048652
@@ -1412,10 +1412,10 @@
14121412
i32.store
14131413
end
14141414
)
1415-
(func $miden_sdk_tx_kernel::get_id (;52;) (type 11) (result f64)
1416-
call $miden_sdk_tx_kernel::externs::extern_account_get_id
1415+
(func $miden_tx_kernel_sys::get_id (;52;) (type 11) (result f64)
1416+
call $miden_tx_kernel_sys::externs::extern_account_get_id
14171417
)
1418-
(func $miden_sdk_tx_kernel::get_inputs (;53;) (type 17) (param i32)
1418+
(func $miden_tx_kernel_sys::get_inputs (;53;) (type 17) (param i32)
14191419
(local i32 i32 i32)
14201420
global.get $__stack_pointer
14211421
i32.const 16
@@ -1449,7 +1449,7 @@
14491449
unreachable
14501450
end
14511451
local.get 2
1452-
call $miden_sdk_tx_kernel::externs::extern_note_get_inputs
1452+
call $miden_tx_kernel_sys::externs::extern_note_get_inputs
14531453
drop
14541454
local.get 0
14551455
i32.const 0
@@ -1469,7 +1469,7 @@
14691469
call $alloc::raw_vec::capacity_overflow
14701470
unreachable
14711471
)
1472-
(func $miden_sdk_tx_kernel::add_asset (;54;) (type 20) (param i32 i32)
1472+
(func $miden_tx_kernel_sys::add_asset (;54;) (type 20) (param i32 i32)
14731473
(local i32)
14741474
global.get $__stack_pointer
14751475
i32.const 32
@@ -1485,7 +1485,7 @@
14851485
local.get 1
14861486
f64.load offset=24
14871487
local.get 2
1488-
call $miden_sdk_tx_kernel::externs::extern_account_add_asset
1488+
call $miden_tx_kernel_sys::externs::extern_account_add_asset
14891489
local.get 0
14901490
i32.const 24
14911491
i32.add
@@ -1519,7 +1519,7 @@
15191519
i32.add
15201520
global.set $__stack_pointer
15211521
)
1522-
(func $miden_sdk_tx_kernel::remove_asset (;55;) (type 20) (param i32 i32)
1522+
(func $miden_tx_kernel_sys::remove_asset (;55;) (type 20) (param i32 i32)
15231523
(local i32)
15241524
global.get $__stack_pointer
15251525
i32.const 32
@@ -1535,7 +1535,7 @@
15351535
local.get 1
15361536
f64.load offset=24
15371537
local.get 2
1538-
call $miden_sdk_tx_kernel::externs::extern_account_remove_asset
1538+
call $miden_tx_kernel_sys::externs::extern_account_remove_asset
15391539
local.get 0
15401540
i32.const 24
15411541
i32.add
@@ -1569,7 +1569,7 @@
15691569
i32.add
15701570
global.set $__stack_pointer
15711571
)
1572-
(func $miden_sdk_tx_kernel::create_note (;56;) (type 23) (param i32 f64 f64 i32) (result f64)
1572+
(func $miden_tx_kernel_sys::create_note (;56;) (type 23) (param i32 f64 f64 i32) (result f64)
15731573
local.get 0
15741574
f64.load
15751575
local.get 0
@@ -1588,7 +1588,7 @@
15881588
f64.load offset=16
15891589
local.get 3
15901590
f64.load offset=24
1591-
call $miden_sdk_tx_kernel::externs::extern_tx_create_note
1591+
call $miden_tx_kernel_sys::externs::extern_tx_create_note
15921592
)
15931593
(func $alloc::vec::Vec<T>::with_capacity (;57;) (type 20) (param i32 i32)
15941594
(local i32 i32)

tests/integration/expected/rust_sdk_basic_wallet/rust_sdk_basic_wallet.hir

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@
1919
(let (v4 i32) (sub.wrapping v2 v3))
2020
(let (v5 (ptr i32)) (global.symbol #__stack_pointer))
2121
(store v5 v4)
22-
(call #miden_sdk_tx_kernel::add_asset v4 v0)
22+
(call #miden_tx_kernel_sys::add_asset v4 v0)
2323
(let (v6 i32) (const.i32 32))
2424
(let (v7 i32) (add.wrapping v4 v6))
2525
(let (v8 (ptr i32)) (global.symbol #__stack_pointer))
@@ -43,8 +43,8 @@
4343
(let (v7 i32) (sub.wrapping v5 v6))
4444
(let (v8 (ptr i32)) (global.symbol #__stack_pointer))
4545
(store v8 v7)
46-
(call #miden_sdk_tx_kernel::remove_asset v7 v0)
47-
(let (v9 felt) (call #miden_sdk_tx_kernel::create_note v7 v1 v2 v3))
46+
(call #miden_tx_kernel_sys::remove_asset v7 v0)
47+
(let (v9 felt) (call #miden_tx_kernel_sys::create_note v7 v1 v2 v3))
4848
(let (v10 i32) (const.i32 32))
4949
(let (v11 i32) (add.wrapping v7 v10))
5050
(let (v12 (ptr i32)) (global.symbol #__stack_pointer))
@@ -55,7 +55,7 @@
5555
(ret))
5656
)
5757

58-
(func (export #miden_sdk_tx_kernel::add_asset)
58+
(func (export #miden_tx_kernel_sys::add_asset)
5959
(param i32) (param i32)
6060
(block 0 (param v0 i32) (param v1 i32)
6161
(let (v2 i32) (const.i32 0))
@@ -138,7 +138,7 @@
138138
(ret))
139139
)
140140

141-
(func (export #miden_sdk_tx_kernel::remove_asset)
141+
(func (export #miden_tx_kernel_sys::remove_asset)
142142
(param i32) (param i32)
143143
(block 0 (param v0 i32) (param v1 i32)
144144
(let (v2 i32) (const.i32 0))
@@ -221,7 +221,7 @@
221221
(ret))
222222
)
223223

224-
(func (export #miden_sdk_tx_kernel::create_note)
224+
(func (export #miden_tx_kernel_sys::create_note)
225225
(param i32) (param felt) (param felt) (param i32) (result felt)
226226
(block 0
227227
(param v0 i32)

0 commit comments

Comments
 (0)