09:52
官方账号arXiv cs.LG@Jun He, Deying Yu
推荐理由：这篇论文挖出了智能体共识的一个坑：老实但推理错误的验证器照样能搞砸安全性。用e_δ和u_ε两个指标量化风险，比传统BFT更接地气。搞Agent基础设施的值得一读。
语义安全性
共 1 条相关 AI 资讯
7月20日
09:52
论文提出Honest Quorum Problem，即协议兼容但语义错误的智能体验证器可能满足常规检查而形成无效证书。定义Epistemic Byzantine Fault Tolerance (EBFT)，引入两个置信度索引量e_δ和u_ε，分别约束拜占庭集之外的一致无效认可和降低活跃度的不可用支持。推导了语义有效性、共识一致性、活跃性和阈值选择的充分条件。论证仅当添加名义上不同的智能体能可测量地减少无效认可或不可用支持的尾部分布时，才能提升容错性。