Internalising the Identity Primitive: Cryptographic Individuality for an Autonomous Agent on a Public Blockchain
该论文提出并实现了一种在公共区块链上为自主代理建立‘密码学个体性’的新方法。核心研究问题是:当软件代理在公共区块链上积累权限与经济权益时,如何从密码学层面界定其‘个体’身份,而非依赖硬件、操作者或包装信任。作者将身份信任根迁移到由固定代码实
共收录 199 条相关情报。
← 返回所有主题该论文提出并实现了一种在公共区块链上为自主代理建立‘密码学个体性’的新方法。核心研究问题是:当软件代理在公共区块链上积累权限与经济权益时,如何从密码学层面界定其‘个体’身份,而非依赖硬件、操作者或包装信任。作者将身份信任根迁移到由固定代码实
本文提出 D-MUTRA,一个基于区块链的互信远程证明框架,用于解决多智能体系统(MAS)中的运行时完整性验证问题。MAS 由多个自主软件代理组成,在关键网络物理域(如多机器人协作、工业物联网)中协同执行复杂任务。如果某个代理被攻陷并运行修
该论文针对高性能拜占庭容错(BFT)区块链系统在实际运行中区块时间分布呈现复杂多模态特性的问题,提出了一种基于混合建模的诊断方法。研究背景在于,虽然高性能BFT共识(如基于HotStuff的协议)致力于实现高吞吐和低延迟,但受网络条件、流水
该论文提出了一种利用可验证的链下计算(Verifiable Off-Chain Computation)来保护隐私的基因组分析方法。随着基因组测序成本下降和医疗数据共享需求增加,基因组数据的高度敏感性使得在云端或区块链上进行计算面临严峻的隐
该论文针对以太坊中的分布式随机数信标 RANDAO 协议进行了安全性分析,提出了"分叉 RANDAO"(Forking the RANDAO)攻击概念。RANDAO 是以太坊协议中用于产生不可预测随机数的机制,其安全性依赖于多个参与者提交随
本文提出了一种面向开放数字孪生生态系统中可验证AI代理的神经符号化参与治理框架。研究背景是:随着大语言模型赋能的自主AI代理日益成为高价值决策支持系统的重要组成部分,在多机构、去中心化环境下,现有代理系统缺乏对身份、能力和策略合规性的强健验
本文提出了一种新的向量共识原语——聚合向量共识,专为异步网络设计。传统的共识协议通常只输出单个值,而该原语通过聚合来自不同进程的独立输入,输出一个值向量,从而实现更高效的一致性。基于该原语,作者设计了Juno协议,一个异步公共子集(ACS)
该论文聚焦于区块链系统中广泛使用的哈希时间锁定合约(HTLC)的激励兼容性问题。HTLC是支付通道、原子交换等应用的基础原语,但存在激励不兼容且易受贿赂攻击的缺陷。现有最优方案MAD-HTLC(Oakland'21)利用矿工追求利润的特性来
该论文提出了一种名为“乐观可验证声明”(Optimistic Verifiable Claim, OVC)的区块链协议,用于解决去中心化制造中的预签约僵局:服务提供商若不查看设计文件就无法准确报价,而消费者若分享设计文件则会暴露知识产权。O
该论文提出了 Twilight,一个差分隐私的支付通道网络。支付通道网络(PCN)作为区块链的扩容方案,通过链下交易提升吞吐量,但现有方案缺乏对交易金额和路径的强隐私保护。Twilight 引入差分隐私机制,通过在路由过程中注入受控噪声,并
本文是DeFi '24研讨会的会议报告,聚焦于去中心化金融(DeFi)及其安全性问题。研讨会汇集了学术界和工业界的研究人员,旨在探讨DeFi生态系统中的新兴安全威胁、漏洞模式、攻击案例以及防御机制。主要讨论主题包括:智能合约漏洞(如重入攻击
该论文研究如何利用许可区块链系统来度量框架实施成熟度,而非传统的静态合规验证。现有网络安全与隐私框架(如NIST SP 800-53、ISO/IEC 27001、GDPR、HIPAA)的采用通常通过点审计、自我声明和分散的证据审核来评估,导
本文研究了区块链上的状态不变交易(state-invariant transactions),即那些在包含或移除后除了交易费外不会改变区块链最终状态的交易。这类交易被认为是链上垃圾,因为它们消耗执行、带宽、存储和区块空间,却不贡献于账本最终
该论文以形式化框架分析区块链安全保证与协议实现之间的内在关系。作者首先指出,不同区块链协议提供类型不同的安全保证:BFT 类协议(如 Algorand)通常在部分同步环境中安全,而最长链协议(如 Bitcoin)则需要更强的同步性才能确保安
该论文旨在解决区块链数字货币系统之间跨链资产转移的安全与隐私问题。现有方案在原子性、不可链接性、不可区分性、无抵押性以及跨不同货币系统的功能方面通常存在不足。为此,作者提出了P2C2T——一种保护隐私的跨链转账方案。P2C2T基于作者同时提
该论文详细阐述了Themis共识扩展v1的设计与分析,该扩展由Mangata在2021年首次发布,旨在缓解区块链中的最大可提取价值(MEV)问题。MEV源于特权参与者通过选择、排除、插入或重新排序待处理交易以获取私利。Themis设计将价值
本文提出了首个兼容比特币的虚拟通道协议。现有公开许可的加密货币如比特币面临交易速率低和确认时间慢的问题,支付通道是一种有效解决方案,但需要路径中所有中间节点参与,导致可靠性下降、费用增加和延迟。最近提出的虚拟通道概念(IEEE S&P'19
重复模平方运算是一种多功能计算操作,已催生出时间锁谜题(TLP)和可验证延迟函数(VDF)等时间密码学原语的实际构造,这些原语在区块链等领域有快速增长的应用列表。然而,现有方案在规模化实际应用前面临两个现实问题:首先,大多数用户无法持续执行
该论文首次系统研究了新兴支付协议x402的安全性问题。x402扩展了HTTP 402,为Web API和自主AI代理提供支付能力,其核心设计是将支付证明验证和链上结算委托给第三方促进者(facilitators),以实现跨商家的共享支付基础
论文提出AMLGuard,一种面向账户型区块链的语义感知反洗钱(AML)框架。针对DeFi生态中日益频繁的加密货币安全事件,攻击者通常在被盗后迅速通过复杂交易转移资产、隐藏非法资金来源并最终兑换为法定货币。现有AML方法难以处理DeFi交易