tzXTezos decentralized exchange (DEX) Formal Verification, Liquidity.
Description
The tzX project is launching Tezos’s first Decentralized Exchange Protocol and ready Tezos Exchange client. tzX is integrating with wallets providers, and listing upcoming Tezos tokens for trading.
We're enabling the entrance of billions of dollars to the Tezos ecosystem by eager investors — starting with the launch of an open-source protocol for a Tezos DEX (decentralized exchange), an open 'make-your-own DEX' platform and support community, an instrument to provide liquidity called USDtez (Symbol: USDTZ), and a Tezos-based utility coin called tzX (Symbol: TZX), which supports the tzX protocol.
Each existing baking node acts as a relayer for an exchange layer powered by smart-contracts. Assets are held by the user in their own non-custodial Tezos wallet, which serves as a login authenticator to the exchange.
The tzX protocol enables atomic Tezos token swaps at cost and speed efficient network fees.
DexProtocolsTezos