本文提出了一种名为 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 的安全性和更新算法，给出了具体构造，并通过实验或复杂度分析展示了其在区块链动态数据流中的实用优势。该研究面向密码学、区块链底层协议和可验证计算领域的研究者，尤其适用于需要动态维护证明的轻客户端、跨链桥和状态通道等场景。