Security context
What an agent needs to avoid regressing past fixes and find the next vuln in this repo.
cosmos/iavl
master @ 0b9d3da
5
Fixes
0
CVEs
HIGH
Peak severity
Highlights
Auth Bypass: 4 prior fixes. Scrutinize any change in this area.
RangeProof: most-fixed (1 issue). Treat as high-risk during review.
5 high-severity fixes in this history; regressions here are high-impact.
Recurring patterns
The bug types that recur here, drawn from past fixes, not open vulnerabilities.
Auth Bypass: Incomplete verification ordering allowed callers to verify individual proof items (via VerifyItem or VerifyAbsence) without first verifying the cryptographic root against a trusted source, leading to authentication bypass.
Cryptographic Issues: A structural flaw in proof inner nodes allowed Merkle proof forgery because the system did not restrict both the left and right child hashes from being populated simultaneously within a single ProofInnerNode.
Auth Bypass: A logic inversion in adjacency validation (isAdjacentTo) during key range proof verification allowed invalid structural proofs to bypass validation checks completely.