Checker - A Robocoin System for Tezos

Contents:

• Introduction
  • What is Checker?
  • System overview of a Checker deployment
  • Configuring and building Checker for different use-cases
• Design
  • Concepts
    • The clock
    • Target and quantity
    • The instantaneous drift
    • Oracles
  • Algorithmic control
  • Burrows
    • Burrowing and overburrowing
    • Burrow fee
    • Imbalance adjustment
  • Liquidation
  • Liquidation auction
  • CFMM
• Functional Specification
  • Checker
    • Working with burrows
    • CFMM Exchange
    • Liquidation Auctions
    • Maintenance entrypoints
    • FA2 Interface
    • FA2 Views
    • Deployment
  • wtez
    • Overview
    • Deposits and withdrawals
    • FA2 Interface
    • Internal entrypoints
  • wctez
    • Overview
    • Minting and redeeming tokens
    • FA2 Interface
• Operational descriptions
  • System Parameters
    • State
    • Initialization
    • Price API
    • Adjustment index
    • Touching
    • Misc
  • Burrow State & Liquidation
    • State
    • Touching
    • Is a burrow collateralized (i.e. not overburrowed)?
    • Is a burrow a candidate for liquidation?
    • How much collateral should we liquidate?
    • Was the liquidation warranted?
    • What if the liquidation was warranted?
    • Misc
  • Liquidation Auctions
    • State
    • Initiating a liquidation
    • Cancelling a liquidation slice
    • Lot auction
    • Touching a liquidation_slice
    • Claiming a winning bid
    • Maintenance
  • CFMM subsystem
    • State
    • Initialization
    • General notes on the interfaces
    • Adding liquidity
    • Removing liquidity
    • Buying Kit
    • Selling Kit
    • Misc
• Deploying Checker
• Glossary
  • Kit
  • Burrow
  • Circulating kits
  • Outstanding kits
  • Liquidation lot
  • Liquidation slice
  • Liquidation queue
  • Imbalance
  • Imbalance adjustment

Indices and tables

• Index