Before revision:  A fundamental impossibility result for such two-sided markets due to Myerson and Satterthwaite establishes that even in the simplest such market, that of bilateral trade, it is impossible to design a mechanism that is individually rational, truthful, (weakly) budget balanced, and efficient. Even worse, it is known that the "second best" mechanism-the mechanism that maximizes social welfare subject to the other constraints-has to be carefully tailored to the Bayesian priors and is extremely complex.
After revision:  A fundamental impossibility result for such two-sided markets due to Myerson and Satterthwaite (1983) shows that any truthful mechanism for two-sided markets that maximizes social welfare subject to the other constraints-has to be carefully tailored to the Bayesian priors and is extremely complex.