Assessment reportsPublic findings
Back to Zellic siteBack
↗
Assessment reports>Ethereum and Blast Exchanges>Threat Model>depositNative
GeneralOverview
Findings
High (2)
Low (4)
Informational (2)
DiscussionLack of documentationCentralization risksEnforce a more recent Solidity version
Threat ModelWhat are threat models?BfxDepositU.solBfxU.solBfxVaultU.sol
PoolDepositU.soldepositNativedepositTokenindividualDepositpooledDepositCommonwithdrawNativeTowithdrawTokensTo
RabbitU.solVaultU.sol
Audit ResultsAssessment Results

Function: depositNative(address contributor)

This function emits the Deposit event and transfers the received native tokens to the rabbit on behalf of the contributor.

Inputs

  • contributor

    • Control: Fully controlled by the caller.

    • Constraints: N/A.

    • Impact: The contributor of the deposit.

Branches and code coverage

Intended branches

  • Transfer the received native tokens to the rabbit.

  • Increase the nextDepositNum by one when the transfer succeeds.

Negative behavior

  • Revert when the native token is not supported.

  • Revert when the amount is smaller than minDeposits[native].

  • Revert when the transfer fails.

Zellic © 2025Back to top ↑