Assessment reports
Public findings
Back to Zellic site
↗
Assessment reports
>
Echelon
>
Threat Model
>
Supply
General
Overview
Findings
High (2)
Low (1)
Threat Model
Supply
Audit Results
Assessment Results
Supply
It must assert that the pair exists.
It must ensure the types passed in match the specified pair.
Pair must not be paused.
It must not exceed the supply cap when supplying
amount
.
Withdraw
It must assert that the pair exists.
It must ensure the types passed in match the specified pair.
Pair must not be paused.
Borrower must have enough borrowing shares to support the withdrawal amount.
Borrow
It must assert that the pair exists.
It must ensure the types passed in match the specified pair.
It must not exceed the borrow cap when borrowing
amount
.
Pair must have enough liquidity to support the borrowed amount.
Borrower account must be healthy after the borrow operation (not in shortfall).
Repay
It must assert that the pair exists.
It must ensure the types passed in match the specified pair.
Caller-specified amount of
shares
must be less than or equal to the borrowed number of shares.
Liquidate
It must assert that the pair exists.
It must ensure the types passed in match the specified pair.
Pair must not be paused.
Liquidator signer must not also be the borrower being liquidated.
Borrower account must be unhealthy (in shortfall).
Caller-specified
repay_shares
must be less than or equal to the closing shares.
Seized amount must be greater than the
min_amount_out
.
Adding collateral
It must assert that the pair exists.
It must ensure the types passed in match the specified pair.
Pair must not be paused.
Removing collateral
It must assert that the pair exists.
It must ensure the types passed in match the specified pair.
Pair must not be paused.
Amount requested must be less than the signer's deposited collateral amount.
After removing collateral, the account must remain healthy (not in shortfall). See Finding
ref
↗
for details about this missing check.
Zellic © 2024
Back to top ↑