本文提出了一种名为 Reckle trees 的新型向量承诺（vector commitment）方案，其核心创新在于将简洁递归论证（succinct RECursive arguments）与 Merkle 树相结合，从而实现对批量证明（batch proofs）的高效更新。在区块链场景中，随着新区块不断产生，Merkle 树中的叶子节点会持续变化，传统的批量证明需要重新计算，成本高昂。Reckle trees 通过引入一种基于哈希的累加器（称为 canonical hashing），将批量哈希的计算嵌入到递归 Merkle 验证过程中。这种设计使得当任意 Merkle 叶子（无论是否属于当前批量）发生变化时，批量证明可以在对数时间（O(log n)）内完成更新，同时只需维护一个存储先前计算所得递归证明的数据结构。此外，在具备足够并行计算能力的前提下，批量证明的计算时间可达到 O(log n) 的并行复杂度，且与批量大小无关。基于 Reckle trees 的框架，作者进一步提出了 Reckle+ trees，将可更新且简洁的证明能力扩展到某些类型的 Map/Reduce 计算场景。具体而言，证明者可以对内存 M 进行承诺，并为针对 M 的某个子集 I 执行的 Map/Reduce 计算生成简洁证明；当 I 或 M 发生变化时，该证明可以高效更新。论文主要贡献包括：形式上定义了 Reckle trees 的安全性和更新算法，给出了具体构造，并通过实验或复杂度分析展示了其在区块链动态数据流中的实用优势。该研究面向密码学、区块链底层协议和可验证计算领域的研究者，尤其适用于需要动态维护证明的轻客户端、跨链桥和状态通道等场景。

本文针对代理驱动的商业协议（如AP2和ACP）在跨异构域的交易审计中缺乏可互操作、防篡改的审计能力和可验证的时间顺序的问题，提出了一种可验证的全局事件时间线架构。该架构由四个核心组件构成：标准事件模式（确保确定性序列化）、确定性批次形成（无需同步时钟即可实现可重复排序）、基于Merkle树的仅追加承诺（提供对数级成本的包含证明）、以及区块链锚定（构建防篡改时间骨干）。在此基础上，作者引入了加密签名的欺诈标记，通过不可伪造的溯源链将风险标签与锚定证据绑定，并提出了数据集谱系模型，支持可重复、防篡改的AI训练管道。原型实现结果显示：Merkle树构建可在47毫秒内处理5万个事件；端到端验证时间低于0.013毫秒（与批次大小无关）；包含证明大小从1000事件的320字节对数增长至5万事件的512字节；在5万事件规模下，基于Merkle的验证比线性扫描快14.4倍。该工作为自主商业系统提供了一种轻量级、可审计的欺诈情报基础设施。

本文提出并分析了 Parent-Hash 有向无环图（PHDAG），这是一种用于链上注册表的追加型数据结构，其中每次追加操作只需对之前未触及的存储槽进行恒定数量的写入操作。此前，PHDAG 从未被作为独立原语进行形式化分析，也未被明确边界常数，更未与标准的增量 Merkle 树（IMT）进行基准比较。作者形式化证明 PHDAG 的追加操作在 gas 成本上为 O(1)，与注册表大小和树深度无关，而 IMT 的每次插入成本则是关于叶子索引的随机变量，作者推导出其均值和方差的闭式表达式。通过在 Base Sepolia 测试网上对 1 至 25 层树深度进行实验验证，观察到 PHDAG 的 gas 消耗恒定在约 76,276 gas（标准差约 6 gas），而 IMT 成本随深度线性增长。交叉点（IMT 更便宜）远低于所有已调查生产注册表的深度。此外，本文还建立了从公共事件日志中无需信任地重建注册表的方法，时间复杂度为线性，且无需链下依赖。该研究首次将 PHDAG 与 IMT 进行了系统的理论和实证对比，为链上数据结构的成本优化提供了重要参考。