A note on optimal allocation with costly verification

We revisit the problem of a principal allocating an indivisible good with costly verification, as it was formulated and analyzed by Ben-Porath et al. (2014). We establish, in this setting, a general equivalence between Bayesian and ex-post incentive compatible mechanisms. We also provide a simple proof showing that the optimal mechanism is a threshold mechanism.