Audits

Information on smart contract risk and audits

Which parts of Cork Phoenix have been audited and by who?

1. Chain Security (Report coming soon)

   1. Full protocol audit, Nov 2025 commit hash

2. Certora (Report coming soon)

   1. Full protocol audit, latest commit hash

3. Formal verification (coming soon)

Are smart contract upgrades audited?

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

Is Cork running a bug bounty program?

Yes! Cork will shortly announce an updated bug bounty program for Phoenix.