Checker - A Robocoin System for Tezos

Contents:

• Introduction
  • What is Checker?
  • System overview of a Checker deployment
• 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
  • Working with burrows
    • Create a burrow
    • Deposit collateral in a burrow
    • Withdraw collateral from a burrow
    • Mint kit
    • Burn kit
    • Deactivate a burrow
    • Activate an inactive burrow
    • Perform burrow maintenance
    • Set the delegate for a burrow
  • CFMM Exchange
    • Buy kit using ctez
    • Sell kit for ctez
    • Provide liquidity
    • Withdraw liquidity
  • Liquidation Auctions
    • Mark a burrow for liquidation
    • Process completed liquidation slices
    • Cancel pending liquidation slices
    • Bid in the current liquidation auction
    • Claim the collateral from a winning auction bid
    • Gather won collateral for a subsequent claim
  • Maintenance entrypoints
    • Perform Checker internal maintenance
    • Apply an Oracle update
  • FA1.2 Interface
    • Query balance
    • Update operators
  • FA2 Views
    • Standard FA2 views
    • Estimate yield when buying kit with ctez
    • Estimate yield when selling kit for ctez
    • Estimate kit requirements when adding liquidity
    • Estimate yield when adding liquidity
    • Estimate ctez yield when removing liquidity
    • Estimate kit yield when removing liquidity
    • Find maximum kit that can be minted
    • Check whether a burrow is overburrowed
    • Check whether a burrow can be liquidated
    • Minimum bid for the current liquidation auction (if exists)
  • Deployment
    • Deploy a lazy function
    • Deploy metadata
    • Seal the contract and make it ready for use
• 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