ProofDEX is a KYC-native exchange where every state-changing action emits an anchored, post-quantum proof. It is designed to be the first automated market maker (AMM) that regulated money can actually use - because the audit trail is the product.
A normal decentralized exchange is anonymous and unaudited by design: anyone can trade, and the only record is the raw chain. That is a non-starter for a bank, a fund, or a licensed issuer, who must know their counterparties and prove what happened. ProofDEX flips both problems. It gates participation behind identity and compliance checks, and it emits a court-grade proof for every action - so the venue is legible to a regulator from the first trade.
Before anyone trades, ProofDEX runs a participation gate. The gate orchestrates three checks and is fail-closed - if any check does not pass, the action is denied:
Each gate decision produces a receipt that is stored, so the venue can later show why a participant was allowed in. This is what "KYC-native" means: compliance is not a bolt-on wrapper around an anonymous pool - it is the front door.
When a trade fills, ProofDEX generates an attestation using the same engine that produces the federation's court-grade evidence. The action is canonicalized, hashed into a Merkle root, and then hybrid-signed with both a classical Ed25519 signature and a real post-quantum ML-DSA-65 signature. That combined proof is anchored - committed into a hash-chain, timestamped against an external RFC 3161 authority, and logged onward toward Bitcoin via OpenTimestamps. The result is evidence that cannot be quietly backdated or altered, and that anyone can re-verify by recomputing the root and checking both signatures.
In practice this means a ProofDEX trade leaves behind more than a ledger line: it leaves a tamper-evident, independently verifiable record of who traded, that they were cleared to, and exactly what executed.
Most of today's crypto signatures could, in principle, be broken by a sufficiently large quantum computer in the future - which would let someone forge a signature on an old record. By signing with a post-quantum algorithm today, ProofDEX proofs are built to stay verifiable and un-forgeable even in that future. For evidence meant to hold up in front of a court or regulator years later, that durability is the whole point.
Access to ProofDEX and the per-trade proofs it generates are metered in JIL.ai. That is one of the token's five live utilities - the exchange is a service the federation sells, and JIL.ai is what pays for it.
ProofDEX is also where JIL.ai itself becomes tradable. Following price discovery via a liquidity bootstrapping pool on 2026-10-01, JIL.ai graduates to a tradable ProofDEX pool on 2026-11-01 - subject to VARA authorization. To protect the market at launch, the pool carries a 30-day post-purchase hold and a 10%-per-72-hours sell cap. Before 2026-11-01 there is no listing and no trading. (VARA framing is a design target, not an approval; none of this is investment advice.)
