The Plug

What is Percolator?

Percolator is a formally verified accounting + risk engine created by Toly (founder of Solana) for perpetual futures and leveraged strategies. The one rule: nobody can withdraw more value than exists on the balance sheet. That's the whole prescription.

Percolator Active on Devnet
Solvency checks running continuously. Safety gates armed.
Built by Toly
Designed at the protocol layer by Solana's creator. Next-gen DeFi infrastructure from the source.

Solvency-first

Withdrawal safety gates, margin checks, and socialization/ADL constraints enforced at the engine layer. Nobody drains the cup.

Formal methods

Key invariants are designed to be provable. No teleporting value across accounts under any sequence of actions.

Modular execution

Execution (AMM/RFQ/CLOB) can evolve without rewriting the risk engine. The wrapper handles token movement.

How PERCVAULT uses Percolator

PERCVAULT integrates directly with Percolator's on-chain risk engine for collateral tracking, PnL accounting, and solvency constraints on the leveraged SOL vault.

The architecture supports additional leverage tiers as Percolator matures. Simple UX — pour up, hold, cash out — while keeping every risk constraint explicit, measurable, and on-chain verifiable.

Roadmap to Mainnet

Percolator is currently deployed on Solana devnet where it powers live testing of PERCVAULT mechanics. The path forward:

  • Devnet integration complete — vault + Percolator CPI working end-to-end
  • Smart contract audit and formal verification
  • Percolator mainnet deployment by Solana core team
  • PERCVAULT mainnet launch with real SOL deposits
Why devnet first?
Building on experimental infrastructure from Solana's founder means we get next-generation risk primitives before they're widely available. Devnet lets us battle-test every edge case. When Percolator ships to mainnet, PERCVAULT goes live.
Real talk
Leverage amplifies everything. A strong risk engine reduces certain failure modes, but it doesn't remove market risk. At 2x, a 50% SOL drop could wipe your position. Don't pour up more than you can afford to lose.