-
Notifications
You must be signed in to change notification settings - Fork 58
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
Fix issue 600 #707
Fix issue 600 #707
Conversation
#! | ||
#! Stack: [BH, acct_id, IAH, NC] | ||
#! Advice stack: [NR, PH, CR, SR, BR, PH, BN, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This was out-of-date, the NOTE_ROOT
is much deeper in the advice stack:
miden-base/miden-lib/asm/miden/kernels/tx/prologue.masm
Lines 920 to 935 in 74a5371
#! Advice stack: [ | |
#! PREVIOUS_BLOCK_HASH, | |
#! CHAIN_MMR_HASH, | |
#! ACCOUNT_ROOT, | |
#! NULLIFIER_ROOT, | |
#! BATCH_ROOT, | |
#! PROOF_HASH, | |
#! [block_num, version, timestamp, 0], | |
#! ZERO, | |
#! NOTE_ROOT, | |
#! [account_id, 0, 0, account_nonce], | |
#! ACCOUNT_VAULT_ROOT, | |
#! ACCOUNT_STORAGE_ROOT, | |
#! ACCOUNT_CODE_ROOT, | |
#! number_of_input_notes, | |
#! TX_SCRIPT_ROOT, |
Instead of copying and pasting the docs, I added a reference to prepare_transaction
#! | ||
#! - consumed_note_ptr is the memory address at which the consumed note data begins. | ||
#! - num_inputs is the number of inputs defined for the consumed note. | ||
export.get_consumed_note_num_inputs |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The num_inputs
is now defined in the advice map, these are no longer needed
cbca074
to
37d9765
Compare
exec.note::increment_current_consumed_note_ptr | ||
loc_load.0 | ||
neq | ||
# => [current_consumed_note_ptr] |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Note: I think these APIs should change to pass an explict idx
, it would make testing possible.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good! Thank you! I left some comments inline - most of these are pretty small.
37d9765
to
6f1a03c
Compare
applied requested changes, please re-review
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good! Thank you! I left a couple more minor comments inline. After these are resolved, we can merge.
Oh - and let's update changelog. |
6f1a03c
to
bc65dfe
Compare
Added |
e9c8ea0
to
bcf8167
Compare
1483df6
to
bf3109b
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
All looks good! Thank you!
fixes #600
NULLIFIER_COMMITMENT
, since now it is available in theINPUTS_HASH
INPUTS_HASH