From Mar. 13, 2023 to Apr. 10, 2023, Poolshark Labs engaged Veridise to review the security of the Poolshark Protocol, an Automated Market Maker (AMM) which supports directional liquidity. The review covered the Cover Pool component which enables liquidity providers (LPs) to “cover” or “hedge” their positions. Veridise conducted the assessment over 12 person-weeks, with 3 engineers reviewing code over 4 weeks. The auditing strategy involved a tool-assisted analysis of the source code performed by Veridise engineers as well as extensive manual auditing.