Rai
Submit a BugProgram Overview
RAI is an ETH backed stable asset with a managed float regime. The RAI/USD exchange rate is determined by supply and demand while the protocol that issues RAI tries to stabilize its price by constantly de or revaluing it.
For more information about Rai, please visit https://docs.reflexer.finance
This bug bounty program is focused on Rai's smart contracts and is focused on preventing:
- Loss of user funds staked (principal) by freezing or theft
- Incorrect accounting logic in the core protocol
- Theft of unclaimed yield
- Unable to shut down the protocol in the global settlement process
- Freezing of unclaimed yield
- Temporary freezing of funds
- Unable to call smart contract
- Smart contract fails to deliver promised returns
Rewards by Threat Level
Rewards are distributed according to the impact of the vulnerability based on the Immunefi Vulnerability Severity Classification System V2.2. This is a simplified 5-level scale, with separate scales for websites/apps and smart contracts/blockchains, encompassing everything from consequence of exploitation to privilege required to likelihood of a successful exploit.
Critical, High and Medium severity bug reports must come with a PoC and a suggestion for a fix in order to be considered for a reward.
Critical vulnerabilities are further capped at 10% of economic damage, with the main consideration being the funds affected in addition to PR and brand considerations, at the discretion of the team. However, there is a minimum of USD 50 000 for Critical bug reports.
Known issues from their previous audits are considered out-of-scope:
https://github.com/reflexer-labs/geb-audits/tree/master/quantstamp/helper-contracts/first-audit
Additionally, there is a known bug in the contract below where, if it does not have tokens anymore, it cannot compute a 0 reward. This does not affect the rest of the functionality of the system and would also be considered out-of-scope.
https://github.com/reflexer-labs/geb-lender-first-resort/blob/master/src/AutoRewardDripper.sol
Payouts are handled by the Reflexer team directly and are denominated in USD. However, payouts are done in FLX, RAI or a combination of both at the discretion of the team.
Smart Contract
- Critical
- Level
- Up to USD $100,000
- Payout
- High
- Level
- USD $25,000
- Payout
- Medium
- Level
- USD $10,000
- Payout
- Low
- Level
- USD $2,500
- Payout
Assets in scope
- Smart Contract - Accounting EngineType
- Smart Contract - (Increasing Discount) Collateral Auction HouseType
- Smart Contract - Debt Auction HouseType
- Smart Contract - Global SettlementType
- Smart Contract - Liquidation EngineType
- Smart Contract - Oracle RelayerType
- Smart Contract - Safe EngineType
- Smart Contract - Surplus Auction HouseType
- Smart Contract - Tax CollectorType
- Smart Contract - Chainlink RelayerType
- Smart Contract - Uniswap Consecutive Slots Price Feed MedianizerType
- Smart Contract - Tax CollectorType
- Smart Contract - Chainklink RelayerType
- Smart Contract - Uniswap Consecutive Slots Price Feed MedianizerType
- Smart Contract - Geb Proxy ActionsType
- Smart Contract - Geb Proxy Actions Global SettlementType
- Smart Contract - Geb Safe ManagerType
- Smart Contract - Get SafesType
- Smart Contract - Protest PauseType
- Smart Contract - Geb Proxy RegistryType
- Smart Contract - FSM Governance InterfaceType
- Smart Contract - FSM WrapperType
- Smart Contract - Externally Funded OSMType
- Smart Contract - Debt Auction Initial Parameter SetterType
- Smart Contract - Increasing Treasury ReimbursementType
- Smart Contract - Mandatory Fixed Treasury ReimbursementType
- Smart Contract - Increasing Reward RelayerType
- Smart Contract - Debt Popper RewardsType
- Smart Contract - Geb Uniswap v2 Keeper FlashType
- Smart Contract - Proxy ETHType
- Smart Contract - Geb Uniswap v2 Multi Collateral Keeper Flash ProxyType
- Smart Contract - Geb Uniswap v3 Keeper Flash Proxy ETHType
- Smart Contract - DS RolesType
- Smart Contract - DS Delegate TokenType
- Smart Contract - Geb Lender First Resort Rewards VestedType
- Smart Contract - Staked Tokens to Keep SetterType
- Smart Contract - Staking Rewards EscrowType
- Smart Contract - Staked Token Auction HouseType
- Smart Contract - Auto Reward DripperType
All smart contracts of Rai can be found at https://github.com/reflexer-labs. However, only those in the Assets in Scope table are considered as in-scope of the bug bounty program.
Impacts in scope
Only the following impacts are accepted within this bug bounty program. All other impacts are not considered as in-scope, even if they affect something in the assets in scope table.
Smart Contract
- Any governance voting result manipulationCriticalImpact
- Direct theft of any user funds, whether at-rest or in-motion, other than unclaimed yieldCriticalImpact
- Permanent freezing of fundsCriticalImpact
- Miner-extractable value (MEV)CriticalImpact
- Protocol InsolvencyCriticalImpact
- Theft of unclaimed yieldHighImpact
- Permanent freezing of unclaimed yieldHighImpact
- Temporary freezing of fundsHighImpact
- Smart contract unable to operate due to lack of token fundsMediumImpact
- Block stuffing for profitMediumImpact
- Unbounded gas consumptionMediumImpact
- Theft of gasMediumImpact
- Griefing (e.g. no profit motive for an attacker, but damage to the users or the protocol)MediumImpact
- Contract fails to deliver promised returns, but doesn't lose valueLowImpact
Out of Scope & Rules
The following vulnerabilities are excluded from the rewards for this bug bounty program:
- Attacks that the reporter has already exploited themselves, leading to damage
- Attacks requiring access to leaked keys/credentials
- Attacks requiring access to privileged addresses (governance, strategist)
Smart Contracts and Blockchain
- Incorrect data supplied by third party oracles
- Not to exclude oracle manipulation/flash loan attacks
- Basic economic governance attacks (e.g. 51% attack)
- Lack of liquidity
- Best practice critiques
- Sybil attacks
The following activities are prohibited by this bug bounty program:
- Any testing with mainnet or public testnet contracts; all testing should be done on private testnets
- Any testing with pricing oracles or third party smart contracts
- Attempting phishing or other social engineering attacks against our employees and/or customers
- Any testing with third party systems and applications (e.g. browser extensions) as well as websites (e.g. SSO providers, advertising networks)
- Any denial of service attacks
- Automated testing of services that generates significant amounts of traffic
- Public disclosure of an unpatched vulnerability in an embargoed bounty