The DEX
Pactol
In developmentA perpetual futures exchange that settles on-chain. Named for the river.
A hybrid design: a deterministic matching engine off-chain for speed, with custody and settlement on-chain so the venue cannot quietly become insolvent. The engine is event-sourced and replayable, which means its execution can be independently audited rather than taken on trust.
It publishes a proof of solvency every five minutes — a cryptographic commitment that user liabilities do not exceed the vault's actual balance, verifiable by anyone with the open-source tool rather than by asking us. If the operator ever stops committing, an escape hatch lets users withdraw directly against the last honest state.
What is true today
- Deterministic matching, margin, funding and liquidation engine, built
- Custody and proof-of-solvency contracts deployed to a public testnet
- Open-source verifier — solvency can be checked without trusting us
What is not
- Testnet only. It has not launched, and it holds no real money
- No external security audit, and no MIDS integration yet