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 and timestamped against an external RFC 3161 authority, so the record's date does not rest on our own word. 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, JIL.ai graduates to a tradable ProofDEX pool on an estimated 2026-11-01 - once licensing and counsel's opinion are in place. 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. (No regulatory approval is claimed or held for JIL.ai; none of this is investment advice.)
