Comment on page
Contract audits & formal verification
Pangolin is one of the safest multi-chain protocols: Forked from Uniswap V2 and audited as needed.
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)
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.