Checker A Robocoin Mechanism for Tezos

 Checker How to Build Robocoins

Definition 

A robocoin (the name is lame on purpose) is a cryptographic token that controls its supply algorithmically: by creating incentives for creation and destruction.

Checker is a generic piece of software for creating robocoins. In this presentation, we call one of these robocoins "kit."

Design goals


some design goals

Minimize governance

Minimize oracle dependency 

Minimize the impact of liquidation

sound economic principles 

Not a design goal

Achieve a perfect peg between the kit and some external assets.

Principle

Place tez collateral in a "burrow."

Mint "Kit"

Set a target value for kit

set adrift

If the kit above the target value, decrease drift

If kit below the target value, increase drift

If the outstanding kit exceeds a limit, liquidate collateral.


Target, quantity, drift, index

The index the price of something in the kit (could be 1 CHF, one cheeseburger, et)

The quantity: a quantity that can fluctuate up or down

The target: the product of the index and the quantity: e.g., "How many kits of a quantity q of cheeseburgers:

If the target is below 1, kits are too expensive. It's above one; kits are also cheap.

 How do we know the index?

Use a median of several oracles

use an on-chain CFMM oracle for kit/tez price.

E.g., oracle provides x=XTZCHF time series, and on-chain CFMM provides x=KITXTZ, which yields KITCHF by multiplication.

What's with the drift?


Drift represents the rate at which the quantity changes: dq/q= drift dt A positive drift means the amount increases over time.

A negative drift means it decreases. 

The drift balances out the demand for holding kit and the supply of kit to maintain the target close to 1.0

Liquidation

If collateral behind the kit is too low, send it to an auction queue.

Auctions can be .canceled 

Collateral bought for kit and kit burned.

Non-linear filter around oracle data




Post a Comment

أحدث أقدم