Blog

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

Read More »

Audit of Atomex: Core Library + Desktop Client for 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

Read More »
Archives