Audits & Formal Verification

Pangolin is one of the safest protocols on Avalanche: Forked from Uniswap V2 and audited as needed.

All Contract Audits

Uniswap V2 Audit Report

From January 8th to April 30th 2020, a team of six engineers reviewed and formally verified crucial components of the smart contracts for the second version of the Uniswap decentralized trading protocol. (V2 Audit removed)

Audits by​ Halborn

Halborn used automated testing techniques to enhance coverage of certain areas of the scoped contract. Among the tools used was Slither, a Solidity static analysis framework. After Halborn verified all the contracts in the repository and was able to compile them correctly into their ABI and binary formats. This tool can statically verify mathematical relationships between Solidity variables to detect invalid or inconsistent usage of the contracts’ APIs across the entire code-base.

Pangolin Smart Contract Security Audit


Pangolin & Ava Labs

Zap Smart Contract Security Audit


Visit Halborn

Last modified 5mo ago