skills/case-studies/rari-fuse/SKILL.md
Case study of the 2022 Rari Fuse exploit: reentrancy in Compound fork draining ~$80M
npx skillsauth add apegurus/solidity-argus rari-fuseInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
In April 2022, several Rari Fuse lending pools were exploited for approximately $80 million. The attack targeted a reentrancy vulnerability in the protocol's CEther contract, which was a fork of Compound. The attacker was able to borrow assets against their collateral and then re-enter the contract to withdraw the collateral before the borrow was recorded.
The vulnerability was a classic reentrancy bug in the exitMarket function of the Comptroller or the redeem function of the CEther contract. When a user withdrew ETH, the contract made an external call to the user's address before updating the internal state. Because Rari's fork of Compound did not have a reentrancy guard on these specific functions (or the guard was bypassed), the attacker could recursively call the contract to drain funds.
CEther contract sent ETH to the attacker's malicious contract via a low-level call.0xab4860125185a341599c543974807217b3911714771725567b746761632a2939redeem, borrow, or exitMarket functions.nonReentrant modifier to all functions that involve external calls or state changes.testing
Specialist profile for mechanically applying the attack-vector deck and classifying vectors as skip, drop, or investigate.
tools
Specialist profile for libraries, helpers, base contracts, adapters, encoders, wrappers, and integration glue.
testing
Specialist profile for rounding, scale, decimal, downcast, and arithmetic accounting edge cases.
testing
Specialist profile for extracting conservation laws and state couplings, then searching for violating paths.