检索标题、摘要与正文，把分散的信息连起来。
arXiv:2610.39017v1 发布类型：新 摘要：分布式共识与一致性协议难以分析，却又是云系统的基础；因此，在部署之前通常需要经过严格的证明与形式化验证。然而，同样的严格标准却很少应用于协议的修改——而这些修改在生产环境中频繁发生，极易危及系统的安全性。本文通过提出一种面向分布式协议的自动优化器——DistOptimize，消除了人为修改带来的安全风险。DistOptimize 将学术界提出的吞吐量优化方法移植到生产环境中使用的框架，并在 Rocq 语言中验证重写后的正确性，同时结合校准与基于 ILP 的搜索实现其自动化应用。
arXiv：2610.36668v1 发布类型：新 摘要：阿希服从实验近来作为衡量大型语言模型（LLMs）中从众行为的一种手段而备受关注。尽管先前的研究主要致力于证明大型语言模型中的从众现象，但我们的工作在此基础上进一步引入了定量分析维度。我们并未针对一系列问题对前沿大型语言模型进行抽样，而是通过反复采样同一个问题，利用大型语言模型的概率特性生成答案分布。由此，我们可以比较模型在被呈现人为制造的共识前后答案分布的变化。实验结果证实，前沿大型语言模型确实存在从众现象，这与先前文献的结论相一致；同时，借助我们提出的分布间对比方法，还提供了更多……
arXiv:2610.34419v1 发布类型：新 摘要：基于有向无环图（DAG）的拜占庭容错（BFT）协议通过用并行的区块提案取代单主节点的提案路径，并借助共享图结构将这些提案相互连接，从而在共识设计上实现了重大转变；其中，引用机制用于编码共识证据。然而，在异构广域网（WAN）环境下，现有方案由于拖后腿效应而面临轮次延长和性能下降的问题。其根本原因在于僵化的轮次推进机制：各副本以同步的方式按固定轮次推进，必须等待前一轮中足够多的引用后才能继续前进。我们提出了一种适用于异步BFT共识的灵活DAG扩展框架。我们的关键观察是：尽管引用法定人数对于安全性和活性至关重要，但并不需要在每一轮推进时都予以阻塞；相反，连通性r
arXiv:2610.32060v1 发布类型：新 摘要：多智能体大型语言模型系统旨在通过辩论、证据共享和相互纠正来提升推理能力，但交互过程也可能引入一些仅凭最终准确率无法解释的失败现象。例如，智能体可能过早趋于一致、忽视异议、压制正确的少数派答案，或在多轮对话中固守错误的框架。我们提出了一套基于语料库的沟通失败分类体系，该体系源自医疗问答、编程、金融、多跳推理、伦理以及具身文本任务等领域的3,211条失败的多轮对话轨迹。借助这一分类体系，我们分析了不同数据集与系统设计下的失败分布、各轮次的误差动态、恢复难度、多数派转变、少数派信号被压制的现象，以及自我报告的信心水平。我们发现……
arXiv：2610.32803v1 发布类型：新 摘要：大多数高性能区块链的共识协议都采用法定人数证书，该证书将法定人数内验证者的签名打包在一起。诸如 BLS 之类的签名方案能够将整个法定人数的签名聚合为一个短签名，从而保持这些证书的规模较小。然而，一台大规模量子计算机将打破这类方案，而目前尚无任何后量子方案能够在聚合规模和聚合时间上与之相当。如果不进行聚合，每个证书都需要为法定人数中的每一位成员存储一条大型后量子签名，这使得每位验证者广播证书变得不可行，而这正是现代共识协议通常所要求的。我们提出了 Quantum Cadence，一种支持多个并发提议者的后量子共识协议，其
