该论文以形式化框架分析区块链安全保证与协议实现之间的内在关系。作者首先指出，不同区块链协议提供类型不同的安全保证：BFT 类协议（如 Algorand）通常在部分同步环境中安全，而最长链协议（如 Bitcoin）则需要更强的同步性才能确保安全。另一个关键区别是，某些协议（如 Algorand）能够产生不可抵赖的区块确认证书，而其他协议（如 Bitcoin）不能。这些属性是偶然的，还是协议设计范式的必然结果？作者利用 [12] 中开发的框架，证明了用户选取过程（如工作量证明 PoW 或权益证明 PoS）直接决定了安全保证的性质。具体而言，论文证明：对于工作量证明协议，产生确认证书是不可能的；而对于标准形式的权益证明协议，证书的产生是自动的。作为副产品，论文还定义了一系列安全概念，并鉴定它们之间的等价与不等价关系。该研究成果为理解无许可区块链协议的安全本质提供了理论基石，对区块链协议设计、分片等可扩展性方案的安全性分析具有指导意义。

该论文提出 Sieve-MMR，一种首个完全无许可的共识协议，同时实现了确定性安全和恒定预期延迟，且不依赖外部机制。现有的无许可区块链共识主要分为工作量证明（PoW）和权益证明（PoS）两类，但各有缺陷：PoS 易受长程攻击（攻击者可以低成本篡改历史），PoW 易受拥有足够算力的攻击者攻击，且通常只能提供概率性安全或牺牲性能。作者通过将 PoS 协议 MMR 移植到 PoW 环境获得 Sieve-MMR，继承了 MMR 的恒定预期延迟和确定性安全，并利用 PoW 抵御长程攻击。移植的主要挑战是“时间旅行攻击”：攻击者利用过去生成的 PoW 来增加当前感知的算力。为此，作者提出 Sieve 算法，实现了一种名为“时间旅行抵抗广播”（TTRB）的新型广播原语。Sieve 通过黑盒确定性 PoW 原语实现 TTRB，并将其作为 MMR 的消息层。论文实验证明了 Sieve-MMR 的有效性。

本论文针对 Nakamoto 共识（即比特币使用的工作量证明链式共识）的实际结算边界问题展开研究。该共识机制目前支撑着大多数加密货币和智能合约区块链。尽管已有大量理论工作精确确定了 Nakamoto 共识的安全区域（即保证渐进安全的参数化集合），但这些理论并未提供足够紧致的、能够指导实践的结算时间保证。论文旨在弥合理论与实践之间的差距，通过更精细的分析推导出实际可用的结算边界，使得区块链用户和开发者能够基于具体的网络参数（如区块生成速率、网络延迟等）计算出安全的交易确认等待时间。具体方法可能涉及对最长链规则下的分叉概率进行更严格的界限估计，或者引入新的统计技术来量化攻击者的优势。实验部分可能通过模拟或形式化验证展示新边界相对于现有理论的紧致性。主要贡献包括给出了首个针对实际部署场景的、可计算的结算时间界限，并证明了在典型参数下该界限显著优于已有结果。适合区块链安全研究者、协议开发者以及加密货币交易所的风险管理人员阅读。