Audits

Security audits conducted.

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