Skip to content

test: improve Merkle coverage - #1603

Open
0xClandestine wants to merge 9 commits into
mainfrom
test/merkle
Open

test: improve Merkle coverage#1603
0xClandestine wants to merge 9 commits into
mainfrom
test/merkle

Conversation

@0xClandestine

@0xClandestine 0xClandestine commented Aug 11, 2025

Copy link
Copy Markdown
Member

Motivation:

Recent audits identified a lack of direct testing on the Merkle library, and we want to fix that.

Modifications:

  • Differential test against Murky (the most commonly used test implementation) for root and inclusion proofs.
  • TODO: Differential test against OZ for inclusion proofs.

Result:

More confidence, more coverage.

Comment thread src/test/unit/libraries/Merkle.t.sol Outdated
@0xClandestine
0xClandestine marked this pull request as ready for review August 12, 2025 19:38
Comment thread src/contracts/libraries/Merkle.sol Outdated
Comment thread src/test/unit/libraries/Merkle.t.sol Outdated
Comment thread foundry.toml

@nadir-akhtar nadir-akhtar left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Overall looks good -- just wanna get more intermediate coverage as well

Comment thread src/test/unit/libraries/Merkle.t.sol Outdated
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