Skip to content

feat: add Word::empty() method to Miden SDK #826

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
PivasDesant wants to merge 8 commits into
base: next
Choose a base branch
from
Open

feat: add Word::empty() method to Miden SDK #826

Show file tree
Hide file tree
Changes from 4 commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
a78236d
Update word.rs
PivasDesant Dec 17, 2025
65d5bce
Update faucet.rs
PivasDesant Dec 17, 2025
452633e
Update asset.rs
PivasDesant Dec 17, 2025
b464769
Update account.rs
PivasDesant Dec 17, 2025
843c289
Update word.rs
PivasDesant Dec 19, 2025
72356b8
Update faucet.rs
PivasDesant Dec 19, 2025
0887f97
Update asset.rs
PivasDesant Dec 19, 2025
4be54b6
Update account.rs
PivasDesant Dec 19, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions sdk/stdlib-sys/src/intrinsics/word.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,13 @@ impl Word {
}
}

/// Creates a new `Word` with all four field elements set to zero.
pub fn empty() -> Self {
Copy link
Collaborator

@bitwalker bitwalker Dec 19, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let's implement this via the Default trait instead, which makes it more generally useful anyway.

Self {
inner: (felt!(0), felt!(0), felt!(0), felt!(0)),
}
}

pub fn reverse(&self) -> Word {
// This is workaround for the https://github.com/0xMiden/compiler/issues/596 to avoid
// i64.rotl op in the compiled Wasm
Expand Down
6 changes: 3 additions & 3 deletions tests/integration/src/rust_masm_tests/rust_sdk/base/account.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -192,7 +192,7 @@ fn rust_sdk_account_has_procedure_binding() {
run_account_binding_test(
"rust_sdk_account_has_procedure_binding",
"pub fn binding(&self) -> Felt {
let proc_root = Word::from([Felt::from_u32(0); 4]);
let proc_root = Word::empty();
if self.has_procedure(proc_root) {
Felt::from_u32(1)
} else {
Expand All @@ -207,7 +207,7 @@ fn rust_sdk_account_was_procedure_called_binding() {
run_account_binding_test(
"rust_sdk_account_was_procedure_called_binding",
"pub fn binding(&self) -> Felt {
let proc_root = Word::from([Felt::from_u32(0); 4]);
let proc_root = Word::empty();
if self.was_procedure_called(proc_root) {
Felt::from_u32(1)
} else {
Expand All @@ -232,7 +232,7 @@ fn rust_sdk_account_storage_get_initial_map_item_binding() {
run_account_binding_test(
"rust_sdk_account_storage_get_initial_map_item_binding",
"pub fn binding(&self) -> Word {
let key = Word::from([Felt::from_u32(0); 4]);
let key = Word::empty();
storage::get_initial_map_item(0, &key)
}",
);
Expand Down
2 changes: 1 addition & 1 deletion tests/integration/src/rust_masm_tests/rust_sdk/base/asset.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -88,7 +88,7 @@ fn rust_sdk_account_asset_build_non_fungible_asset_binding() {
"rust_sdk_account_asset_build_non_fungible_asset_binding",
"pub fn binding(&self) -> Asset {
let faucet = AccountId { prefix: Felt::from_u32(1), suffix: Felt::from_u32(0) };
let hash = Word::from([Felt::from_u32(0); 4]);
let hash = Word::empty();
asset::build_non_fungible_asset(faucet, hash)
}",
);
Expand Down
2 changes: 1 addition & 1 deletion tests/integration/src/rust_masm_tests/rust_sdk/base/faucet.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -86,7 +86,7 @@ fn rust_sdk_account_faucet_create_non_fungible_asset_binding() {
run_faucet_binding_test(
"rust_sdk_account_faucet_create_non_fungible_asset_binding",
"pub fn binding(&self) -> Asset {
let hash = Word::from([Felt::from_u32(0); 4]);
let hash = Word::empty();
faucet::create_non_fungible_asset(hash)
}",
);
Expand Down