Spark ALM Controller is an automated liquidity management system within the Sky ecosystem that maintains optimal liquidity levels across EVM chains. Certora performed a review of the Solidity smart contract code for the version 1.8.0 update which included OTC buffer functionality for off-chain swaps, wStETH integration for staking operations, and comprehensive slippage protections for many deposit functions. The detailed findings and Spark responses can be found in the full report below.