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: