security review atomiq.exchange
Summary
This document presents the security review performed by cairo security clan on the atomiq exchange. atomiq.exchange is a fully trustless cross-chain decentralized exchange (DEX) allowing you to swap between smart chains and bitcoin, without having to trust any intermediary in the process. All transactions are processed atomically with strong security guarantees based on bitcoin light client leveraging bitcoins proof-of-work security and submarine swaps leveraging HTLCs - hash-time locked contracts over bitcoins lightning network. With this approach atomiq.exchange is able to offer security guarantees far exceeding those of existing bridging or cross-chain swapping solutions. The audit was performed using manual analysis of the codebase, automated analysis tools, simulation of the smart contract, analysis of edge test cases, with 9 points of attention classified by severity.
