Zellic - Audit Reports

Assessment reports Public findings

Back to Zellic site

Assessment reports>Plaza>Threat Model>_checkCap

GeneralOverview

Findings

Informational (1)

Threat ModelWhat are threat models?

PreDeposit Module: PreDeposit.sol _checkCap _deposit claim createPool withdraw

Audit ResultsAssessment Results

Function: `_checkCap(address[] tokens, uint256[] amounts)`

This function is used to check if the deposit cap is reached.

Inputs

tokens
- Control: Arbitrary.
- Constraints: None.
- Impact: Array of tokens to check.
amounts
- Control: Arbitrary.
- Constraints: None.
- Impact: Array of amounts to withdraw.

Branches and code coverage

Intended branches

Check if the deposit cap is reached.

Negative behavior

Revert if totalUserDepositValue is 0.

Zellic © 2025Back to top ↑