从 PBS 到 ePBS：区块构建的微观结构

以太坊的 Glamsterdam 升级引入了内嵌的提议者-构建者分离，以直接向提议者提交构建者出价取代了以中继为中心的 PBS。我们通过一个具有可验证消息的一般不完全信息两阶段拍卖来研究这种转变如何改变区块构建的微观结构，其中早期出价同时充当价格报价和信号。PBS 和 ePBS 被建模为同一区块构建博弈的限制：PBS 外生地固定停止和披露，而 ePBS 允许提议者事后选择停止和披露。延迟异质性通过非对称信息更新来捕捉：快速构建者在重新出价前观察披露的早期信息，而慢速构建者则不观察。我们将易于处理的情况下的精确完美贝叶斯均衡刻画与有限博弈中的校准无后悔学习相结合。对于 PBS，我们表明分离均衡保持了标准的第一价格拍卖收益基准，并提供了其存在的条件。对于 ePBS，我们展示了一种棘轮效应：因为提议者可以推迟区块提议并在第二阶段使用早期出价信息，构建者预期到事后提取并降低或汇集早期出价，从而产生分配无效率和收益效率低谷。我们将这种棘轮扭曲解释为承诺失败。在完全承诺下，最优策略退化为静态 Myerson 拍卖并消除了棘轮渠道。为了在可行机制中实现部分承诺优势，我们提出了一个强制执行有限承诺的可信执行环境侧车。我们将收益最大化的 TEE 机制表述为双线性优化问题。在保守的有限基准中，与第一价格基准相比，TEE 设计使提议者收益增加了约 25%。