What is OpenPerps?
A permissionless perpetual futures DEX on
@solana, built on top of Percolator,
@toly's open-source risk engine. Percolator does the risk math, formally verified and untouched. OpenPerps is the venue wrapped around it.
One wallet โ one USDC balance โ many isolated markets.
Permissionless: anyone can list a market, anyone can liquidate a bad account. No central team, no approval, no listing form.
Marks need fresh prices. Today a single keeper bot posts them every minute from Pyth. On mainnet that moves to an on-chain oracle, so no off-chain bot has to be trusted.
20 instructions, 343 Kani proofs, 53 wrapper tests. no_std, zero-copy.
Live devnet:
openperps.fun
Github:
github.com/itsbenjiidunn/opeโฆ