Security Audits
Alula's smart contracts undergo independent security audits and formal verification to ensure protocol integrity.
Security Audits
| Auditor | Scope | Status | Engagement |
|---|---|---|---|
| Halborn | v1.0 | Completed | Dec 2025 – Feb 2026 |
| Highland Security | v1.1 retest | Completed | Apr 2026 |
| Highland Security | v1.2 | Completed | Oct 2026 |
Formal Verification
| Tool | Scope | Status |
|---|---|---|
| Certora Prover | Market contract | In progress |
For current protocol data and transparency metrics, visit the Alula Transparency Dashboard.