Skip to content
Request an audit

‹ Findings database

Notional difference in AmmRouter:removeLiquidty() may revert in certain cases

MediumNftperp Matching Engine audit·Three Sigma·NFT perpetuals·29th January, 20243S-NFTPerp-M01

Description

AmmRouter:removeLiquidity() subtracts the long notional by the short notional if the size is bigger than 0 (contrary if size is smaller than 0), which may revert if the short notional is bigger than the long one.

Recommendation

Use the distance between the notionals.

Status

Addressed in #74bc3c3

Source

Disclosed by 0xSimao · Sherlock's 2025 Watson of the Year · 21 first places in 57 audit contests