Community
  • GETTING STARTED
    • Introduction
    • Governance
    • Utility
    • Tokenomics
    • Protocol
    • Contracts
    • Audits
  • EXA ECOSYSTEM
    • EXA Market
    • EXA Studio
    • EXA Swap
    • EXA Academy
    • EXA Community
  • Legal
    • Trademark
    • Terms & Conditions
    • Privacy Policy
Powered by GitBook
On this page
  • Runtime Verification
  • March 2022
  • Soft Audits
  • 2023-2024
  1. GETTING STARTED

Audits

Security audits conducted.

PreviousContracts

Last updated 4 months ago

Runtime Verification

March 2022

  • Blog Post:

  • Audit Report:

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

https://runtimeverification.com/blog/runtime-verification-audits-exa-finance-s-baskets-smart-contract
https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/EXA_Finance.pdf