> ## Documentation Index
> Fetch the complete documentation index at: https://digraphsas-docs-cli.mintlify.site/llms.txt
> Use this file to discover all available pages before exploring further.

# Augustus v6.1 audit reports

> Five independent audits plus formal verification by Certora, a first for DEX aggregators.

Augustus v6.1 went through one of the most comprehensive audit programs in DEX aggregator history: five independent firms reviewed the contracts, and Certora delivered a formal verification, making ParaSwap the first DEX aggregator to ship a formally-verified router.

## Audits

<CardGroup cols={2}>
  <Card title="Certora" icon="shield-check" href="/resources/security/audits/Augustus-6.1-Certora.pdf">
    **Formal verification.** Mathematical proofs of critical contract invariants, a first for DEX aggregators.
  </Card>

  <Card title="Hexens" icon="shield-halved" href="/resources/security/audits/Augustus-6.1-Hexens.pdf">
    Independent security review of the Augustus v6.1 contract suite.
  </Card>

  <Card title="PeckShield" icon="shield-halved" href="/resources/security/audits/Augustus-6.1-PeckShield.pdf">
    Independent security review of the Augustus v6.1 contract suite.
  </Card>

  <Card title="Hacken" icon="shield-halved" href="/resources/security/audits/Augustus-6.1-Hacken.pdf">
    Independent security review of the Augustus v6.1 contract suite.
  </Card>

  <Card title="AstraSec" icon="shield-halved" href="/resources/security/audits/Augustus-6.1-AstraSec.pdf">
    Independent security review of the Augustus v6.1 contract suite.
  </Card>
</CardGroup>

## Formal verification

Certora's formal verification proves that core invariants of Augustus v6.1 hold for *every* possible input, not just the ones a manual auditor tested. This is the strongest correctness guarantee available short of a full mathematical proof of the whole system, and at the time it was a first for any DEX aggregator.

## Scope

The five-firm audit set covered the full Augustus v6.1 router, fee distribution, partner integrations, and supported swap methods.

## Related pages

* [Augustus v6.2 audits](/resources/security/audits/augustus-v6-2)
* [Augustus v5 audits](/resources/security/audits/augustus-v5)
* [Audits overview](/resources/security/audits)