Trading
Users predict the result of an event by trading shares of these market results. A complete set of shares is a set of shares consisting of one share for each possible valid result of an event. The complete set is created by the matching engine on MetaOracle's contract based on the need to complete the transaction.
Static Market
The events of multiple static markets constitute a sample space of Mutually Exclusive Completely Exhaustive Events, i.e.
Definition 1: Given the set of mutually exclusive events consists of Mutually Exclusive Collectively Exhaustive Events, which form the sample space , i.e.,, , . For any and , , then and
Therefore, the set of events in MetaOracle's multiple static markets necessarily satisfies Definition 1.
Open Interest Statistics
For the created static market, the user will predict and speculate on the results of the events and form trades, which will cause the static market positions to continuously change and increase. MetaOracle's contracts will automatically calculate Open Interest.
Definition 2: Given the set of events satisfies Definition 1, then the open interest of a single static market is and the total open interest of multiple static markets is , i.e:
And the open interest statistics are
Predicted Probability (Static Market)
The continuous change and increase of open interest in multiple static markets will consequently generate a predicted probability of the event.
Definition 3: Given the set of events in a static market satisfies Definition 1, and given , the predicted probability of any static market is , and satisfies:
Then the predicted reward multiplier for any static market is , for:
Scenario 1: Assume that the set of events of multiple static markets created inside the platform satisfies Definition 1, along with the predicted probability ๏ผ๏ผand the predicted reward multiplier ๏ผ. Assume that the set of events of static markets exist outside the platform satisfies Definition 1, and the predicted probability of this set of events is denoted as ๏ผ๏ผand the predicted reward multiplier ๏ผ. If any ๏ผ๏ผ๏ผoccurs in a normally tradable situation, then an arbitrage opportunity exists. Arbitrageurs in the market will arbitrage between multiple static markets in which and are located. In Scenario 1, the arbitrage behavior will eventually make any ๏ผ๏ผ.
Dynamic Market
Each dynamic market in MetaOracle is an arbitrary event, which can be either a Mutually Exclusive Event ๏ผ๏ผor a Non-Mutually Exclusive Event , . MetaOracle trading contracts maintain an order book for each dynamic market created on the platform and construct these orders in the order book on the principle of synthetic assets, which are market shares priced at predicted probabilities or predicted bonus multiples. These orders are market shares that are priced at predicted probabilities or predicted reward multiples. Anyone is free to trade orders, create a new order or fill an existing order at any time. Orders are matched by the automatic matching engine present in MetaOracle's Smart Contracts. If there is already a matching order in the order book, requests for buy and sell shares are immediately matched. If there is no match or the request is only partially fulfilled, the remaining part will be placed in the order book as a new order.
Orders will never be filled at a worse price than the user set limit, but may be filled at a better price. Unfinished and partially completed orders can be deleted from the order book by the order creator at any time. A fee is paid for each order placement transaction, which is discussed later in this section.
Most market shares are traded after market creation and before market settlement. All MetaOracle assets - including market shares, tokens, shares in dispute margins, and even ownership of the market itself - can be transferred at any time.
Predicted probability (dynamic market)
The dynamic market relies on the order book to price the predict probability and the predict incentive multiplier .
Definition 4: Given the set of events in a dynamic market in the platform, the predicted probability of any dynamic market is ๏ผ; the predicted reward multiplier of any dynamic market is , . and depend entirely on the pricing of the order book.
Scenario 2: Given the set of events in the dynamic market inside the platform, the predicted probability , of any dynamic market and the predicted reward multiplier , . Assume that there is a set of events for the dynamic market outside the platform, the predicted probability is , , and the predicted reward multiplier is , . If any ๏ผ๏ผ occurs in a normally tradable situation, then there is an arbitrage opportunity. Arbitrageurs in the market will arbitrage between multiple dynamic markets in which and are located. In Scenario 2, the arbitrage action will eventually make any ๏ผ๏ผ.
Synthetic & Margin
Users use crypto assets as collateral to back and lay synthetics (i.e. market shares priced at predicted probabilities or predicted reward multiples).
Definition 5: Given the collateral market price-, collateral quantity-, collateral discount rate-, profit/loss-, order opening initial margin-, and order new opening lock-in margin-, the margin- and collateral ratio- for issuing market shares by pledging encrypted assets to the user are:
Please note that when (the minimum collateral ratio required by the platform), the liquidation mechanism will be triggered.
Order Book & AMM
The order book operates on a aggregated list of user buy and sell orders for a specific market share or a specific underlying, an approach that enables real-time spot purchases, with all orders aggregated in the order book, the holy grail of modern crypto asset trading. It also provides an order book as the trading interface. It is important to note that all settlements are calculated on Delta-based.
Liquidation
The liquidation system relies on an automated algorithm that scans and publishes all currently on MetaOracle in real time, and all liquidators see this list of at the same time, ranked by "liquidation distance", indicating the probability of liquidation or liquidation occurring within a predetermined short period of time.
When the user's , the system announces the open interest and offers a certain discount to the liquidator through the use of trading robots. The rules are.
First come first served for the highest priced inquiry.
If they have the same price, first come, first served.
The remaining assets will go to the liquidated user.
Last updated