Skip to content

feat!: allow consuming l1-to-l2 message in the same block#16704

Merged
spalladino merged 1 commit intopalla/l1-to-l2-message-proving-v2from
lw/consume_l1_to_l2_msg_in_same_block
Sep 2, 2025
Merged

feat!: allow consuming l1-to-l2 message in the same block#16704
spalladino merged 1 commit intopalla/l1-to-l2-message-proving-v2from
lw/consume_l1_to_l2_msg_in_same_block

Conversation

@LeilaWang
Copy link
Copy Markdown
Contributor

@LeilaWang LeilaWang commented Sep 2, 2025

We now feed the new l1-to-l2 message tree root to the avm, allowing the public functions to consume the messages that are going to be inserted to the tree in the block root rollup.

@LeilaWang LeilaWang requested a review from spalladino September 2, 2025 11:12
Copy link
Copy Markdown
Contributor

@spalladino spalladino left a comment

Choose a reason for hiding this comment

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

Looks great, thanks @LeilaWang!!

tx,
provingState.globalVariables,
provingState.l1ToL2MessageTreeSnapshot,
provingState.l1ToL2MessageTreeSnapshotAfterInsertion,
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Can't believe this was the only change needed in the orchestrator

@spalladino spalladino merged commit d903029 into palla/l1-to-l2-message-proving-v2 Sep 2, 2025
7 checks passed
@spalladino spalladino deleted the lw/consume_l1_to_l2_msg_in_same_block branch September 2, 2025 12:29
spalladino added a commit that referenced this pull request Sep 2, 2025
Co-authored-by: iLeila Wang <leizciw@gmail.com>
github-merge-queue bot pushed a commit that referenced this pull request Sep 3, 2025
…ck (#16375)

Fixes issue where proving fails for a tx that consumes an l1 to l2
message that was bridged on the same block as the tx is mined. The
prover was failing to add the messages to the tree _before_ running tx
public function simulation, so txs didnt have access to the messages
from that block, so their execution reverted, yielding a different end
state root.

See also #16704

Fixes #16675
mralj pushed a commit that referenced this pull request Oct 13, 2025
Co-authored-by: iLeila Wang <leizciw@gmail.com>
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 this pull request may close these issues.

2 participants