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

December 2024

Certora

December 2024

Coinspect

December 2024

Coinspect

January 2025

ChainSecurity

January 2025

Dedaub

August 2024

Dedaub

November 2024

Dedaub

January 2025

Recon

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

January 2025

Last updated