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

# Audits

#### Astaria has undergone both Formal Verification and multiple complete audits with [Certora](https://www.certora.com/).

{% file src="/files/Xi67Ou7od0mH1K9VHpFg" %}
Latest Audit w/Certora
{% endfile %}

{% file src="/files/sWh4kupSq5aouiqjK7NE" %}
Original Audit w/Certora
{% endfile %}

{% file src="/files/ep5GlAd5R7OCpbcHJIhp" %}
Starport Lending Kernel Audit
{% endfile %}