A principal distributes an indivisible good to budget‐constrained agents when both valuation and budget are agents' private information. The principal can verify an agent's budget at a cost. The welfare‐maximizing mechanism can be implemented via a two‐stage scheme. First, agents report...