Assessment reportsPublic findings
Back to Zellic siteBack
↗
Assessment reports>Alkimiya>Threat Model>redeem
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: redeem(PoolParams[] longPoolParams, PoolParams[] shortPoolParams)

This function is used to redeem long and short tokens.

Inputs

  • longPoolParams

    • Control: Arbitrary.

    • Constraints: None.

    • Impact: Array of pool parameters that are for long positions.

  • shortPoolParams

    • Control: Arbitrary.

    • Constraints: None.

    • Impact: Array of pool parameters that are for short positions.

Branches and code coverage

Intended branches

  • Invokes redeemLong for each pool in longPoolParams.

  • Invokes redeemShort for each pool in shortPoolParams.

Zellic © 2025Back to top ↑