Sealed-bid auctions make the coordination challenge obvious. The same problem spans solver markets, procurement, token allocation, pricing, and resource allocation. The goal: private inputs → shared computation → verifiable outcome Different markets. Same problem.