AUDIT

Contract audits & formal verification

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

UniverseSwap contract audits

GitHub - UniverseSwapDex/DexSmartContract: UniverseSwap Dex Smart ContractGitHub

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

https://docs.uniswap.org/protocol/V2/introductiondocs.uniswap.org

Uniswap v2 Core Whitepaper: https://docs.uniswap.org/whitepaper.pdf

UniverseSwap audits by​ ContractWolf

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

ContractWolfcontractwolf.io