Audits

Audits & Formal Verification

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

All Contract Audits

exchange-contracts/audits at main · pangolindex/exchange-contracts
GitHub

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)
The Uniswap V2 Protocol | Uniswap

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_Smart_Contract_Security_Audit_Report_Halborn_Final.pdf
10MB
PDF

Pangolin & Ava Labs

Zap Smart Contract Security Audit

Pangolin_AVALabs_Zap_Smart_Contract_Security_Audit_Report_Halborn.pdf
2MB
PDF

Visit Halborn

Halborn Blockchain Security Firm: Ethical Hackers, Infosec & Pen Tests
halborn
Last modified 3mo ago
Copy link
Outline
Audits & Formal Verification
All Contract Audits
Uniswap V2 Audit Report
Audits by​ Halborn
Pangolin Smart Contract Security Audit
Pangolin & Ava Labs