该论文研究 Nakamoto 共识中“先挖矿、后验证”带来的安全边界问题。矿工在收到新区块后，尚未完成其有效性检查便先尝试在其上扩展，从而在争夺下一区块奖励时获得时间优势；但摘要指出，这种优势存在被忽视的风险：一旦该区块最终被判定无效，拒绝它不仅丢弃该无效块，也会丢弃建立在其上的诚实工作量。传统模型通常假设验证瞬时完成，因此无法刻画该效应。作者在存在有界网络延迟、且验证时间有上界（与处理负载无关）的模型下量化这一风险，给出了对抗算力阈值：当敌手算力低于该阈值时，诚实矿工的完全验证链仍会持续增长，并在任意固定观察期以高概率对稳定历史达成一致。论文还构造了一类攻击，可反复把诚实算力吸引到无效分支；当敌手在允许验证时间内平均能产出超过一个区块时，该攻击可在任意固定初始确认深度上最终移除目标区块。将其与普通私挖结合后，在完全去中心化、每个诚实矿工算力可忽略的场景中可得到匹配的渐近界。结果说明，验证时延本身会限制先挖后验的安全性，其影响超出单纯网络延迟约束。