Risk Infrastructure
What is Percolator?
Percolator is a formally verified accounting + risk engine designed for perpetual futures and leveraged strategies on Solana. Its north star is simple: nobody can withdraw more value than exists on the balance sheet.
Solvency-first
Withdrawal safety gates, margin checks, and socialization/ADL constraints are enforced at the engine layer.
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 2xSOL uses Percolator
2xSOL uses Percolator-style accounting and risk checks to track collateral, PnL, and safety constraints for the 2x leveraged SOL vault.
The architecture is designed to support additional leverage tiers (3x, 5x, 10x) in the future. In plain terms: we want a simple UX (deposit, mint/redeem) while keeping risk constraints explicit, measurable, and on-chain verifiable.
Important
Leveraged products can still lose value rapidly. A strong risk engine reduces certain failure modes, but it does not remove market risk. At 2x, a 50% SOL drop could wipe out your position.