Skip to content

fix(prover): handle cross-chain messages when proving mbps#20354

Merged
spalladino merged 1 commit intomerge-train/spartanfrom
palla/fix-proving-mbps
Feb 10, 2026
Merged

fix(prover): handle cross-chain messages when proving mbps#20354
spalladino merged 1 commit intomerge-train/spartanfrom
palla/fix-proving-mbps

Conversation

@spalladino
Copy link
Contributor

We were re-inserting cross chain messages in world state for every block in the checkpoint, where we only need to insert them on the first block.

This fixes it, and also extends the epochs-mbps e2e test suite to also assert that the multi-block checkpoints get properly proven.

Builds on #20351

@spalladino spalladino force-pushed the palla/fix-mbps-proposed-anchor branch from 04f9d0b to 081f417 Compare February 10, 2026 16:03
@spalladino spalladino force-pushed the palla/fix-proving-mbps branch from 46c1c0e to e7fd8e8 Compare February 10, 2026 16:03
@AztecBot
Copy link
Collaborator

AztecBot commented Feb 10, 2026

Flakey Tests

🤖 says: This CI run detected 1 tests that failed, but were tolerated due to a .test_patterns.yml entry.

\033FLAKED\033 (8;;http://ci.aztec-labs.com/19931401a169091f�19931401a169091f8;;�): yarn-project/end-to-end/scripts/run_test.sh ha src/composed/ha/e2e_ha_full.test.ts (134s) (code: 1)

Base automatically changed from palla/fix-mbps-proposed-anchor to next February 10, 2026 17:42
@spalladino spalladino force-pushed the palla/fix-proving-mbps branch from e7fd8e8 to 531a026 Compare February 10, 2026 18:59
We were re-inserting cross chain messages in world state for every block
in the checkpoint, where we only need to insert them on the first block.

This fixes it, and also extends the epochs-mbps e2e test suite to also
assert that the multi-block checkpoints get properly proven.
@spalladino spalladino force-pushed the palla/fix-proving-mbps branch from 531a026 to 91608fe Compare February 10, 2026 19:00
@spalladino spalladino changed the base branch from next to merge-train/spartan February 10, 2026 19:04
@spalladino spalladino merged commit 0f546cf into merge-train/spartan Feb 10, 2026
20 of 22 checks passed
@spalladino spalladino deleted the palla/fix-proving-mbps branch February 10, 2026 19:24
spalladino added a commit that referenced this pull request Feb 10, 2026
Similar to how we had a MockGossipSub network we used in tests for nodes
to talk to each other, this commit adds a MockReqResp layer to enable
reqresp. Also adds an integration_reqresp test in p2p to test it (we
should be able to migrate other integration tests in p2p to it as
well?).

This allows us to re-enable the mbps assertion for proving blocks with
txs anchored to uncheckpointed blocks. It was failing because the prover
node failed to follow the uncheckpointed chain, so it rejected the txs
anchored to those blocks, and then could not fetch them via reqresp
since it was not enabled.

Proper fix is actually having the prover node follow the uncheckpointed
chain. But that will come in a later PR.

Builds on #20354
github-merge-queue bot pushed a commit that referenced this pull request Feb 11, 2026
BEGIN_COMMIT_OVERRIDE
chore(ci3): add optional local cache for bootstrap artifacts (#20305)
fix: Fix p2p integration test (#20331)
chore: reduce fee log severity (#20336)
feat: restrict response sizes to expected sizes (#20287)
feat: retry web3signer connection (#20342)
feat(p2p): Integrate TxPoolV2 across codebase (#20172)
feat: review and optimize Claude configuration, agents, and skills
(#20270)
fix(prover): handle cross-chain messages when proving mbps (#20354)
chore: retry flakes. if retry pass, is a flake as we know it now. fail
both is hard fail (#19322)
chore(p2p): add mock reqresp layer for tests (#20370)
fix: (A-370) don't propagate on tx mempool add failure (#20374)
chore: Skip the HA test (#20376)
feat: Retain pruned transactions until pruned block is finalised
(#20237)
END_COMMIT_OVERRIDE
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.

3 participants