# Audits

## Smart Contract Audits

### Liquity V2 Audits

The Liquity V2 codebase — the foundation that Aesyx’s CDP system is built upon — has undergone multiple independent audit rounds by leading firms.

It has also been formally verified to meet strict security and correctness standards.

### Audit Reports

| **Auditor**   | **Report**                                                                                                                                              | **Date**      |
| ------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------- |
| ChainSecurity | [Core Protocol Audit Report](https://www.chainsecurity.com/security-audit/liquity-bold-smart-contracts)                                                 | December 2024 |
| Dedaub        | [Core Protocol Audit Report I](https://dedaub.com/audits/liquity/liquity-v2-aug-28-2024/)                                                               | August 2024   |
| Dedaub        | [Core Protocol Audit Report II](https://dedaub.com/audits/liquity/liquity-v2-second-audit-nov-11-2024/)                                                 | November 2024 |
| Certora       | [Formal Verification](https://certora.cdn.prismic.io/certora/Z1tLJJbqstJ98b8J_LiquityVerificationReport.pdf)                                            | December 2024 |
| Coinspect     | [Bold Core Smart Contract Audit](https://www.coinspect.com/doc/Coinspect%20-%20Smart%20Contract%20Audit%20-%20Liquity%20-%20Bold%20-%20v241231.pdf)     | December 2024 |
| Coinspect     | [Bold Governance Audit](https://www.coinspect.com/doc/Coinspect%20-%20Smart%20Contract%20Audit%20-%20Liquity%20-%20Bold%20Governance%20-%20v250120.pdf) | January 2025  |
| ChainSecurity | [Governance Smart Contract Audit](https://www.chainsecurity.com/security-audit/liquity-v2-governance)                                                   | January 2025  |
| Dedaub        | [Governance Audit 1](https://dedaub.com/audits/liquity/liquity-v2-governance-1st-audit-aug-12-2024/)                                                    | August 2024   |
| Dedaub        | [Governance Audit 2](https://dedaub.com/audits/liquity/liquity-v2-governance-2nd-audit-nov-11-2024/)                                                    | November 2024 |
| Dedaub        | [Governance Audit 3](https://dedaub.com/audits/liquity/liquity-v2-governance-3rd-audit-dec-22-2024/)                                                    | January 2025  |
| Recon         | [Liquity Security Review](https://github.com/GalloDaSballo/bold-review)                                                                                 | October 2024  |

### Aesyx-Specific Changes and Audits

Enhancing Liquity V2 with careful, deliberate improvements.

While Aesyx inherits the strength of the Liquity V2 foundation, a few critical changes have been introduced to fit the needs of the Aesyx protocol:

• Mint Caps Added: Controls the amount of $AXD that can be minted against different types of Collateral, managing leverage risks.

• Admin-Adjustable Trove Parameters: Allows adjustment of parameters like mint caps without impacting the security model.

• Protocol Pausing Capability: Enables pausing the system in extreme scenarios (e.g., long-tail risks), providing an additional layer of protection.

| Auditor | Report                                                                                                                                                                                                                                                    | Date         |
| ------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------ |
| Dedaub  | [Felix (2nd Audit)](https://2357968670-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FVH6och7EAxl0pIZxgbqv%2Fuploads%2FckGCSwgMVirpVuz2oDep%2FFelix%20Audit%20by%20Dedaub.pdf?alt=media\&token=b234b781-d9bc-4956-bb47-0d8d80e62256) | January 2025 |

<br>
