Light Protocol's Compressed Token (CToken) is a Solana program that enables rent-free, compressed token accounts for efficient token storage and distribution, supporting both SPL Token and Token-2022 mints. It also allows funds to be stored in standard Solana accounts with the option to sponsor rent exemption in exchange for a fee.

This audit focuses on the project’s latest updates, specifically the support of new extensions and the introduction of additional instructions for CTokens. During this audit, the Certora team identified security issues. The report details the issues found and the Light Protocol team's response.