Skip to main content
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

Certora

Formal verification. Mathematical proofs of critical contract invariants, a first for DEX aggregators.

Hexens

Independent security review of the Augustus v6.1 contract suite.

PeckShield

Independent security review of the Augustus v6.1 contract suite.

Hacken

Independent security review of the Augustus v6.1 contract suite.

AstraSec

Independent security review of the Augustus v6.1 contract suite.

​
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.
Last modified on June 14, 2026