Zellic - Audit Reports

Depositing

It must assert that the amount to be deposited is not zero.

It must assert that deposits are not made to the zero address.

The token to be deposited must be allowed to be staked.

If capsEnabled is true, it must assert that the total staked amount of the token after a deposit does not exceed the token's cap.

It must assert that the amount to be withdrawn is not zero.

It must assert that the user withdrawing has staked a sufficient amount of tokens.

The migrator contract address must not be set to the zero address.

The array of tokens must not be empty.

The array of tokens must not include any token that the user migrating has not staked.

The array of tokens must not include duplicate tokens.

It must assert that the migrator being set is not the zero address.

It must assert that the token being added must not have been added before.

It must assert that the token for which the parameter is being set is not the zero address.

It must assert that the token is not already configured with the same staking state.

It must assert that the token being recovered is not the zero address.