Solana's First
Leveraged
Prediction
Market.
Toly built Percolator - a formally verified risk engine. 152 projects forked it and built perps exchanges. We forked it and built prediction markets. The first mover in a direction nobody else went.
Bet on whether something will happen. Get paid if you're right.
Prediction markets are like stock markets for real-world events. The price tells you what the crowd thinks the probability is.
Pick a Question
"Will SOL hit $200 by July?" "Will Germany win the World Cup?" Every market is a simple yes-or-no question with a deadline.
Buy YES or NO
If the market says 34%, a YES share costs 34 cents. Think the real probability is higher? Buy YES. Lower? Buy NO at 66 cents. Use leverage to amplify your bet up to 5x.
Get Paid
When the deadline arrives, winning shares pay $1 each. Bought YES at 34c and it resolved YES? You profit 66c per share. At 5x leverage, that same trade returns 1,371%.
From
Percolator
To
Precipitator
Toly Releases Percolator
October 2025. Anatoly Yakovenko, co-founder of Solana, pushes aeyakovenko/percolator to GitHub. 4,796 lines of pure Rust. A formally verified risk engine for perpetual futures. Zero runtime dependencies. Every arithmetic operation proven correct by the Kani model checker. No unsafe code. Apache 2.0.
His vision: the hardest part of building a trading protocol is getting the math right. Percolator solves that once, proves it correct, and lets anyone build on top.
152 Forks. All Build the Same Thing.
November 2025 through March 2026. 152 forks appear on GitHub. PERC SOV launches a deflationary perps token - hits $6M market cap, then crashes to $7K. Percolator Launch offers one-click perp deployment. Multiple governance tokens launch and die.
Every single project builds another perpetual futures exchange. Same engine, same use case, same lane, different branding. The Percolator ecosystem becomes a graveyard of perps forks.
We Saw Something Different
Percolator tracks long and short positions. In perps, "long" means you bet the price goes up. But what if "long" means YES? And "short" means NO? The oracle price becomes probability. The margin system becomes leverage for predictions. The resolution mechanism becomes binary outcome settlement.
The math is identical. The product is completely different. And nobody else was building it.
Precipitator Ships
We forked Percolator, added resolve_binary(), rewrote the margin params for bounded-loss predictions, wrapped it in a 16-instruction Anchor program, built an off-chain matcher, mirrored Polymarket's catalog, added leveraged trading, permissionless market creation, multi-sig and optimistic resolution, and a public leaderboard. Solana's first native prediction market protocol. Every market inherits Toly's mathematical guarantees.
What We Built
The Percolator engine. Every arithmetic path proven correct.
167 original + 24 prediction market + 52 integration. Zero failures.
Trade, resolve, claim, liquidate, multi-sig, optimistic, and more.
Same Bet.
More Return.
On Polymarket, you put up $34 to win $100. On Precipitator, you can put up $6.80 for the same $100 payout. That's leveraged prediction markets.
What You Can Do
Leveraged Trading
1x to 5x leverage on any prediction. The only prediction market that offers this. Higher conviction, higher returns.
Polymarket Mirror
Hundreds of events mirrored from Polymarket onto Solana. Sports, politics, crypto, culture. Real probabilities, real trading.
Create Any Market
Permissionless market creation. Ask any yes/no question, set a deadline, deposit liquidity. 0.1 SOL creation fee.
4 Resolution Methods
Admin manual, Pyth oracle automated, multi-sig panel vote, or optimistic with challenge period. Pick what fits your market.
Public Leaderboard
Top 50 traders ranked by P&L. Per-market rankings. Your rank shown in portfolio. Compete for the top spot.
No KYC Required
Connect a Solana wallet and trade. No identity verification, no country restrictions, no centralized custodian.
Protected by Math,
Not Promises
Kani Verified
The model checker exhaustively proves every arithmetic path. 10+ proof harness files cover safety, liveness, and conservation.
Anti-Manipulation
Fresh profits go through mandatory warmup before withdrawal. Prevents oracle manipulation attacks that plague other protocols.
Conservation Law
Vault balance always covers all deposits plus insurance. Formally proven invariant. Holds even during liquidation cascades.
Fully Open Source
Every line of code is public. Engine, Solana program, matcher, frontend. Apache 2.0. Fork it, audit it, build on it.
Start Trading.
152 forks built perps exchanges. We built the future of prediction markets on Solana. Connect your wallet and see what the first mover advantage looks like.