Skip to content

Expose incr_nonce in the Miden SDK (base) #491

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.

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
greenhat opened this issue Apr 25, 2025 · 0 comments · May be fixed by #492
Open

Expose incr_nonce in the Miden SDK (base) #491

greenhat opened this issue Apr 25, 2025 · 0 comments · May be fixed by #492
Assignees

Comments

@greenhat
Copy link
Contributor

Tx kernel MASM implementation description for reference:

#! Increments the account nonce by the provided value.
#!
#! Inputs:  [value]
#! Outputs: []
#!
#! Where:
#! - value is the value to increment the nonce by. value can be at most 2^32 - 1 otherwise this
#!   procedure panics.
#!
#! Invocation: exec
export.incr_nonce
...
  1. Add export.incr_nonce to tx kernel stubs at sdk/base-sys/masm/miden/account.masm
  2. Add account:incr-nonce WIT definition at tests/rust-apps-wasm/rust-sdk/wit-sdk/miden-core-import.wit
  3. Add Rust bindings at sdk/base-sys/src/bindings/account.rs
  4. Add signature at frontend/wasm/src/miden_abi/tx_kernel/account.rs
@greenhat greenhat self-assigned this Apr 25, 2025
greenhat added a commit that referenced this issue Apr 25, 2025
Call it in the `example/counter-contract`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant