Gatling: Rapid-Fire Consensus from Parallel Composition
该论文提出了一种名为Gatling的新型原子广播协议,旨在降低区块链等复制状态机中共识协议的事务确认延迟。传统共识协议的性能受限于提案间隔(inter-proposal time),即两个连续提案之间的最小时间间隔。现有最优方案的最小提案间
共收录 158 条相关情报。
← 返回所有主题该论文提出了一种名为Gatling的新型原子广播协议,旨在降低区块链等复制状态机中共识协议的事务确认延迟。传统共识协议的性能受限于提案间隔(inter-proposal time),即两个连续提案之间的最小时间间隔。现有最优方案的最小提案间
本文提出了一种名为TIGER的新型梯度反演攻击方法,针对联邦学习场景下Transformer模型的隐私泄露问题。联邦学习中,多个客户端协同训练共享模型,仅上传梯度更新至中央服务器,理论上原始输入数据保留在本地。然而,已有的梯度反演攻击表明,
本文针对拜占庭容错状态机复制(BFT-SMR)系统中的配置优化问题展开研究。BFT-SMR是区块链等分布式系统中用于对客户端交易进行全局排序的服务,传统通过冗余机制抵御拜占庭节点,但性能开销大。近期研究通过动态配置优化(如根据网络延迟动态分
现代区块链状态管理面临严重的可扩展性瓶颈:对数十亿条加密承诺进行维护在计算上代价高昂。以太坊正在转向Verkle树——一种基于多项式承诺的累加器,通过恒定大小的IPA向量承诺将证明大小从O(宽度*深度)降低到O(深度),这是迈向无状态操作的
现有的去中心化标识符(DID)方法通常需要某种形式的协调或全局顺序来更新DID文档。基于区块链的方法会产生费用和延迟;轻量级对等方法(did:key, did:peer)不支持更新;Sidetree等方案仍依赖区块链排序。本文提出 did:
本文针对区块链环境中密封投标拍卖存在的审查攻击问题展开研究。在当前的区块链拍卖中,每个出价都是公开交易,且由单个区块提议者决定是否包含,这导致提议者可以观察待处理出价、排除竞争对手甚至自行投标,破坏了经典密封投标拍卖的公平性。为了在延迟敏感
比特币闪电网络(LN)作为一种低成本、隐蔽的通信通道,可能被攻击者利用来构建僵尸网络,现有研究如LNBot和D-LNBot只是概念验证,且仅通过模拟评估,缺乏对现实拓扑形成、传播复杂性和抵御拆除能力的深入理解。本文提出LNTest,这是第一
该论文提出了一种名为MHOT(高度优化的认证数据结构)的新型区块链状态承诺数据结构,以解决以太坊Merkle Patricia Trie(MPT)存在的两个关键问题:树高度增长过快导致的性能瓶颈,以及易受Nurgle攻击的安全威胁。MPT的
本文针对自主代理基础设施面临的关键控制平面授权问题,提出了一种名为主权保证边界(Sovereign Assurance Boundary, SAB)的证书绑定运行时准入层。随着AI代理和自主系统能够产生非确定性推理并提议对生产资源进行高风险
该论文针对大规模 OTT 数字媒体消费场景中,资源受限设备(如 ARM Cortex-A 系列)上的权限验证效率瓶颈问题,提出了一种混合边缘-云端权限验证框架。传统架构依赖同步的云端验证流程,导致用户感知延迟高(平均 422.8ms)。本文
本文提出并分析了 Parent-Hash 有向无环图(PHDAG),这是一种用于链上注册表的追加型数据结构,其中每次追加操作只需对之前未触及的存储槽进行恒定数量的写入操作。此前,PHDAG 从未被作为独立原语进行形式化分析,也未被明确边界常
该论文首次系统性地研究了基于logit的联邦学习(FL)中隐藏的隐私风险。传统的参数化FL通过交换模型权重或梯度来保护数据隐私,而新兴的logit-based FL方法则在公共数据上共享模型输出(logits),从而促进模型异构性、降低通信
该论文提出了一种需求驱动的云安全态势管理(CSPM)漏洞检测架构,旨在减少从漏洞披露到客户系统具备检测能力之间的关键路径延迟。传统CSPM依赖供应商集中维护和分发规则集,更新节奏受限于发布周期(数小时至数天),且针对包含配置谓词的丰富检测规
比特币的区块奖励计划逐步减半并最终归零,这引发了对其网络长期安全性的担忧:当矿工收入完全依赖交易手续费时,是否还能维持诚实挖矿的稳定性。本文基于序贯决策模型,分析了诚实矿工与偏离(如自私挖矿、空块攻击等)矿工的收益,推导出一个偏离阈值G_t
本研究对 Pearl 区块链的 Proof-of-Useful-Work (PoUW) 协议进行了首次系统性实证测量。Pearl 声称其 PoUW 协议能在保证网络安全的同时执行 AI 推理任务。然而,研究发现其 24 EH/s 的网络算力
当前人工智能代理的可观测性存在结构性缺陷:生成活动日志的实体与日志所记录的活动实体是同一个。因此,一个被攻陷或存在缺陷的代理可以省略、篡改甚至伪造自身的操作记录,而运行该代理的操作员无法独立检测到任何篡改行为。本文提出了一类新颖的协议族,通
联邦学习(FL)中,异构差分隐私(HDP)允许客户端根据自身策略和数据敏感度选择不同的隐私预算(ε_i)。现有HDP-FL系统常采用ε感知的服务器聚合,通过根据客户端声明的隐私预算重新加权其梯度更新来提升模型效用。然而,联邦学习中的梯度更新
该论文针对后量子密码学(PQC)中基于学习错误(LWE)问题的密钥封装机制(KEM)计算密集的挑战,提出了一种利用OpenACC在GPU上加速LWE-KEM的方法。Shor算法表明,大规模量子计算机将威胁基于整数分解和离散对数的传统非对称密
该论文提出了一个名为 memorywire 的供应商中立的线格式(wire format),用于代理内存操作。当前多种代理内存框架(如 mem0、Letta/MemGPT、Cognee、Zep/Graphiti、MemoryOS、MemTe
本文提出了一种名为Ciphera的去中心化生物特征身份框架,旨在解决传统中心化生物特征系统中存在的单点故障、验证过程不透明以及生物特征信息一旦泄露便不可逆等安全问题。该框架结合了隐私保护的人脸识别、多节点验证、基于IPFS的凭证元数据存储以