> For the complete documentation index, see [llms.txt](https://docs.cork.tech/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.cork.tech/smart-contracts/audits.md).

# Audits

## External Security Audits

Cork Phoenix has undergone independent security audits by two firms. All identified issues have been resolved or acknowledged.

### ChainSecurity

* **Scope:** Full protocol audit of [Cork Phoenix v0.5.0 (pre-release)](https://github.com/Cork-Technology/phoenix/commit/fe005f1be810c0f3f76fd8471fb199772cf1ac3a)
* **Date:** November 2025
* [**View Report (PDF)**](https://drive.google.com/file/d/1l16EzUj8GRDA19Ta5AC0LM4Z25In_xxD/view)

### Certora

* **Scope:** Full protocol audit and formal verification of [Cork Phoenix v1.1.0](https://github.com/Cork-Technology/phoenix/releases/tag/v1.1.0)
* **Date:** January 2026
* [**View Report (PDF)**](https://drive.google.com/file/d/1TPizkmb0EVETjoONSjxe6TAAKVpeAKyH/view)

{% hint style="info" %}
The Certora engagement included formal verification — a mathematical method that proves specific protocol properties hold under all possible inputs. The report covers 11 verified properties including accounting consistency, token backing, front-run resilience, and fee enforcement.
{% endhint %}

## Are smart contract upgrades audited?

Yes. Any changes to the code will undergo external review. Any smart contract upgrades will be audited.