STON.fi Blog

We will examine two types of decentralized exchanges: Orderbook DEXs AMM DEX Orderbook DEXs resemble centralized exchanges (CEX) in their interface and operational principles. Trading participants place their orders to buy or sell their cryptoassets on the exchange, and a deal is reached when the stated prices match. The transaction takes place only when there is a counter order for a transaction from another user. Unlike on a CEX, where the exchange itself serves as the third party and is responsible for processing a transaction, the smart contract, i.e. self-executing software, takes care of this. AMM DEXs (automated market

A smart contract is computer code with a set of rules that are executed when certain conditions occur. This happens automatically, without human involvement and without trust between the two participants of the transaction. But what happens if a developer accidentally or intentionally makes a mistake in a smart contract? Participants lose their money. At the same time, typical critical errors in smart contracts are usually detected by automatic analyzers. But when we want to check the high-level logic of smart contracts and the compliance of the rules with the stated goals, this requires a rather complex audit involving specialists who