Audit of Atomex Smart Contracts for the Tezos Foundation

Tezos Foundation has requested that Least Authority perform a security audit of the Atomex Smart Contracts. Atomic Swap Contract (Tezos): Smart contract implemented using Morley library framework and developed in a Haskell based domain specific language that compiles to Michelson FA1.2 Contract: Smart contract implemented in PascaLIGO Atomic Swap Contract (Ethereum): Smart contract implemented in …

Read moreAudit of Atomex Smart Contracts for the Tezos Foundation

Audit of Atomex: Core Library + Desktop Client for the Tezos Foundation

Tezos Foundation has requested that Least Authority perform a security audit of the Atomex core library and desktop client. Atomex is a hybrid exchange based on atomic swap technology and multicurrency hierarchical deterministic (HD) wallet. Our final audit report was completed on September 24, 2020. To read the full report including our findings, click here: