CLOB
DEX
Permissionless, decentralized exchange protocol with automated orders built on top of Stellar. On-chain order book and matching engine based on the Order Statistics Tree Library involves structuring smart contracts to manage and match orders efficiently.
Issues we addres
CLOB DEX - Permissionless, decentralized perpetual exchange protocol with automated orders built on Soroban. It uses a fully on-chain orderbook - utilizing Red-Black Tree architecture to provide a platform with a risk engine, matching engine, shared asset pools, and on-chain settlement. Using automated orders and collateral insurance to infinite trading possibilities.
Perpetual Futures Trading is a sophisticated financial instrument that lets users speculate on the future value of an asset without requiring them to own the asset outright.
This method introduces the concept of leverage, allowing users to control more substantial positions.
Resilience, Fairness, and Soundness
Automated orders are designed using formal methods. In this case, these methods can be used to ensure that the orders are resilient (able to withstand shocks and stresses), fair (equitable to all participants), and sound (operating as intended without errors or vulnerabilities).
Self-Auditing Trading Code
By defining the domain of all possible interactions and actions, the code that governs these automated orders can be designed to audit itself. This means it can monitor its operations to detect and correct errors or vulnerabilities, enhancing its reliability and trustworthiness.