percolatorlabs

percolatorlabs / Percolator

Public

On-chain risk infrastructure that replaces auto-deleveraging with bounded, self-healing coverage ratios.

bags.fmlaunchC8iBPXcLZ9MgSAo2SD7izyzPiYRcsrGuD2NcnmWjBAGS
18
3
100% credibility
Found Mar 24, 2026 at 18 stars -- GitGems finds repos before they trend. Get early access to the next one.
Sign Up Free
AI Analysis
Rust
AI Summary

Percolator is a formally verified risk engine for perpetual futures trading that ensures proportional and predictable profit withdrawals without auto-deleveraging or forced closures.

How It Works

1
🔍 Discover Percolator

You hear about a fair trading system for perpetual futures that protects everyone equally during tough market times.

2
🌐 Check it out

Visit the project page or a trading app powered by Percolator to learn how it keeps things predictable.

3
💳 Connect your wallet

Link your crypto wallet easily to join the platform and get ready to trade.

4
💰 Deposit safely

Put in your funds knowing your main deposit is always protected and withdrawable.

5
📈 Open trades

Buy or sell positions on assets, watching profits build up fairly across all users.

6
⏳ Mature your gains

Wait a short time as your profits become real money, scaled by how much backing exists.

✅ Withdraw anytime

Pull out your earnings confidently, with no surprises, queues, or lost positions.

Sign up to see the full architecture

5 more

Sign Up Free

Star Growth

See how this repo grew from 18 to 18 stars Sign Up Free
Repurpose This Repo

Repurpose is a Pro feature

Generate ready-to-use prompts for X threads, LinkedIn posts, blog posts, YouTube scripts, and more -- with full repo context baked in.

Unlock Repurpose
AI-Generated Review

What is Percolator?

Percolator is a Rust library for Solana perpetual futures exchanges, delivering on-chain risk infrastructure that ditches auto-deleveraging for bounded, self-healing coverage ratios. It ensures profitable traders withdraw only backed profits via a global ratio H, with lazy side indices distributing losses fairly across accounts—no rankings or force-closes. Deploy it via the contract at C8iBPXcLZ9MgSAo2SD7izyzPiYRcsrGuD2NcnmWjBAGS for predictable risk on github percolator solana.

Why is it gaining traction?

Unlike ADL's opaque queues and destructive closures, Percolator offers O(1) settlements, time-gated withdrawals, and deterministic market recovery without admins. Its 158 Kani formal proofs guarantee invariants like vault conservation and protected principal, standing out for on chain risk management. Devs dig the no_std compatibility and Solana team backing, making github percolator a fresh take on bounded auto-deleveraging alternatives.

Who should use this?

Solana DEX builders handling perp trading and on chain risk btc positions. Risk engineers at protocols needing historical on chain metrics without ADL pain. Teams in Bags hackathon-style launches wanting verified, self-healing engines over manual restarts.

Verdict

Promising early prototype for on chain analysis github—grab it if you're prototyping perps, but with 18 stars and 1.0% credibility score, wait for more audits and integrations before mainnet. Solid docs and Kani proofs offset the immaturity; fork and verify locally.

(198 words)

Sign up to read the full AI review Sign Up Free

Similar repos coming soon.