Tezos (XTZ) is a new decentralized blockchain that governs itself by establishing a true digital commonwealth. It facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of the most sensitive or financially weighted smart contracts.
Today, September 14, Tezos announced via its Twitter account that Tezos mainnet would be launched on September 17.
According to CoinMarketCap, Tezos (XTZ) is trading at $1,43 (8,86% in a 24-hour period) at press time.