本文提出 LaKSA（Large-scale Known-committee Stakebased Agreement），一种面向加密货币、但不限于此的链式权益证明（Proof-of-Stake）协议。该协议的核心设计目标是在大规模节点环境下降低通信复杂度并简化协议逻辑。LaKSA 通过引入轻量级委员会投票机制，显著减少了节点之间的交互次数，从而在可扩展性、健壮性和简洁性方面优于现有竞争方案。此外，它缓解了此前 PoS 系统中常见的两大缺陷：高奖励方差和长确认时间。LaKSA 在架构上支持大量节点，并提供了概率性的安全保证——客户端可以根据自身维护的区块链视图，计算出某笔交易被最终回滚的概率，并据此做出提交（commit）决策。作者对 LaKSA 进行了全面分析，包括安全性论证、实现细节和性能评估。文中还提出了一种新的安全证明技术，该方法不仅能用于 LaKSA，还可推广到其他 PoS 协议，为同类系统的形式化验证提供了通用工具。本文适合对区块链共识机制、PoS 安全分析以及分布式系统形式化方法感兴趣的研究人员和工程师阅读。

本文研究区块链审查攻击（blockchain censorship attack）的博弈论基础及其在权益证明（PoS）网络中的均衡影响。作者首先回顾了已有文献[21]中提出的审查攻击模型，该模型表明参与攻击是验证者的占优策略。在此背景下，论文引入一个关键概念——可检测阈值（detectability threshold），即攻击行为被网络其他参与者察觉的概率下限。通过理论分析，作者证明当存在这样的阈值时，持有大量投票权的验证者（称为“鲸鱼”，whales）参与攻击所获得的期望收益会严格低于不参与攻击的收益，而普通验证者（称为“minnows”）由于投票权分散，单独发起攻击则变得困难。这一机制改变了原有的纳什均衡：鲸鱼不愿参与，导致攻击难以由少数小验证者独立发动。为验证理论结论，作者在以太坊（Ethereum）和Solana两个主流PoS链的参数下进行了蒙特卡洛模拟，模拟结果支持了鲸鱼收益减少的存在性。论文贡献在于从机制设计角度为区块链抗审查性提供了新的理论视角，表明通过引入检测机制可以削弱大型验证者的恶意激励，从而增强网络的安全性。适合对区块链安全、共识机制和博弈论应用感兴趣的研究者阅读。

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

这篇论文提出了一种名为“有用认证证明”（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防御和认证原语感兴趣的研究人员阅读。

本文研究权益证明（PoS）共识机制或分布式账本中的委员会选择问题。在 PoS 系统中，每个参与方被分配非负的“权益”，系统面临可能腐化部分参与方的敌手。核心挑战是选出一个委员会，使其准确反映全体参与方中腐化方与诚实方的权益比例。委员会规模与选出的委员会过度代表腐化方的概率之间的权衡，是 PoS 共识以及委员会运行的二层协议安全性与效率的基础性因素。论文提出了一种名为“既成事实委员会选择”（Fait Accompli Committee Selection）的新方法，旨在改进委员会规模与安全性之间的权衡。该方法通过一种新颖的随机化过程，在给定安全参数下，能以更小的委员会规模达到相同或更高的安全性，或者保持规模不变而提升安全性。论文给出了严格的数学证明，表明该方法在渐近意义上优于传统方法。主要贡献包括：形式化定义了委员会选择问题的模型；提出并分析了一种新的委员会选择协议；通过理论分析证明了其在规模-安全性权衡上的改进。该研究适合对 PoS 共识机制设计、分布式系统安全以及密码学协议感兴趣的学者和工程师阅读。