Role
The ATA is a HyperCore trading account controlled by the borrower’s Credit Account. It can trade spot, perps, and deposit into vaults while its total equity is recognized as collateral in the Credit Account. Every ATA action passes a pre-check to ensure the globalHF stays at or above 1; risky transactions are blocked before they hit HyperCore.
CoreWriter
Mobius uses a single, health-checked lane from HyperEVM to HyperCore. ATA actions originate in the Credit Account, pass through the ATA access controller to the borrower’s CoreSubaccount, and finally reach CoreWriter. Any failure on HyperCore does not mutate the Credit Account. Because CoreWriter sends are non-atomic, dropped transactions are retried by Rebalancers using idempotent planIds/nonces.Liquidation Threshold for the ATA
ATA equity must be converted into a single liquidation threshold () that reflects leverage and volatility inside HyperCore positions.1. Adjusted LT for Leverage
We assume a 1x perp position carries similar risk to the spot asset. If spot BTC has an , a 1x Long BTC perp also has . Note that is different from (loan-to-value). The latter indicates how much debt a user can initiate, the former dictates how much the debt has to grow against the collateral before being liquidated. Let asset have base liquidation threshold and Maintenance Margin . For an x leveraged perp position: Example: A 3x BTC Long (where base ) has an effective . In other words, if total equity of the account is 1000 USDC, the user should be able to borrow up to 400 USDC worth of debt against the account.2. Portfolio aggregation
For multiple positions, compute the weighted and cross leverage : is position size and is total ATA equity.3. Final ATA Liquidation Threshold
Example: for an ATA with 1000 USDC equity holds a 1000 USD BTC long () and a 2000 USD ETH long () Therefore , allowing roughly 200 USDC of borrow capacity against the ATA.E-Mode (Efficiency Mode)
E-Mode boosts for tightly constrained strategies that reduce market risk (e.g., correlated hedges). Opting in restricts the ATA to a specific strategy category; transactions that would break the category are blocked.Example: Leveraged carry trade
- Holdings: 10 HYPE spot
- Position: 10 HYPE short perp
- Price: $30 (spot + short notional each $300)
- Base
