Core Contracts
Regnum Aurum Acquisition Corp
HardhatReal World AssetsNFT
77,280 USDC
View results
Previous Next
Submission Details
Severity: medium
Invalid

Missing Validation for Connected Protocol States

ibukunola

Summary

The tick() and mintRewards functions don’t check the paused states of StabilityPool and LendingPool, risking minting based on stale data if either is paused. This medium-impact, medium-likelihood issue could lock excess RAAC in an inaccessible pool, diluting value or causing losses.

Vulnerability Details

No state validation exists for dependent contracts. Example:

StabilityPool is paused (e.g., emergency).
tick() mints 500 RAAC/day ($500/day at $1/RAAC) based on stale 80% utilization (real 20%).
With 400/day) accumulates in paused pool.
$12K excess (30 days) becomes locked or lost.

Impact

Excess RAAC (e.g., $12K over 30 days) could be trapped or diluted, a medium-impact issue affecting economics. The medium likelihood reflects plausible pause events in dependent pools, posing an operational risk.

Tools Used

Manual Code Review: To verify absence of pause validation in tick().

Recommendations

Validate states:

function tick() external nonReentrant whenNotPaused {
require(!stabilityPool.paused() && !lendingPool.paused(), "Dependent pools paused");
// ... rest of logic ...
}
Updates

Lead Judging Commences

inallhonesty Lead Judge 4 months ago
Submission Judgement Published
Invalidated
Reason: Non-acceptable severity

Support

FAQs

Can't find an answer? Chat with us on Discord, Twitter or Linkedin.