本论文提出了一种名为 Reckle trees 的新型向量承诺（vector commitment）方案，其核心创新在于将简洁递归论证（succinct recursive arguments）与 Merkle 树相结合，从而支持可更新的简洁批量证明（updatable succinct batch proofs）。在区块链场景中，验证者常常需要针对不断更新的区块流维护证明，传统 Merkle 批量证明在叶子节点变化时需要重新计算，效率低下。Reckle trees 通过一种称为 canonical hashing 的基于哈希的累加器，将批量哈希的计算嵌入到递归 Merkle 验证过程中，使得当任何 Merkle 叶子（无论是否属于批量证明）发生变化时，批量证明可以在对数时间内完成更新，并借助存储先前递归证明的数据结构避免重复计算。此外，在足够并行度的条件下，批量证明的初始计算复杂度为 O(log n) 并行时间，且与批量大小无关。论文还进一步扩展到 Reckle+ trees，用于支持可更新的简洁 Map/Reduce 计算证明：证明者可以承诺一个内存 M，针对 M 的子集 I 生成简洁证明，并在 I 或 M 变化时高效更新证明。该研究为区块链轻节点、跨链桥、状态通道等需要高效证明维护的应用提供了新的密码学原语。

MicroNova 是一种基于折叠的递归论证系统，旨在高效证明形如 y = F^(ℓ)(x) 的增量计算，其中 F 可以是使用 R1CS 约束系统编码的非确定性计算。与现有折叠论证相比，MicroNova 的关键创新在于其验证者在资源受限环境（如以太坊区块链）中的具体效率。证明过程逐步生成，且证明大小和验证时间与迭代步数 ℓ 无关。在最后迭代后，证明被压缩为 O(log N) 个群元素，其中 N 是单次调用 F 的约束数。压缩证明的验证仅需 O(log N) 次群标量乘法和两次配对运算。MicroNova 需要通用可信设置，并可复用为 KZG 多项式承诺方案创建的现有设置材料。论文还给出了实现和实验评估：在以太坊上验证一个证明大约消耗 220 万 gas，证明者的开销相比基础的 Nova 仅有极小增加。这项工作对区块链上可验证计算、递归证明合成等领域有显著贡献，尤其为在智能合约中高效验证复杂计算提供了实用方案。