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 Solidity
  • Atomic ERC-20 Contract:
    • Smart contract implemented in Solidity

Our final audit report was completed on May 6, 2020.

To read the full report including our findings, click here:

Report