Mathematical Representation
This section outlines the mathematical representation of the Oracle Integrity Staking (OIS) protocol.
OP-PIP-103
Per OP-PIP-103, the reward rate is currently set to 0. The staking and slashing mechanisms remain active.
As explained in the implementation section, every publisher is assigned a staking pool where they can self-stake and to which other stakers can delegate.
Pool Cap
The pool cap is calculated as follows:
Where:
- is a constant parameter representing the target stake per symbol.
- is the set of symbols published by the publisher .
- be the number of publishers for symbol .
- is a constant parameter to control cap contribution from symbols with a low number of publishers.
This formula ensures that symbols with a lower number of publishers contribute more to the overall cap, while symbols with a higher number of publishers contribute less. This is because the contribution of each symbol is inversely proportional to the number of publishers (or Z, whichever is larger).
Reward
The reward distributed to each pool is calculated as follows:
Where:
- is the cap to the rate of rewards for any pool (currently )
- be the stake assigned to the publisher p pool, made of self-staked amount and delegated stake , or .
- be the stake cap for the pool assigned to publisher p.
Since , no rewards are currently distributed to any pool.
The total amount of rewards distributed to all pools is bound by the same cap relative to the amount of rewards available to the OIS protocol.
Where:
- is the total number of symbols in the system.
- is the total number of publishers in the system.
Whereas the reward component relative to the amount self-staked by the publisher is defined as:
Where:
- is the reward component relative to the amount delegated to the publisher .
Slashing
Slashing is an important aspect of the OIS protocol to ensure the integrity of the system.
The slashed amount for each pool is calculated as follows:
Where:
- is the slashed amount for the publisher pool.
- is the slashing rate.
- is the stake assigned to the publisher pool, made of self-staked amount and delegated stake , or .
Here is uniformly allocated to both the self-staking publisher and delegators in the pool, pro-rata to their respective stake.
Subsequently, the net position of a publisher and delegators in a pool can be expressed as below:
Where:
- is the net position of the publisher after slashing.
- is the net position of the delegators after slashing.
- is the slashing rate.
- is the amount self-staked by the publisher .
- is the amount delegated to the publisher .