The CelsiusX wrapping infrastructure has been audited by Halborn to ensure intended smart contract functionality and identify any potential security issues. A combination of manual and automated security testing was performed in order to:
Graph out contract logic
Assess safety of critical solidity variables and functions in scope
Determine any vulnerabilities, security hotspots, or bugs