Credible AUctions via MPC Gadgets: Bounding Information Leakage Under Abort

Matheus Venturyne Xavier Ferreira

The design of credible auctions---mechanisms where a revenue-maximizing auctioneer has no incentive to deviate from the protocol---faces a fundamental cryptographic barrier when th…