The proven stablecoin AMM
One pool for every stablecoin. — and the only one whose math is proven.
n stablecoins. 1 pool. 0 sorry.
Up to 30 stablecoins on one sphere. Deeper liquidity, tighter spreads, and better prices — with core math machine-checked in Lean 4 and differential-tested against a 60-digit oracle. Designed to survive a depeg.
Stable liquidity is a mess of pools.
We made it one sphere.
Pairwise pools fragment every stablecoin into shallow pairs. Spherra holds all of them on one n-dimensional sphere — one deep pool instead of dozens of thin ones. StableSwap, grown up into n dimensions and taught to survive a depeg.
Three reasons it's different
ONE SPHERE
Every stablecoin, one pool.
Up to 30 stables on one deep sphere. No fragmentation across pairs — one book, best execution, more depth per dollar of liquidity.
PROVEN
Math you can verify.
The core math is formally verified in Lean 4 — machine-checked, zero sorry. Then differential-tested bit-for-bit against a 60-digit oracle.
DEPEG-PROOF BY DESIGN
Survives the break.
When a stablecoin depegs, the pool quarantines it and reduces dimension — your other stables keep trading. Designed to survive the break, not blow up in it.
Try it in the simulator →Capital efficiency
One deep pool beats a dozen shallow ones.
Concentrated liquidity — Uniswap-V3-style ticks, generalized to n dimensions on the sphere. LPs place capital exactly where stables trade (near peg), so the same dollars go further: deeper book, tighter spreads, better prices for every swap.
Chart is an illustrative schematic of fragmentation vs. concentration — not a live quote.
The flex
We didn't test the math. We proved it.
Almost no AMM in existence can say this. Ours can — and here's where to check.
0 sorry
Formally verified in Lean 4
Exact split + dimension reduction, machine-checked with standard axioms.
Proves the math, not every line of Solidity.
2,699
Differential assertions
Solidity checked bit-for-bit against a 60-digit mpmath oracle.
Disagreement is pure rounding — it set the tolerances.
50+
Foundry tests + fuzzing
Engine anchors, FFI differential, lifecycle, stateful invariants I1–I9.
Behavioral coverage, on top of the proofs.
1 dep
Small, auditable surface
Solidity 0.8.24, Foundry. Core pool: forge-std only; the vault/router layer uses OpenZeppelin. Not audited yet.
Not "audited" — the report will publish here.
The emotional hook
When one breaks, the rest keep orbiting.
1 · Healthy orbit
Every stablecoin sits on the sphere, at peg. Trades slide along the surface; the invariant stays in band.
2 · One depegs
A stablecoin breaks. Permissionless keepers (or a guardian, fast) trip the freeze — the bad asset is quarantined instead of draining the pool.
3 · Dimension reduces
The sphere reduces a dimension. The survivors keep orbiting — your other stables never stopped trading. The irreversible step sits behind a timelock.
Designed to survive the break — not guaranteed against it. Feel it in the simulator →
The sphere opens at mainnet.
No live TVL to show yet — and we won't fake it. Get told the moment the sphere opens.
No token. No airdrop. No spam. · LP capital is at risk — read the risks.
Put your stables in the proven pool.
Deposit at mainnet. Deeper liquidity, verifiable math, and depeg quarantine built in.
LPing is not risk-free — your capital is at risk, and no audit has been done yet. Read the risks →
Straight answers
Is there a token?
No. Spherra is a pure protocol — no token, no airdrop, no points farm. The waitlist just tells you when the sphere opens.
Is it audited?
No — no audit has been done and no firm is engaged yet, and we never say "audited" until the report is public. What you can check today: the core math is formally verified in Lean 4 (zero sorry) and the Solidity is differential-tested against a 60-digit oracle. See the proofs.
What happens if a stablecoin depegs?
The pool quarantines the broken asset (a freeze) and reduces dimension, so your other stables keep trading. Permissionless keepers can trip the freeze, a guardian can act fast, and the irreversible settlement step sits behind a timelock. It's designed to survive a depeg — try it yourself.
How is this different from Curve?
Curve-style pools fragment stables into pairwise pools. Spherra puts up to 30 stablecoins on a single n-dimensional sphere with concentrated-liquidity ticks — one deep pool, not dozens of shallow ones — and adds dimension-reduction depeg handling. It's StableSwap generalized to n dimensions and made depeg-resilient. Respect to the pioneers; this is the next step.
Can I lose money?
Yes. LPing carries risk of loss, smart-contract risk exists, and no audit has been done. We say so plainly — don't deposit more than you can afford to lose. Here's how we think about risk.
How many stablecoins in one pool?
Up to 30 on one sphere.