> ## Documentation Index
> Fetch the complete documentation index at: https://purple.trade/docs/llms.txt
> Use this file to discover all available pages before exploring further.

# Programs & Deployments

> Solana program IDs, repositories, and deployment addresses

<CardGroup cols={2}>
  <Card title="percolator-prog" icon="github" href="https://github.com/purpletrade/percolator-prog">
    Core perpetual futures engine
  </Card>

  <Card title="percolator-match" icon="github" href="https://github.com/purpletrade/percolator-match">
    Passive LP matcher
  </Card>

  <Card title="percolator-cli" icon="github" href="https://github.com/purpletrade/percolator-cli">
    CLI and operational tooling
  </Card>

  <Card title="percolator" icon="github" href="https://github.com/purpletrade/percolator">
    Formally verified risk engine
  </Card>
</CardGroup>

Forked from Anatoly Yakovenko's original implementations. See [History](/docs/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](https://github.com/Ellipsis-Labs/solana-verifiable-build) Docker containers
* **[OtterSec](https://osec.io/) verified** — programs pass OtterSec's on-chain verification
* **`security.txt`** embedded in the binary — visible on [Solscan](https://solscan.io/account/MTCPqs6RWWUPMHhvZnnB6BLAXS86TDpTaxQW7Pa3aDh) under the Security tab
* Green verification badges on Solana explorers

| Program | Address | Verified Build |
| - | - | - |
| Percolator | [`PRPLUgjCUxCEzNPP6x7XJVK1WR5XX28Zu8MEyTqvGjF`](https://solscan.io/account/PRPLUgjCUxCEzNPP6x7XJVK1WR5XX28Zu8MEyTqvGjF) | [CI run](https://github.com/purpletrade/percolator-prog/actions/runs/21863687941) |
| Matcher | [`MTCPqs6RWWUPMHhvZnnB6BLAXS86TDpTaxQW7Pa3aDh`](https://solscan.io/account/MTCPqs6RWWUPMHhvZnnB6BLAXS86TDpTaxQW7Pa3aDh) | [CI run](https://github.com/purpletrade/percolator-match/actions/runs/21863835686) |

See [Source Verification](/docs/verification) for SHA-256 hashes and instructions to reproduce the build yourself.

## Devnet

| Program | Address |
| - | - |
| Percolator | [`2SSnp35m7FQ7cRLNKGdW5UzjYFF6RBUNq7d3m5mqNByp`](https://explorer.solana.com/address/2SSnp35m7FQ7cRLNKGdW5UzjYFF6RBUNq7d3m5mqNByp?cluster=devnet) |
| Matcher | [`4HcGCsyjAqnFua5ccuXyt8KRRQzKFbGTJkVChpS7Yfzy`](https://explorer.solana.com/address/4HcGCsyjAqnFua5ccuXyt8KRRQzKFbGTJkVChpS7Yfzy?cluster=devnet) |

<Note>
  Devnet programs are for testing only. Tokens and positions on devnet have no value.
</Note>

***

## Architecture

```mermaid theme={null}
graph TD
    A["percolator-prog\n(perpetual engine)"] -->|CPI| B["percolator-match\n(LP matcher)"]
    A --> C["Slab Account\n(full market state)\n4096 slots · ~992 KB · ~6.9 SOL"]
    D["percolator\n(verified risk lib)\nKani model checking"] -.->|invariants| A
```

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](/docs/repo-percolator-prog) section for detailed documentation on each component.


This documentation is built and hosted on [Mintlify](https://mintlify.com), a developer documentation platform.