本文研究自动做市商（AMM）机制设计中的三难困境。AMM是区块链上流行的去中心化交易模式，用户通过智能合约直接交易加密资产，但面临抢跑和尾随攻击（即矿工可提取价值MEV）导致的劣质价格。早期工作证明在共识层完全消除MEV不可行，因此近年研究转向应用层（智能合约）的机制设计。本文延续Chan、Wu和Shi等人的工作，研究一个自然的双资产AMM机制设计问题，他们提出的机制在底层区块链提供排序公平性的假设下，实现了令人惊讶的强激励兼容性（IC）。本文探讨同时实现IC、弱局部效率（wLE）和统一定价（UP）的可行性。wLE要求机制不应留下未满足的需求——只要用户的要价不过于严苛且订单可直接与池子执行；UP要求所有（部分）执行的订单必须以相同汇率交易。作者揭示了AMM机制设计的底层数学结构，主要结果可总结为一个三难定理：在IC、wLE和UP三者中，可以同时满足任意两个，但没有任何机制能同时满足全部三个。该研究为AMM设计提供了理论界限，有助于理解去中心化交易所的内在权衡。适合对区块链机制设计、博弈论和DeFi安全感兴趣的研究人员阅读。

这篇论文提出了一种名为“有用认证证明”（Proof of Useful Attestation, PoUA）的新型共识原语，旨在解决通用权益证明（PoS）链中对认证工作激励不足的问题。在通用PoS链中，验证者无论是否正确处理认证任务（如内容溯源、AI输出归属、门限签名凭证、供应链收据）都获得相同费用，这种无差别对待对于主要进行代币转账的链影响不大，但对于以认证为主要经济活动的链而言则成为问题。PoUA的核心思想是将认证处理纳入共识权重计算：验证者的投票权重等于其已质押代币数量与一个信誉标量（取值范围在[r_min, r_max]之间）的乘积，该信誉标量通过正确完成认证工作累积而来。信誉更新遵循加法、费用加权、不可转移、每周期上限的规则。论文首先证明了成本磨削下限（Lemma 1）：在全局自适应燃烧分数tau_burn下，对手为提高信誉值Delta_r所需支付的不可恢复成本有下界，即tau_burn * Delta_r / (eta * alpha_eff)。在推荐的初始校准参数（r_max/r_min在4到10之间）下，相对于稳态下的纯质押PoS，资本对手的成本溢价为4倍到10倍。论文详细描述了该机制的六个层次Sybil攻击和磨削攻击防御策略，包括基于信誉的投票权重、燃烧费用、周期性重置、检测器等。通过经验蒙特卡洛策略搜索，作者评估了完整分层防御的有效性，并给出了磨削检测器的显式阈值推导。PoUA是一个机制设计提案，提供了正式的经济安全下限，并继承了底层BFT共识的安全性和活跃性，但尚未提供完整的密码学安全证明。该论文适合对区块链共识机制、经济安全、Sybil防御和认证原语感兴趣的研究人员阅读。

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