Arbitrary leaf proofs via unconsumed multiproof elements
Published Jun 16, 2023 · Updated Dec 16, 2024
Improper multiproof validation in OpenZeppelin Contracts 4.7.0 through 4.9.1 allows attackers to prove arbitrary Merkle leaves. The MerkleProof multiproof processors return the final computed hash without confirming that every supplied proof element was consumed. Reachability requires multiproof verification against a tree with a zero-valued node directly below its root; single proofs and hashed-leaf standard trees are unaffected.
Summary
What happened
Improper multiproof validation in OpenZeppelin Contracts 4.7.0 through 4.9.1 allows attackers to prove arbitrary Merkle leaves. The MerkleProof multiproof processors return the final computed hash without confirming that every supplied proof element was consumed. Reachability requires multiproof verification against a tree with a zero-valued node directly below its root; single proofs and hashed-leaf standard trees are unaffected.
The record
- CVE
- CVE-2023-34459
- Published
- Jun 16, 2023
- Updated
- Dec 16, 2024
- Vendor
- OpenZeppelin
- Product
- OpenZeppelin Contracts
- Classifications
- CWE-354
- Attack vector
- network
- Privileges
- unauthenticated
Timeline
How it unfolded
- Jun 16, 2023CVE publishedPublication date reported by the CVE source.
- Dec 16, 2024Record updatedLatest update available in the CVE record.
Exploitability
Present is not the same as exploitable
Compare your product and version with the public record. A matching version still requires validation against your environment.
Is a vulnerable build present?
Compare these published version ranges with your installed build and any vendor patches.
- Affected versionversion=>= 4.7.0, < 4.9.2
What conditions does exploitation require?
What is affected?
Published CVSS scores
CVSS describes severity. EPSS estimates exploitation probability.
Attacks
What attackers are doing with it
Daily unique IPs observed by Shadowserver honeypots for known exploited vulnerabilities (KEVs). Missing observations do not establish an absence of attacks.
Weakness, pattern, technique
Public exploit references
- OpenZeppelin manipulated-multiproof regression testproof of concept · demonstrated
Labels summarize the accepted research assessment. They do not indicate a test against your environment.
Technologies
Your stack
See the directory against your own environment.
Your stack
Check the software in your environment
Book a demo to see how Hinoki identifies affected software and validates exploitability in your environment.
Book a demo