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.
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