Skip to content

refactor: add stack comments to claim_batch_pipe_double_words #2620

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
partylikeits1983 wants to merge 5 commits into
base: agglayer
Choose a base branch
from
+0 −0
Open

refactor: add stack comments to claim_batch_pipe_double_words #2620

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
5ac068d
refactor: add stack comments to claim_batch_pipe_double_words
partylikeits1983 Mar 17, 2026
ff69c12
Merge branch 'agglayer' into ajl-minor-refactor-batch_pipe_double_words
bobbinth Mar 20, 2026
91f9bac
Merge branch 'agglayer' into ajl-minor-refactor-batch_pipe_double_words
partylikeits1983 Mar 23, 2026
a94f0b7
Merge branch 'agglayer' into ajl-minor-refactor-batch_pipe_double_words
partylikeits1983 Mar 23, 2026
667218e
chore: merge latest agglayer
partylikeits1983 Apr 13, 2026
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
2 changes: 2 additions & 0 deletions crates/miden-agglayer/asm/agglayer/bridge/bridge_in.masm
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -594,6 +594,7 @@ proc claim_batch_pipe_double_words

push.CLAIM_PROOF_DATA_START_PTR push.CLAIM_PROOF_DATA_WORD_LEN
exec.mem::pipe_double_words_preimage_to_memory drop
# => []

# 2) Verify LEAF_DATA_KEY
mem_storew_be.CLAIM_LEAF_DATA_KEY_MEM_ADDR
Expand All @@ -602,6 +603,7 @@ proc claim_batch_pipe_double_words

push.CLAIM_LEAF_DATA_START_PTR push.CLAIM_LEAF_DATA_WORD_LEN
exec.mem::pipe_double_words_preimage_to_memory drop
# => []
end

#! Extracts the destination account ID as address[5] from memory.
Expand Down
Loading