Zellic - Audit Reports

Assessment reports Public findings

Back to Zellic siteBack

Assessment reports>Ethereum and Blast Exchanges>Threat Model>stakeNative

GeneralOverview

Findings

Informational (2)

DiscussionLack of documentation Centralization risks Enforce a more recent Solidity version

Threat ModelWhat are threat models?BfxDepositU.sol BfxU.sol

BfxVaultU.sol stakeNative stakeToken withdrawNativeTo withdrawTokensTo

PoolDepositU.sol RabbitU.sol VaultU.sol

Audit ResultsAssessment Results

Function: `stakeNative()`

This function calls the handleReceivedNative function, which emits the Stake event.

Branches and code coverage

Intended branches

Increase the nextStakeNum by one.
Test coverage

Negative behavior

Revert when the native token is not supported.
Negative test
Revert when the msg.value is smaller than minStakes[native].
Negative test

Zellic © 2025Back to top ↑