GAMMA
LIVE ON REAL PYTH PRICES · OPEN BETA · CUSTODY AFTER AUDIT

Stocks. Memecoins.
Leverage.

Long and short tokenized stocks and Robinhood-native coins — up to 25× — on one pixel-perfect perp DEX. GAMMA brings the percolator risk engine to Robinhood Chain — a perpetual-futures DEX that is solvent by construction. Long TSLA at 10× · short SPY · ape CASHCAT. Wins are only ever paid out of money that actually exists. No ADL queues. No insurance black box. No admin.

Live Markets
10
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

Your deposit stands first in line; profit waits its turn. 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. GAMMA 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 oracle today — Pyth equity feeds for the 10 US stocks (SPY, GLD, AAPL, NVDA, TSLA, COIN, MSTR, META, GOOGL, HOOD), pinned DEX pairs for Robinhood-native coins — in the open beta. 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 GAMMA 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. GAMMA is a faithful port of that engine wrapped into something you can actually trade — a live exchange, not a reference implementation.

github.com/ dcccrypto/percolatorGAMMA ported & wrapped
3
structural invariants
10
live perp markets
471
proofs behind the math
What GAMMA adds on top of the reference engine: a live beta exchange on real Pyth prices (trade it now), a pixel-perfect trading terminal, a live solvency dashboard, and a real on-chain program — USDC custody in a program vault, on-chain oracle, 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.

PRESS START. THE EXCHANGE IS OPEN.

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

▲ ROBINHOOD NATIVES · LIVE ▲

The native board.
Leveraged.

Alongside the stock board, GAMMA carries a curated pair of Robinhood-native coins — CASHCAT and PONS — each marked to its deepest on-chain pool, long or short, on an engine that can't go insolvent. Leverage scales to real depth.

loading the native board…
▲ FAQ ▲

What you're probably wondering.

Straight answers.

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 stays whole and is paid out first.
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.
What can I trade?
Tokenized US equities and Robinhood-native coins. The Pyth board carries 10 US stocks — SPY, GLD, AAPL, NVDA, TSLA, COIN, MSTR, META, GOOGL and HOOD — plus a curated native board: CASHCAT and PONS, marked to their deepest on-chain pools, up to 25× depending on depth. Long TSLA at 10×, short SPY, ape CASHCAT — one terminal.
Why only two native coins?
Because a perp market is only as honest as its price. CASHCAT and PONS carry deep, stable on-chain pools that can't be cheaply pushed around; listing every thin pool would invite oracle games. The board grows as pools earn their depth.
What is $GAMMA?
The community and fee token, launched on Robinhood Chain. It's separate from trading collateral (USDC). Protocol fees and incentives route to $GAMMA. The token being live does not mean real-money trading is live — that's gated on the audit. Note: $GAMMA the protocol token is not the HOOD stock market, which stays listed as the "HOOD" ticker.
Are the prices real?
Yes. Every market pulls a live oracle feed right now — Pyth for the equities, pinned deep-liquidity DEX pairs for Robinhood natives. 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.
Open beta. GAMMA 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. $GAMMA 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.