Contract audits & formal verification

Pangolin is one of the safest multi-chain protocols: Forked from Uniswap V2 and audited as needed.

Pangolin 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. (Audit removed by Uniswap)

V2 Documentation

Uniswap v2 Core Whitepaper:

Halborn provides an exceedingly thorough analysis of a blockchain application’s smart contracts in order to correct design issues, errors in the code, or identify security vulnerabilities. They perform both manual analysis and automated testing to make sure smart contracts application or DeFi platforms are ready for mainnet.

Last updated