Dexter

Dexter is a platform for simulating several DEX variants. Dexter is implemented in Anylogic.

Contents

• 01. Introduction
  • Motivation
  • Goals
  • Key design decisions
  • TLA+ specification
• 02. Technological context
  • Blockchain
  • Cryptocurrency
  • Decentralized exchange (DEX)
  • Discrete event simulation (DES)
  • Agent-based simulation
  • JVM
  • Anylogic
• 03. Quick start guide
  • Step 0: Supported platforms and hardware requirements
  • Step 1: Download Dexter
  • Step 2: Download and install Anylogic
  • Step 3: Obtain Anylogic license
  • Step 4: Open Dexter project
  • Step 5: Configure a simulation experiment
  • Step 6: Run a simulation experiment
• 04. Model data types
  • Basic java types
  • Amounts and prices
  • Time
  • Hash
  • Battery of counters
• 05. Blockchain model
  • Real blockchain vs blockchain mock
  • Blockchain accounts
  • Client-Blockchain communication protocol
  • Transactions
  • Transaction body
  • Queries
• 06. DEX model
  • Coins and tokens
  • DEX core
  • Trader account
  • Reserve
  • Markets
  • Liquidity pools
  • Yield
  • Orders and positions
  • Representation of an order book
  • Execution of orders
  • Summary of “price” concepts across Dexter
• 07. Executors
  • Space of executors research
  • Executor loop overview
  • Arithmetic precision problems and their solution
  • Executor loop details
  • Variant 1: TEAL executor
  • Variant 2: TURQUOISE executor
  • Variant 3: UNISWAP_HYBRID executor
• 08. External value of coins
• 09. Trader models
• 10. Simulation structure
• 11. Configuration of experiments
• 12. Dashboard
• 13. Experiment params reference
• 14. Known problems
• 15. Command-line mode