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
See Source Verification for SHA-256 hashes and instructions to reproduce the build yourself.

​
Devnet

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.