本文针对区块链环境中密封投标拍卖存在的审查攻击问题展开研究。在当前的区块链拍卖中，每个出价都是公开交易，且由单个区块提议者决定是否包含，这导致提议者可以观察待处理出价、排除竞争对手甚至自行投标，破坏了经典密封投标拍卖的公平性。为了在延迟敏感的区块链场景中实现抗审查的密封投标拍卖，作者形式化了四个必要属性：隐藏投标内容、存在性和投标者身份直至揭示阶段（Hiding）；计数所有及时的诚实投标并拒绝延迟的对抗性投标（Simultaneous Release）；防止已提交投标被静默撤回（No Free Bid Withdrawal）；仅向获胜者收取链上费用（Auction Participation Efficiency）。基于这些属性，他们设计了一个协议，该协议使用时间戳预言机（由2f_ts+1个时间戳委员会成员实例化）和抗审查包含谓词（基于FOCIL的包含列表实例化），只有获胜投标在链上结算。协议的构建依赖于两个零知识证明：一个资格证明，用于向时间戳委员会匿名证明保证金成员身份；一个拍卖证明，用于将投标绑定到特定拍卖以供包含列表委员会验证。作者使用 arkworks/Rust 库在 BN254 曲线上通过 Groth16 和 Poseidon 哈希实现了这两个证明：拍卖证明生成时间 13 毫秒，验证时间不到 1 毫秒；针对高达 2^32 个投标者的 Merkle 树的资格证明生成时间为 47-159 毫秒，验证时间约 1 毫秒。实验结果表明，该密封投标拍卖原语对于高价值、时间敏感的区块链场景是实用的。本文的主要贡献在于形式化了区块链密封投标拍卖的必要属性并设计了满足所有属性的高效协议，为区块链上公平拍卖提供了理论依据和实用方案。