Ethena Labs - Noro's results

Enabling The Internet Bond

General Information

Platform: Code4rena

Start Date: 24/10/2023

Pot Size: $36,500 USDC

Total HM: 4

Participants: 147

Period: 6 days

Judge: 0xDjango

Id: 299

League: ETH

Ethena Labs

Findings Distribution

Researcher Performance

Rank: 116/147

Findings: 1

Award: $4.52

QA:
grade-b

๐ŸŒŸ Selected for report: 0

๐Ÿš€ Solo Findings: 0

Lines of code

https://github.com/code-423n4/2023-10-ethena/blob/main/contracts/StakedUSDe.sol#L21

Vulnerability details

According to EIP-4626 :

maxDeposit :

MUST factor in both global and user-specific limits, like if deposits are entirely disabled (even temporarily) it MUST return 0.

maxMint:

MUST factor in both global and user-specific limits, like if mints are entirely disabled (even temporarily) it MUST return 0.

maxWithdraw :

MUST factor in both global and user-specific limits, like if withdrawals are entirely disabled (even temporarily) it MUST return 0.

and maxRedeem :

MUST factor in both global and user-specific limits, like if redemption is entirely disabled (even temporarily) it MUST return 0.

However, in the implementation maxDeposit and maxMint does not return 0 when depositor or minter is SOFT_RESTRICTED_STAKER_ROLE, and maxWithdraw and maxRedeem also doesnโ€™t return 0 when owner of tokens to be withdrawn or redeemed is FULL_RESTRICTED_STAKER_ROLE .

Impact

this breaks external composability with other projects .

Tools Used

Manual review

  • override ERC4626 implementation maxDeposit and maxMint functions and check if depositor or minter is SOFT_RESTRICTED_STAKER_ROLE and return 0 if so .
  • override ERC4626 implementation maxWithdraw and maxRedeem functions and check if the owner is FULL_RESTRICTED_STAKER_ROLE and return 0 if so .

Assessed type

ERC4626

#0 - c4-pre-sort

2023-10-31T19:04:04Z

raymondfam marked the issue as low quality report

#1 - c4-pre-sort

2023-10-31T19:04:17Z

raymondfam marked the issue as duplicate of #222

#2 - c4-judge

2023-11-14T15:53:41Z

fatherGoose1 changed the severity to QA (Quality Assurance)

#3 - c4-judge

2023-11-14T17:00:27Z

fatherGoose1 marked the issue as grade-b

AuditHub

A portfolio for auditors, a security profile for protocols, a hub for web3 security.

Built bymalatrax ยฉ 2024

Auditors

Browse

Contests

Browse

Get in touch

ContactTwitter