Optimal collusion-resistant mechanisms with verification · Study