Hylo Equations
Technical breakdown of the key equations powering Hylo’s protocol
True LST value
For calculation purposes, both xSOL and hyUSD are priced using the pure SOL price. However, since they are backed by Liquid Staking Tokens (LSTs), we need to accurately capture the price of these LSTs at any time. Using the market price of LSTs could pose significant problems, especially during severe market volatility, when the peg of these LSTs can be lost due to lack of liquidity and also they have a greater susceptibility to manipulation compared to SOL prices. Therefore, we use the Sanctum SOL value calculator program to determine the true LST price based on the amount of SOL held in each LST stake pool.
The true price of an LST in SOL can be defined by the following equation:
SOL/USD Oracle
To calculate the value of hyUSD in SOL, ensuring it remains pegged 1:1 with the USD, we need to have the SOL price. For this, we are using the Pyth EMA SOL/USD price oracle.
Net Asset Value (NAV) calculation for hyUSD and xSOL
The Net Asset Value (NAV) defines how much both tokens are worth in SOL. Since the SOL price isn’t stable, the NAV of hyUSD needs to be constantly adjusted according to the SOL price to maintain its 1:1 peg to the USD.
The NAV of hyUSD in SOL can be calculated using the following equation:
Based on the hyUSD NAV in SOL, we can then calculate the NAV of xSOL in SOL using this equation:
Collateral Ratio calculation
The Collateral Ratio is a metric indicating the health level of hyUSD. It is extremely important to track it accurately to activate stability modes when needed. The Collateral Ratio of hyUSD can be calculated using the following equation:
Stability pool APY calculation
The stability pool APY is variable and greatly depends on the percentage of SOL value being staked, the APY of the reserve, and the defined percentage of Revenue Distribution.
The percentage of staked SOL can be calculated as follows:
The Average Reserve Yield can be calculated as follows:
The percentage of Revenue Distribution is dynamically adapted to stay attractive. If the percentage of staked SOL is low, this percentage may be reduced to maximize treasury profit. During periods when it is high, it may be increased to remain competitive compared to other stablecoins yields.
With all of this then we can calculate the stability pool APY as follows:
xSOL Effective Leverage
The xSOL effective leverage will change constantly. To calculate it, we first need to determine the virtual xSOL market cap. This can be calculated as follows:
Next, we calculate the xSOL effective leverage with this equation:
The effective leverage will tend to exponentially increase as the collateral ratio gets closer to 100%, and will approach 1 (indicating it follows the SOL price perfectly) as the collateral ratio increases.