Skip to main content

percolator-prog

Core perpetual futures engine

percolator-match

Passive LP matcher

percolator-cli

CLI and operational tooling

percolator

Formally verified risk engine
Forked from Anatoly Yakovenko’s original implementations. See History for the full story.

​
Mainnet

New verified program deployments are in progress. Both programs will be deployed with:
  • Upgrade authority retained for security patching
  • Verified builds via Ellipsis-Labs/solana-verifiable-build Docker containers
  • OtterSec verified — programs pass OtterSec’s on-chain verification
  • security.txt embedded in the binary — visible on Solscan under the Security tab
  • Green verification badges on Solana explorers
ProgramAddressVerified Build
PercolatorPRPLUgjCUxCEzNPP6x7XJVK1WR5XX28Zu8MEyTqvGjFCI run
MatcherMTCPqs6RWWUPMHhvZnnB6BLAXS86TDpTaxQW7Pa3aDhCI run
See Source Verification for SHA-256 hashes and instructions to reproduce the build yourself.

​
Devnet

ProgramAddress
Percolator2SSnp35m7FQ7cRLNKGdW5UzjYFF6RBUNq7d3m5mqNByp
Matcher4HcGCsyjAqnFua5ccuXyt8KRRQzKFbGTJkVChpS7Yfzy
Devnet programs are for testing only. Tokens and positions on devnet have no value.

​
Architecture

Each perpetual market is a single slab account owned by the Percolator program. The Matcher handles LP order matching via CPI. The risk engine library provides formally verified invariants that the on-chain program enforces. See the Repositories section for detailed documentation on each component.