# 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>


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://aesyx.gitbook.io/welcome-to-aesyx/resources/audits.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.