root₈Distributed operations markets
Exchange under a stated meaning
A market should prove what it means by “cleared.”
Price, allocation, conservation, privacy, and atomic settlement are separate semantic claims. dregg treats them as composable programs rather than consequences of running one exchange machine.
01
The Dark Bazaar
Private orders; public optimality.
The bounded private relation commits up to four hidden orders over four price buckets, reconstructs supply and demand, and reveals the lowest uniform price that maximizes crossed volume.
→
argmax volume→
(p*, V*)02
Market cabinet
Several instruments, several exact boundaries.
DrEX
Sealed-batch clearing with a uniform price, respected limits, conservation, and proof-carrying settlement.
Launchpad
One-price clearing, disclosed supply, and solvent-pool organs awaiting one coherent instrument.
Certified convex programs
Exact feasibility, stationarity, normal-cone cases, and public return can be checked without revealing a private solution.
Descent asset Bazaar
Verified loot crosses to the Bazaar winner without reminting; insufficient payment is refused.
03
Encrypted execution
fhIR rejects programs whose privacy story does not type-check.
Bounded affine and convex programs
Typed encrypted programs compile, run at modest iteration counts, and agree with the corresponding plaintext calculation.
Forbidden shapes
Secret×secret multiplication, hidden Hessians, binary optimizer variables, complementarity, secret-indexed memory, cyclic triggers, missing bounds, and excess leakage are rejected.
Noise budget
The encrypted convex engine carries a measured ceiling and refuses programs that exceed it.
Malicious distributed custody
Threshold FHE, MPC, masking, and smudging components exist; their full malicious-integrity composition remains a systems boundary.