feat(ctb): MPT Fuzzing contract changes

[clabby]

Overview

Reopened version of #4008 - CircleCI didn't like the @ in the old branch name.

Do not merge until after #4125 - bedrock contract tests will not pass due to the new testFuzz naming convention change

---

Adds a fuzz test input generator for testing Bedrock's MerkleTrie.sol.

Go version of #3847

Tests

Adds fuzz tests for MerkleTrie:

• testFuzz_get_validProofs_success
• testFuzz_get_invalidRoot_reverts
• testFuzz_get_extraProofElements_reverts
• testFuzz_get_invalidLargeInternalHash_reverts
• testFuzz_get_invalidInternalNodeHash_reverts
• testFuzz_get_corruptedProof_reverts
• testFuzz_get_invalidDataRemainder_reverts
• testFuzz_get_prefixedValidKey_reverts
• testFuzz_get_emptyKey_reverts
• testFuzz_get_partialProof_reverts

Metadata
ENG-3048

[changeset-bot]

⚠️ No Changeset found

Latest commit: 939ec85

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

[clabby]

Current dependencies on/for this PR:

• develop
  • PR feat(ctb): go-fuzz package #4161
    • PR feat(ctb): MPT Fuzzing contract changes #4162 👈

This comment was auto-generated by Graphite.