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

该论文研究了在按份额付费（Pay-Per-Share, PPS）和完全按份额付费（Full Pay-Per-Share, FPPS）方案下，针对Nakamoto风格区块链的最优区块扣留（Block Withholding, BWH）攻击策略。经典BWH攻击通常基于区块依赖奖励方案（即矿工仅在池内发现区块时获得补偿），而大多数现代矿池采用基于份额的即时支付方案。作者首先证明PPS/FPPS方案并非激励相容，推翻了先前文献中的声称。在此基础上，提出一种名为“全力攻击”（All-out Attack, AoA）的最优BWH策略：攻击者将其全部算力集中投向受害者矿池，仅提交部分工作量证明（partial Proof-of-Work, pPoW）份额，而扣留所有有效区块（即完整工作量证明full Proof-of-Work, fPoW）。论文进一步分析AoA的经济影响：在首次难度调整之前，攻击者因扣留fPoW而遭受的损失可忽略不计；在首次难度调整后，区块难度降低，攻击者单位时间内生成的pPoW数量增加，相对于调整前的速率获得α/(1-α)的相对增益（其中α为攻击者算力占比）。值得注意的是，在单位时间和单位算力下，所有诚实矿工获得与攻击者相同的收益率，而受害者矿池运营商却蒙受损失：它需为攻击者提交的pPoW支付报酬，但无法获得任何fPoW补偿。最后，论文指出BWH的高级变种（如扣留后分叉Fork After Withholding, FAW）并不能为攻击者带来额外利润。该工作通过严格的数学建模与博弈分析，揭示了PPS/FPPS方案在安全设计上的根本缺陷，为矿池运营商和协议设计者提供了重要警示。