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: https://t.co/F86tdZhNvY
Github: https://t.co/9PFV2BvYJ6
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: https://t.co/F86tdZhNvY
Github: https://t.co/9PFV2BvYJ6
@solana Building OpenPerps on Solana: permissionless perps for any token, on @toly's Percolator engine. Live on devnet.
Solana's the only chain where an on-chain perp oracle cranks in one block. That's why we build here.
@Baarrdd@toly This is CFO not CTO claim: We can mainnet now, but we want to wait for godfather @toly to finalize the percolator, then we will "continue stealing" and improving OPP
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: https://t.co/F86tdZhNvY
Github: https://t.co/9PFV2BvYJ6
@Baarrdd@toly This is CFO not CTO claim: We can mainnet now, but we want to wait for godfather @toly to finalize the percolator, then we will "continue stealing" and improving OPP