Krysos.
Join

The DEX

Pactol

In development

A 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