本文提出 Bullshark，一种基于有向无环图（DAG）的异步拜占庭原子广播协议，专门针对常见的同步场景进行了优化。与以往的 DAG 拜占庭容错（BFT）协议类似，Bullshark 在构建 DAG 之上无需额外通信即可达成共识：参与者仅通过解读本地视角的 DAG 边即可对顶点进行全序排列。与其他异步 DAG 协议不同，Bullshark 提供了一个实用的低延迟快速路径，该路径利用同步周期，摒弃了传统繁琐的视图更换机制，同时保留了其前身 DAG-Rider 的所有理想特性：最优的摊还通信复杂度、公平性、异步活跃性，以及即使面对量子对手也能保证的安全性。为了证明其实用性和简洁性，作者还引入了 Bullshark 的独立部分同步版本，并与现有最优方案进行了对比评估。实现的协议极为简洁（在现有 DAG 内存池实现 Narwhal & Tusk 之上仅 200 行代码），且效率极高：例如在 50 个节点的部署中，可实现每秒 125,000 笔交易，延迟仅 2 秒；相比之下，现有最优方案为了优化异步性能而付出了 50% 的延迟增长代价。本文适合分布式系统、区块链共识以及 BFT 领域的研究者和工程师阅读。

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

以太坊的构建者市场（builder market）在合并后成为区块生产的关键环节，但当前呈现出高度中心化的趋势：少数几个构建者主导了大部分区块的构建。这种中心化可能带来审查风险、单点故障以及对网络公平性的威胁。本文首先通过实证数据分析中心化的现状，识别出导致中心化的关键因素，包括MEV（最大可提取价值）的经济激励、抢跑（frontrunning）竞争以及信息不对称。然后，作者提出了一种去中心化的构建者市场设计，核心思路是引入多个并行构建者、采用基于承诺（commitment）的区块提议协议，以及通过加密和秘密共享机制保护区块内容的隐私性，以防止构建者被攻击者披露以获取优势。文中描述了协议的详细流程，包括构建者注册、区块承诺提交、验证者选择以及区块揭示。此外，还设计了一个激励兼容的奖励分配机制，确保构建者诚实行为。实验基于以太坊主网的历史数据模拟，结果表明该方案能有效降低构建者之间的信息不对称，促进更公平的竞争，同时保持区块生产的效率。该研究对于以太坊长期安全性和去中心化愿景具有重要意义，也为其他基于MEV的区块链提供了参考。

本文提出 ORCHID（Orchestrated Reduction Consensus for Hash-based Integrity in Distributed Ledgers），一种新颖的生物启发式共识协议，将神经科学的“绑定问题”（大脑如何将分布式神经振荡整合为统一的意识感知）映射到分布式系统的“共识问题”（区块链节点在拜占庭故障下如何就单一账本状态达成一致）。ORCHID 基于 Penrose-Hameroff 的 Orchestrated Objective Reduction (Orch OR) 假设和 Kuramoto 同步模型，为每个节点配备量子噪声相位振荡器；当网络序参数 r(t) 超过“绑定阈值”θ_b 时触发共识，模拟意识感知中的伽马波段绑定事件。协议通过相干性加权的量子秘密共享（QSS）层增强，将 Weinberg 的调查框架扩展为具体的共识应用。在 Watts-Strogatz 小世界网络上的仿真（n=10-150）显示：(i) 耦合强度 K=3.0 下 Kuramoto 序参数达到 r_max=0.988，远高于理论临界耦合 K_c≈1.41；(ii) 在相干性 c*≈0.82 处出现尖锐的 QSS 保真度相变，验证了定理 2；(iii) 在测试的所有拜占庭比例（0%-40%）下共识率达到 100%，n=30 时中值收敛时间低于 4 秒；(iv) ORCHID 的消息复杂度为 O(n·k)，在 n≥150 时优于 PBFT 的 O(n²)。这些结果确立了 ORCHID 作为后量子分布式账本中可扩展、生物合理且量子增强的共识机制。

本文提出 Kronos，一种用于分片区块链的安全且通用的共识协议，旨在解决跨片交易带来的安全与效率挑战。现有分片共识在安全性和低开销之间缺乏通用方案。Kronos 引入了一种新的安全分片共识模式，核心是基于由分片成员共同管理的缓冲区：有效交易通过缓冲区传输给收款方，无效交易则通过快乐或不快乐路径被拒绝。理论证明，在恶意客户端下，Kronos 能实现原子性安全，且片内开销达到最优的 O(kB)（k 为涉及分片数，B 为拜占庭容错成本）。此外，Kronos 提出了基于批量认证和可靠跨片传输的安全跨片认证方法：批量认证结合混合树或向量承诺，可靠传输集成纠删码。处理 b 笔交易时，跨片开销仅为 O(n b λ)（n 为分片大小，λ 为安全参数）。Kronos 不限制底层 BFT 协议类型，也不依赖时间假设，各模块提供可选构造。作者基于异步 Speeding Dumbo 和部分同步 Hotstuff 两种 BFT 协议实现了 Kronos，实验表明系统可扩展至数千个共识节点，在 2.0 秒延迟下达到 320 ktx/sec 的吞吐量，相比已有方案吞吐量提升最高 12 倍，延迟降低 50%。该工作适合区块链研究者、系统安全工程师及对分片共识感兴趣的从业人员阅读，提供了兼顾安全与性能的通用设计思路。

本文提出了一种名为Limitless Scalability的高吞吐量且副本无关的拜占庭容错（BFT）共识协议。传统的BFT共识协议（如PBFT）由于通信复杂度随节点数平方增长，难以扩展到大规模网络。该工作设计了一种基于聚合签名和流水线技术的两阶段共识流程，通过将验证与提交分离，使得系统能够处理任意数量的副本节点而性能不降级。实验表明，在数百个节点下，协议吞吐量保持线性增长，延迟几乎恒定，显著优于现有方案。核心创新包括：1）使用聚合签名将验证消息压缩为常数大小，降低网络开销；2）引入动态领导选举和请求批处理机制；3）提供安全性证明和容错阈值分析。该协议适用于区块链、分布式系统等需要高可扩展性和容错性的场景。

本文研究在已知参与模型（Known Participation Model）下的拜占庭容错共识问题，特别关注存在睡眠副本（sleepy replicas）的场景。传统共识协议通常假设所有节点始终在线且活跃，但在实际分布式系统中，节点可能由于节能、网络波动或参与性调整而处于睡眠状态，这增加了共识的复杂性。作者提出了一种新的共识算法，能够在部分节点可能进入睡眠模式的情况下，仍然保证安全性和活性。该算法通过引入动态成员资格管理机制，处理节点状态的未知变化，并利用加密签名和超时机制来检测拜占庭行为。实验结果表明，该算法在节点规模为100时，共识延迟与经典PBFT相当，但能容忍高达1/3的拜占庭节点，同时适应睡眠节点的比例高达50%。本文为区块链和分布式账本技术在实际部署中提供了更现实的容错模型。

该论文提出了Pallas和Aegis两种机制，旨在解决基于可信执行环境（TEE）的区块链共识协议中的回滚攻击问题。在TEE辅助的区块链系统中，恶意节点可能通过回滚TEE的持久状态来破坏共识的安全性。Pallas是一种预防性方案，通过在TEE内部维护不可篡改的计数器并强制执行单调递增的序列号，防止状态回滚。Aegis则是一种检测性方案，利用轻量级证明来验证TEE状态的连续性，从而发现回滚行为。实验表明，这两种机制在保证安全性的同时，仅引入可接受的性能开销，适用于现有的TEE平台（如Intel SGX）。该研究为TEE与区块链结合提供了重要的安全加固手段，特别适用于对共识完整性要求极高的场景。

本文提出 Ipotane，一种异步拜占庭容错（BFT）共识协议，旨在平衡“好情况”（快速路径）和“坏情况”（故障或拜占庭攻击）下的性能。传统的异步 BFT 协议（如 Dumbo 系列）在好情况下有较高的通信复杂度，而坏情况下的恢复速度较慢。Ipotane 的核心思想是让领导者使用阈值加密秘密共享来提议交易块，并在正常运行时实现 O(n) 的通信复杂度（n 为节点数），同时在出现故障时仍能保证可证明的安全性。该协议通过引入一种新的“领导轮换”机制，在不依赖同步假设的前提下，实现了好情况下的低延迟和坏情况下的高吞吐量。实验结果表明，Ipotane 在好情况下比现有协议（如 Dumbo2）快约 2-3 倍，在坏情况下也保持了可接受的性能。主要贡献包括：提出一种新颖的异步 BFT 协议设计，能在不同场景下自动调整通信模式；给出了严格的形式化安全证明；通过大规模实验验证了其实际性能优势。本文适合分布式系统、区块链共识协议和安全领域的研究人员阅读。

该论文提出了一种跨共识可靠广播（Cross-Consensus Reliable Broadcast）协议，旨在解决不同共识协议（如PBFT、HotStuff、Algorand等）下共识节点之间的可靠信息传递问题。传统可靠广播协议通常在单个共识协议内工作，而跨共识场景下，不同协议的网络假设、节点身份管理和安全模型存在差异，导致广播难以保证一致性。论文形式化定义了跨共识可靠广播问题，并设计了一个模块化协议，允许在不同共识协议之间实现消息的原子广播和顺序一致性。核心方法包括使用签名聚合和跨协议验证机制，通过一个中介层（relayer）连接不同共识集群。实验模拟了多个区块链网络（如以太坊2.0、Cosmos）之间的交互，证明了该协议在延迟和吞吐量方面接近理论最优，且兼容现有系统。该工作为跨链通信、互操作性协议（如IBC）的安全性提供了理论基础。

本文提出一种名为Icarus的新型异步拜占庭容错（BFT）共识协议。传统的异步BFT协议通常需要依赖复杂的悲观路径来处理网络异步性和拜占庭故障，导致性能瓶颈。Icarus的核心创新在于仅使用乐观路径即可实现高性能的异步BFT，避免了传统协议中因悲观路径引入的额外通信开销和延迟。通过巧妙的设计，Icarus在保证安全性的前提下，显著提升了协议在正常情况下的吞吐量和响应速度。论文通过理论分析和实验验证，展示了Icarus相较于现有方案（如HoneyBadgerBFT、Dumbo等）在性能上的优势，尤其是在网络延迟较低或故障比例较小时。该成果适用于需要高安全性和高性能的分布式系统，如区块链底层共识、可信计算平台等。

该论文题为《Pando: 基于委员会采样的极可扩展拜占庭容错共识》，主要研究如何通过委员会采样技术大幅提升拜占庭容错（BFT）共识协议的可扩展性。传统BFT协议在节点数量增加时性能急剧下降，难以应用于大规模网络。Pando提出了一种新的委员会采样机制，允许系统在保持安全性和活性的前提下，将共识参与节点限制在一个随机选出的子集（委员会）中，从而降低通信复杂度。论文可能通过概率分析和实验验证，证明Pando在数百至数千节点规模下仍能保持高吞吐量和低延迟。该方法适用于区块链、分布式账本等需要高可信度的大规模场景。由于仅获取到论文摘要，无法提供具体技术细节和实验数据，建议读者查阅最新版本原文以获取完整内容。

本文提出了一种名为Dumbo-NG的新型异步拜占庭容错（BFT）共识协议（原子广播），旨在解决现有异步BFT共识协议在实际部署中遇到的性能瓶颈。现有的协议虽然实现了线性摊销的通信复杂度，但为了获得最大吞吐量，每个参与节点需要广播大量交易批次，这严重增加了延迟。更糟糕的是，最慢的f个节点（f为故障数）的广播可能永远不会被输出，从而被审查。针对这一威胁，现有的缓解措施要么采用计算开销大的阈值加密，要么导致通信量激增，进一步降低了效率。Dumbo-NG的核心技术贡献是创新地将异步原子广播直接归约到具有质量属性（quality property）的多值有效拜占庭协议（MVBA）。新的协议结构支持交易分发与异步共识完全并发执行，带来了两个主要好处：（1）解决了吞吐量与延迟之间的矛盾，使得在接近峰值吞吐量时延迟几乎不增加；（2）任何诚实节点广播的交易都可以被同意输出，从而无需额外成本即可抵御审查威胁。作者实现了Dumbo-NG，并与当前最先进的具有审查鲁棒性的异步BFT协议（包括Dumbo CCS'20和Speeding-Dumbo NDSS'22）进行了对比。此外，还将Speeding-Dumbo的技术应用于DispersedLedger（NSDI'22），得到了改进变体sDumbo-DL以进行更全面的比较。大量实验表明：Dumbo-NG实现了更好的峰值吞吐量性能，并且其延迟在吞吐量增长时几乎保持稳定。