本文研究“可信拍卖”(credible auction) 的设计问题：一个以最大化自身收益为目标的拍卖方，如何被机制本身约束而不偏离协议。当拍卖方可以控制影子出价者(shill bidders) 时，可信性面临根本性的密码学障碍。直观的解决思路是用安全多方计算 (MPC) 消除可信第三方拍卖方，但 Cleve (1986) 关于公平抛硬币的不可行性结论意味着：单体式 (monolithic) MPC 协议实际上给了拍卖方一个“免费期权”——它可以先学到拍卖结果，若收益不满意就单方面中止协议。采用带事前惩罚的密码学承诺可以缓解这种中止不对称性，但对重尾分布而言，任何有限惩罚都不足以形成约束。为绕开这一障碍，作者提出 MPC 分解原则 (MPC Decomposition Principle)：不把整个机制加密，而是把 MPC 严格当作“信息限制工具”使用。具体做法是把赢家判定问题隔离到一个极小的 MPC 组件 (gadget) 中，该组件只计算并公开赢家身份，而不泄露任何支付信息。这种定性限制使得一旦发生中止，被泄露的信息在数学上可被界定上界。将这一组件与顺序揭示机制和有限经济惩罚结合，作者设计了顺序揭示拍卖 (Sequential Revelation Auction, SRA)。论文证明：限制信息泄露即可严格限制“免费期权”的价值，惩罚额度 k ≥ Σ_{i=1}^{n} Rev(F_i) 足以保证可信性，且该界是紧的——对于等收入 (equal-revenue) 分布，任何更小的惩罚都存在可获利的偏离策略。借助常数轮 MPC，SRA 回答了 Akbarpour 与 Li (2020) 以及 Ferreira 与 Weinberg (2020) 提出的开放问题：对具有衰减收入尾部的乘积分布，给出了一个常数轮、激励相容、收入最优的可信拍卖机制。