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.
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.
