HoodLiquid
LIVE ON REAL PYTH PRICES · (PAPER MODE) · CUSTODY AFTER AUDIT

The Hyperliquid of
Robinhood Chain.

Perps that can't go insolvent. HoodLiquid brings the percolator risk engine to Robinhood Chain — a permissionless perpetual-futures DEX that is solvent by construction. Capital is senior, profit is junior — so the exchange is solvent by construction. No ADL queues. No insurance black box. No admin.

Live Markets
8
Open Interest
Residual · backs profit
Haircut · H
The Engine

Not an order book. Not an AMM.

Trades fill against an oracle-priced vault — no matching engine, no liquidity mining games. The real innovation is underneath: a risk engine where solvency is math, not a promise. Three invariants do the work, and anyone can verify them on-chain.

VAULT

Oracle-priced liquidity vault

Every trade fills against a shared USDC vault at the oracle price ± spread. Liquidity providers are the house — they earn the spread and fees. No order book, no fragmented liquidity, instant fills on any size the vault can back.

RESIDUAL · H

Backed exits — the haircut

Capital is a senior claim; profit is junior. The exchange only pays profit out of its real residual buffer. If open profit ever exceeds it, every winner is paid the same fraction H — instantly and equally. You can never withdraw more value than actually exists.

Residual = V − (C + I)  ·  H = min(Residual, ΣPnL⁺) ÷ ΣPnL⁺
A / K / F

Queue-free deleveraging

Most exchanges run an ADL queue that force-closes one unlucky winner to cover a blow-up. HoodLiquid doesn't. Three lazy per-side indices socialize a liquidation across the whole side, pro-rata, in O(1). No victim is chosen — the loss is shared in microscopic, fair slices.

CRANK

Bounded cranks

Repricing is capped per slot: a single oracle wick or funding spike physically cannot move open interest through more loss than the exchange budgeted for. The cause of most "got liquidated on a wick" stories is closed off at the protocol level.

PYTH

Real oracle prices, live now

Every market marks to a live Pyth feed today — in paper mode. The marks, funding, liquidations and the haircut you see are the genuine engine running on genuine prices. Only custody is simulated.

KEEPERS

Permissionless keepers

Anyone can run a keeper to mark prices and liquidate underwater positions, paid by liquidation fees. There is no privileged operator who can halt the book or front-run you. The exchange runs itself.

KANI · 471

Formally verified math

The percolator risk engine HoodLiquid follows ships 471 model-checking proofs covering the H + A/K/F math — haircut conservation, ADL fairness, funding zero-sum. The solvency guarantee isn't marketing; it's proven.

Origin

Anatoly's math. Shipped as a product.

Anatoly Yakovenko (Solana's co-founder) authored the H + A/K/F risk-engine math and an open-source reference. HoodLiquid is a faithful port of that engine wrapped into something you can actually trade — a live exchange, not a reference implementation.

github.com/ dcccrypto/percolatorHOODLIQUID ported & wrapped
3
structural invariants
14
live perp markets
471
proofs behind the math
What HoodLiquid adds on top of the reference engine: a live paper exchange on real Pyth prices (trade it now), a sleek trading terminal, a live solvency dashboard, and a real on-chain Anchor program — USDC custody in a program vault, on-chain Pyth, and the full engine enforced in-program — built and ready for on-chain deployment. Mainnet custody opens only after an external audit. We'd rather ship late than ship a protocol that loses your funds.

The exchange is open.

Trade every mechanic — mark-to-market, funding, liquidations, the haircut — live on real oracle prices, with paper USDC. No signup, no signing, no risk. See the solvency engine work in real time.

THE ROBINHOOD ECOSYSTEM · LIVE

Every coin on Robinhood Chain.
Leveraged.

HoodLiquid auto-discovers the Robinhood ecosystem straight from on-chain liquidity and lists each coin as a live perp — long or short, on an engine that can't go insolvent. Leverage scales to real depth. No listing committee. No market makers. No permission.

loading the ecosystem…
List any Robinhood-Chain token. Paste a token address — if it has real liquidity, it's a market in seconds.
FAQ

What you're probably wondering.

Straight answers. If something's missing, ask on X.

Is this live with real money?
No — and that's deliberate. Pre-audit, public trading puts user funds at risk, and we won't do that. Today HoodLiquid runs in paper mode on real Pyth oracle prices: the engine, marks, funding, liquidations and the haircut are all genuinely live — only positions and USDC are simulated, so nothing is at risk. Real custody opens the moment the audit clears, not a day before.
When does mainnet open?
After the external audit clears — we're targeting Q4 2026, gated on that sign-off. The on-chain program is already built: real USDC custody in a program vault, on-chain Pyth, and the full percolator engine enforced in-program — with on-chain deployment next. Public trading opens the instant the audit passes. We won't ship a protocol that loses your funds to hit a date.
What is "percolator," and what's the haircut?
Percolator is a risk-engine design for permissionless perps that makes the exchange structurally solvent. Its core trick is the haircut H: profit is only ever paid from the exchange's real residual buffer, so total payouts can never exceed what exists. Your deposited capital is always senior and untouched.
How is liquidation fair without an ADL queue?
When a position blows past its margin, the loss is absorbed by the A/K/F side indices — spread proportionally across everyone on that side in tiny slices, in O(1). No single "victim" gets their winning trade force-closed the way ADL queues do on other venues.
Can the exchange go insolvent?
By construction, no. The core invariant is that withdrawals can never exceed the vault balance. In a worst case, open profits are haircut (paid at a fraction) — but capital is never lost to insolvency, and the book never freezes.
How is this different from Hyperliquid or Aster?
Those are excellent order-book / vAMM venues with traditional ADL and insurance funds. HoodLiquid's difference is the solvency model: oracle-priced vault, a haircut instead of socialized bad debt, queue-free deleveraging, and bounded cranks — all formally verified. Different risk engine, not just a different UI.
Why can I trade any token?
Markets are permissionless and oracle-priced. Any token with a price feed can have a perp market — no order book or dedicated market makers required, because the vault is always the counterparty.
What is $HOOD?
The community and fee token, launched on Robinhood Chain. It's separate from trading collateral (USDC). Protocol fees and incentives route to $HOOD. The token being live does not mean real-money trading is live — that's gated on the audit.
Are the prices real?
Yes. Every market pulls a live Pyth oracle feed right now. What's simulated is custody and settlement — not the prices or the engine math.
Is leverage risky?
Extremely. Perpetual futures can liquidate your entire margin to zero in seconds. Understand maintenance margin, size small, and never trade money you can't afford to lose. This is high-risk by nature, even before mainnet.
Paper-traded. HoodLiquid runs on real Pyth oracle prices and a faithful port of the percolator solvency engine — the markets, marks, funding, liquidations and haircut are all live. Trading itself is simulated, with no custody and no real funds at risk. $HOOD is a real token; on-chain custody & settlement are a later, audited phase. Perpetual futures with leverage are extremely high-risk and can be liquidated to zero. Not financial advice.