Every line of Velora’s on-chain code goes through independent third-party audits before reaching production. This page lists every audit on record, plus the wider security posture — formal verification, monitoring, and Web2 testing.Documentation Index
Fetch the complete documentation index at: https://new-docs.velora.xyz/llms.txt
Use this file to discover all available pages before exploring further.
Smart-contract audits
| Surface | Auditors | Notes | Detail |
|---|---|---|---|
| Augustus v6.2 | 3 independent firms | Refinements to fee-claiming on top of v6.1; prior v6.1 audits remain applicable | v6.2 audits |
| Augustus v6.1 | Certora, Hexens, Peckshield, Hacken, Astrasec | First DEX aggregator with formal verification (Certora) | v6.1 audits |
| Augustus v5 | Independent auditors | Production-grade aggregator router | v5 audits |
| Augustus RFQ | Independent auditor | Fungible-token RFQ contracts | RFQ audits |
Audit report PDFs are currently hosted on the legacy
developers.velora.xyz site. They will be mirrored into this repo as the migration completes.