Security context

What an agent needs to avoid regressing past fixes and find the next vuln in this repo.

OffchainLabs/nitro-contracts

              develop @ c449130
            

Fixes

CVEs

HIGH

Peak severity

50.0%

Coverage

Highlights

Access Control: 7 prior fixes. Scrutinize any change in this area.

src/osp/OneStepProofEntry.sol: most-fixed (5 issues). Treat as high-risk during review.

12 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.

Logic Error: Multiple fixes target incorrect root computation and cothread/error-guard state handling; flaws here directly enable proof forgery or incorrect state verification, undermining the rollup's integrity.

Access Control: Multiple fixes restrict executor destinations and owner-only function signatures. Without these, an executor could send funds to arbitrary addresses or call privileged functions, enabling theft or governance bypass.

Authorization Bypass: withdrawStakerFunds allowed arbitrary destination; fix restricts to msg.sender. This is a direct authorization bypass on fund withdrawal, a critical financial primitive.