Audit of Atomex Smart Contracts for the Tezos Foundation
October 1, 2020
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