A2A-CaseVerify: Merkle-Linked Case-Evidence Verification for Cross-Organization A2A Workflows
该论文关注跨组织 Agent-to-Agent(A2A)工作流中的证据可验证性问题。随着大语言模型智能体通过 A2A 协议交换任务、消息与制品,仅验证单条消息有效并不能证明最终工作流结论背后存在完整、有序且与案例一致的证据路径。为此,作者提
共收录 7 条相关情报。
← 返回所有主题该论文关注跨组织 Agent-to-Agent(A2A)工作流中的证据可验证性问题。随着大语言模型智能体通过 A2A 协议交换任务、消息与制品,仅验证单条消息有效并不能证明最终工作流结论背后存在完整、有序且与案例一致的证据路径。为此,作者提
传统轻客户端依赖验证者每个区块都通过 Merkle 树等状态承诺对整个区块链状态进行提交,客户端从而能用短证明验证事实。但维护大规模且不断增长的状态树给验证者带来显著负担,且位于区块生产的关键路径上。因此许多现代高吞吐链选择完全避免这种方案
本论文提出了一种名为 Reckle trees 的新型向量承诺(vector commitment)方案,其核心创新在于将简洁递归论证(succinct recursive arguments)与 Merkle 树相结合,从而支持可更新的简
本论文针对动态工作负载下的认证数据结构(Authenticated Data Structure, ADS)优化问题,提出了一种名为 Huffman-Merkle Tree (HMT) 的新型结构。ADS 允许对大型可变状态进行成员资格证明
本文提出 ShadowPath,一种面向可验证凭证(Verifiable Credentials)的隐私保护撤销状态验证方案。在可验证凭证模型中,持有者可以出示由颁发者签名的数字声明,而无需颁发者参与每次出示过程。但撤销机制使隐私模型复杂化
本文针对代理驱动的商业协议(如AP2和ACP)在跨异构域的交易审计中缺乏可互操作、防篡改的审计能力和可验证的时间顺序的问题,提出了一种可验证的全局事件时间线架构。该架构由四个核心组件构成:标准事件模式(确保确定性序列化)、确定性批次形成(无
本文提出并分析了 Parent-Hash 有向无环图(PHDAG),这是一种用于链上注册表的追加型数据结构,其中每次追加操作只需对之前未触及的存储槽进行恒定数量的写入操作。此前,PHDAG 从未被作为独立原语进行形式化分析,也未被明确边界常