Uniformity
One price for the batch
No privileged place at the front of the line; everyone clearing in the round receives the same price.
Public proof record 06 / DrEX
A semantic market program
The proof says “fair clear,” not “the exchange code ran.”
DrEX batches sealed orders, finds one uniform clearing price, and settles every admitted trade together.
Present scope: a running developer instance. Not public access, not real-value trading, and not independently audited.
01
The relation
Four claims traders actually care about.
Limits
Orders remain sovereign
No buyer pays above its bid. No seller receives below its ask.
Conservation
The books still add up
Every asset entering one side of settlement leaves the other. Nothing appears or leaks.
Atomicity
The batch is one operation
The admitted transfers settle together, or the clear does not enter history.
02
Semantic compression
The solver searches. The proof checks the certificate.
order rootsCert-FreceiptThe proof does not need to narrate how an optimizer found the answer. It checks the circulation certificate, exact integer admission, trader limits, objective gap, and state transition.
Privacy split: ordinary DrEX reveals at settlement. Dark Bazaar adds a fixed private-order Hiding relation. fhEgg explores FHE/MPC production where no single service begins with the clear book.
03
Readiness ledger
Mechanism present. Public market absent.
proven
Clearing and settlement semantics
Uniform price, conservation, limit respect, integer admission, and atomic settlement have machine-checked statements in the current system.
runs
Developer clear
A sealed batch can clear and settle through the proof-carrying turn path.
demo
Clickable local experience
Place an order, commit it, reveal, and watch the uniform-price result. No stable public destination is claimed here.
not public
Open access and real value
There is no public real-money exchange. Cross-chain real-value settlement remains separate unfinished work.
not audited
External review
The complete implementation has not had an independent security audit.