optimism icon indicating copy to clipboard operation
optimism copied to clipboard

contracts-bedrock: fuzz L2ToL1MessagePasser

Open tynes opened this issue 3 years ago • 3 comments

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 https://github.com/ethereum-optimism/optimism/pull/3469 for off chain computation of the storage slots for withdrawals.

tynes avatar Sep 22 '22 13:09 tynes

🦋 Changeset detected

Latest commit: cbcf5eac878929cca23b1e82692b0439c877d745

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 5 packages
Name Type
@eth-optimism/contracts-bedrock Patch
@eth-optimism/actor-tests Patch
@eth-optimism/sdk Patch
@eth-optimism/drippie-mon Patch
@eth-optimism/message-relayer Patch

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

changeset-bot[bot] avatar Sep 22 '22 13:09 changeset-bot[bot]

Hey @tynes! This PR has merge conflicts. Please fix them before continuing review.

mergify[bot] avatar Sep 22 '22 13:09 mergify[bot]

Hey @tynes! This PR has merge conflicts. Please fix them before continuing review.

mergify[bot] avatar Sep 22 '22 19:09 mergify[bot]

Hey @tynes! This PR has merge conflicts. Please fix them before continuing review.

mergify[bot] avatar Sep 23 '22 17:09 mergify[bot]

I've resolved the merge conflict, this should be good to review @smartcontracts

tynes avatar Sep 25 '22 20:09 tynes

Hey @tynes! This PR has merge conflicts. Please fix them before continuing review.

mergify[bot] avatar Sep 26 '22 21:09 mergify[bot]

Hey @tynes! This PR has merge conflicts. Please fix them before continuing review.

mergify[bot] avatar Sep 26 '22 22:09 mergify[bot]

Can I get a review on this @smartcontracts ?

tynes avatar Sep 27 '22 13:09 tynes

This PR has been added to the merge queue, and will be merged soon.

mergify[bot] avatar Sep 27 '22 15:09 mergify[bot]

This PR has been added to the merge queue, and will be merged soon.

mergify[bot] avatar Sep 27 '22 15:09 mergify[bot]

This PR is next in line to be merged, and will be merged as soon as checks pass.

mergify[bot] avatar Sep 27 '22 15:09 mergify[bot]

Merge failed. Please see automated check logs for more details.

mergify[bot] avatar Sep 27 '22 15:09 mergify[bot]

This PR has been added to the merge queue, and will be merged soon.

mergify[bot] avatar Sep 27 '22 18:09 mergify[bot]

This PR is next in line to be merged, and will be merged as soon as checks pass.

mergify[bot] avatar Sep 27 '22 18:09 mergify[bot]