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

# Audits

## Runtime Verification

### March 2022

* Blog Post: <https://runtimeverification.com/blog/runtime-verification-audits-exa-finance-s-baskets-smart-contract>
* Audit Report: <https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/EXA_Finance.pdf>

## Soft Audits

### 2023-2024

We have also conducted soft audits on our new contracts developed during 2023–2024. We would like to extend our thanks to:

* The Vestige Team
* D13, Core Engineering Lead at Algorand Foundation
* Steve Ferrigno, Software Engineer at Algorand Foundation
* Mark Keane, CTO at Lofty AI