该论文研究了区块链协议中一种新兴的设计模式：利用执行任务与验证任务之间的计算不对称性（例如，SNARKs 等密码学有效性证明需要证明者耗费大量计算，而验证者只需少量计算）。在这种模式下，协议需要在假名、对抗性环境中高效地征集昂贵任务的执行者。作者将这一问题形式化为一个机制设计问题：协议需要平衡“活度故障”（即任务未完成）的经济成本与为激励候选供应商（即节点）采取特定行为所需的支付成本。论文证明，最优协议的总损失随活度故障成本呈对数增长，且该损失会受到网络中恶意节点比例的放大。通过博弈论分析，作者发现最优均衡具有直观的结构，能够为实践者提供具体建议。例如，在许多场景下，最优设计是指定一个随机节点作为主要工作者（类似基于领导者的共识），同时由一个委员会作为后备。论文还刻画了负支付（即区块链中的罚没机制）在哪些渐进区域中特别有效。整体上，该工作为区块链中涉及计算不对称的任务采购提供了理论基础和设计原则。