Maintenance Margin (CVA) Calculations
Provided by Rasa Capital
CVA and maxLeverage Formulas:
maxLeverage is (expect for 3 coins) is in the 20-60 range
Example:
Consider a scenario where User A desires to engage in a trade with a leverage of buying a 10,000 USDT 60x BTC Long (the maximum leverage for BTC is set at 60x).
User A navigates to the SYMMIO
frontend.Upon arrival, User A expresses an intent:
The frontend then responds with the Solvers required Maintenance Margin of:

The CVA (Credit Value Adjustment) for this trade is calculated as:
Should the unrealized profit and loss (uPnL) on his BTC position reach -$4000, User A will automatically be moved into the Liquidation Process by Liquidators. This example illustrates the interplay of leverage, CVA, and the liquidation threshold within the Rasa - Demo Solver environment through a SYMMIO frontend.
Integration with API endpoints
Solver endpoints provide real-time parameters for collateral requirements via a REST API. See Rasa's endpoints here.
Endpoint Structure
Example:
The endpoint returns the following response:
2. Deriving cn (CVA/Notional Ratio)
cn (CVA/Notional Ratio)cn represents the total Maintenance Margin (CVA + LF) as a percentage of the notional value. The cn is ultimately defined by the solver. This should reflect the risk of the asset.
Formula
Example Calculation
Using the API response for BTCUSDT:
cva = 40%,lf = 20%,leverage = 60xDeposit = 100 USDT (for illustration).
3. Calculating Maintenance Margin
The Maintenance Margin can derived from cn and the notional value.
Formula
Example
Notional = Deposit × Leverage = 100USDT × 60 = 6,000 USDT
cn= 1% (from above).
4. Calculating Max Leverage
The maximum allowed leverage (maxLeverage) is determined by the CVA/Deposit cap (cd ≤ 60%) and cn.
Formula
Example
For BTCUSDT with cn = 1%:
Example Scenarios:
Asset Type
cn
Max Leverage
BTC/ETH
1%
( 0.6 / 0.01 = 60x )
Blue-Chip Alts
1.5%
( 0.6 / 0.015 = 40x )
Exotic Coins
4%
( 0.6 / 0.04 = 15x )
The contract-symbols endpoint should return this maxLeverage as a parameter in the endpoint.
Example for Rasa BTCUSDT:
Last updated
