Open Source · Solana

Built in public.

Every line on-chain.

Percolator is an open-source protocol. Browse the repos, fork the code, or contribute — everything that powers open, anyone-can-launch perps is here.

github.com/dcccrypto

Contributors

Repos

Open Issues

Total Commits

50k+

Lines of Code

Active

Build Status

Devnet V2 deployment

The programs this playground runs on (Solana devnet). Every V2 market is an account owned by the wrapper program; the live list is on Markets, and DEVNET-V2.md has the addresses for testing.

Wrapper (Percolator program)ETDLAdiAyWnEUngspYczTXUceT6X8f92eZQvr8nmSkWB

MatcherEDKKgRaVHna6FCxiY1kgMzegD9rpaN1nwJNSzAzeBUBX

StakeVmpVUArRnVkrjaPXQ2qaqCQa3ZrZFgsz7rjeALitF5w

NFTEMYT15LZWaP7Mmmm245kQPbrTyVjG16yZiU9kfNTF3GZ

TypeScript48

percolator-launch

Permissionless perpetual futures launcher — deploy a perp market for any Solana token in one click

✓ Apache-2.0● Active✓ CI passing

39·73·Updated 2d ago

→

Rust12

percolator-stake

Insurance LP staking program for Percolator — PDA admin architecture, formal Kani verification

✓ Apache-2.0● Active✓ CI passing

13·6·Updated 10d ago

→

Rust5

percolator-nft

Position NFT wrapper for Percolator — SPL Token-2022 NFTs for perpetual futures positions

No licence● Active✓ CI passing

11·1·Updated 19d ago

→

Rust4

percolator-prog

Percolator programs

✓ Apache-2.0● Active✗ CI failing

11·12·Updated 19d ago

→

TypeScript4

percolator-sdk

TypeScript SDK for interacting with Percolator on-chain programs

✓ Apache-2.0● Active✓ CI passing

12·10·Updated 10d ago

→

TypeScript2

percolator-mobile

Percolator — Solana Seeker native trading app (React Native + Expo)

✓ Apache-2.0● Recent✗ CI failing

5·3·Updated 10d ago

→

Rust1

percolator

No-std Rust risk engine — H + A/K mechanics, formally verified with Kani

✓ Apache-2.0● Active✓ CI passing

5·5·Updated 6d ago

→

Risk Engine — H + A/K

516 formally verified proofs across the codebase (Kani). H gates profit extraction when the vault is stressed. A/K socialises liquidation deficits pro-rata with O(1) settlement. Together: no user can withdraw more than exists, no user is singled out for forced closure, markets always recover.

H — Fair Exits (Haircut Ratio)

Residual = max(0, V − C_tot − I)

h = min(Residual, PNL_matured_pos_tot)
    / PNL_matured_pos_tot

effective_pnl_i = ⌊max(PNL_i, 0) × h⌋

A/K — Fair Overhang Clearing

effective_pos(i) = ⌊basis_i × A / a_basis_i⌋

pnl_delta(i) = ⌊|basis_i|
  × (K − k_snap_i)
  / (a_basis_i × POS_SCALE)⌋

Commit Activity

All commits across public repos · last 52 weeks

Dec

Jan

Feb

Mar

Apr

May

Jun

Jul

Aug

Sep

Oct

Mon

Wed

Fri

Less

How to contribute

Join 16 contributors building open perps

Fork & clone

Fork dcccrypto/percolator-launch (or whichever repo). Clone locally. For Rust repos: rustup override set stable.

percolator-launch →

Run it locally

TypeScript: pnpm install && pnpm dev → localhost:3000. Rust/Anchor: anchor build && anchor test.

Pick an issue

Browse the open issues or ask in #dev on Discord. Comment on the issue before starting work.

open issues →

Open a PR

PR title format: [scope]: brief description. Link the issue in PR body. CI runs automatically. Review within 48h.

Discord server GitHub Issues