Economic Soundness
Robustness of economic model against flash loans, MEV, liquidation cascades, and incentive misalignment under stress.
How This Score Is Built
Robustness of economic model against flash loans, MEV, liquidation cascades, and incentive misalignment under stress.
Scoring Tree
Score Composition
CONFIRMED Critical (#2256, passing PoC): StakingAccountant._getExchangeRatio 'totalStaked + rewardsAmount - totalClaimed - slashingAmount' is unchecked subtraction — permanent underflow brick when slashing exceeds headroom; no admin function reduces totalSlashing. Verified in source. NOTE: live sanityChecker now bounds the slashing delta magnitude, raising the activation cost vs the original address(0) premise.
ON-CHAIN: live exchange ratio is healthy (1 kHYPE = ~1.0188 HYPE; kHYPE supply ~16.14M) — the underflow scenario has NOT triggered in production; it is a latent tail-risk, not a realized loss
Exchange-rate model is exchange-ratio (not rebasing); rate locked at queue time, socializes slashing onto in-queue holders (#1715/#38 — accepted Duplicate at High on Cantina)
Precision/dust: mulDiv truncation (#2584); 1e10 buffer-remainder dust leak (#2561); first-depositor/donation inflation surface (#2516)
Raised 50 -> 53: live sanityChecker bounds the dominant economic-attack magnitude; rate is healthy and behaving
Evidence Chain (1 files)
Score History
No dimension-level score changes recorded yet.