contracts-bedrock: fuzz L2ToL1MessagePasser#3527
Conversation
🦋 Changeset detectedLatest commit: cbcf5ea The changes in this PR will be included in the next version bump. This PR includes changesets to release 5 packages
Not sure what this means? Click here to learn what changesets are. Click here if you're a maintainer who wants to add another changeset to this PR |
github-actions
bot
added
2-reviewers
A-pkg-contracts-bedrock
|
Hey @tynes! This PR has merge conflicts. Please fix them before continuing review. |
tynes
force-pushed
the
ctb/fuzz-message-passer-storage-slot
branch
from
6a22b58 to
12e8b69
Compare
|
Hey @tynes! This PR has merge conflicts. Please fix them before continuing review. |
|
Hey @tynes! This PR has merge conflicts. Please fix them before continuing review. |
tynes
force-pushed
the
ctb/fuzz-message-passer-storage-slot
branch
from
12e8b69 to
74154b2
Compare
|
I've resolved the merge conflict, this should be good to review @smartcontracts |
|
Hey @tynes! This PR has merge conflicts. Please fix them before continuing review. |
tynes
force-pushed
the
ctb/fuzz-message-passer-storage-slot
branch
from
9759262 to
fe0ad25
Compare
|
Hey @tynes! This PR has merge conflicts. Please fix them before continuing review. |
Fuzzes the L2ToL1MessagePasser for state changes to its storage. This specifically tests that the storage slot that the proofs are generated against is computed correctly. This is important to test as any changes that break the proof would also break this test. The fuzz runs were used to generate test cases in #3469 for off chain computation of the storage slots for withdrawals.
tynes
force-pushed
the
ctb/fuzz-message-passer-storage-slot
branch
from
fe0ad25 to
9c98f73
Compare
|
Can I get a review on this @smartcontracts ? |
|
This PR has been added to the merge queue, and will be merged soon. |
|
This PR has been added to the merge queue, and will be merged soon. |
|
This PR is next in line to be merged, and will be merged as soon as checks pass. |
|
Merge failed. Please see automated check logs for more details. |
|
This PR has been added to the merge queue, and will be merged soon. |
|
This PR is next in line to be merged, and will be merged as soon as checks pass. |
4 participants
Description
Fuzzes the L2ToL1MessagePasser for state changes to its storage. This specifically tests that the storage slot that the proofs are generated against is computed correctly. This is important to test as any changes that break the proof would also break this test.
The fuzz runs were used to generate test cases in
#3469 for off chain computation of the storage slots for withdrawals.