Audit of Atomex Smart Contracts for 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

Share this audit report

Contact Us

Browse our FAQs to learn more about our security consulting services or get in touch to discuss the security of your project.

Schedule a Call

Or email us at consulting@leastauthority.com