Assessment reportsPublic findings
Back to Zellic siteBack
↗
Assessment reports>Alkimiya>Threat Model>_collateralRefund
GeneralOverview
Findings
Critical (3)
High (1)
Medium (2)
Low (1)
Informational (2)
DiscussionThe sBountyGracePeriod has no limit
Threat ModelWhat are threat models?BTCFeeIndex.sol
SilicaPools.sol_collateralRefund_collateralizedMint_endBounty_startBountycancelOrderscollateralRefundcollateralizedMintendPoolendPoolsfillOrderfillOrdersmaxCollateralRefundredeemredeemLongredeemShortsetBountyFractionIncreasePerSecondsetBountyGracePeriodsetMaxBountyFractionsetMintFeeBpssetTreasuryAddressstartPoolstartPools
Audit ResultsAssessment Results

Function: _collateralRefund(PoolParams poolParams, uint256 shares)

This function is used to refund the collateral to the user.

Inputs

  • poolParams

    • Control: Arbitrary.

    • Constraints: None.

    • Impact: Pool parameters.

  • shares

    • Control: Arbitrary.

    • Constraints: None.

    • Impact: Amount of shares.

Branches and code coverage

Intended branches

  • Calculates the refund amount using the pool parameters.

  • Burns the caller's long and short shares.

  • Transfers the refund amount to the caller.

Zellic © 2025Back to top ↑