树的根充当代表所有用户余额的单个值。每个用户都可以通过使用显示他们的账户如何连接到根的 Merkle 路径来证明他们的账户是这棵树的一部分。 我们还发布所有用户所有代币的总资产和债务总和。然后，我们创建一个零知识证明（ZKP）来显示两件事情： 求和证明： 默克尔树中的资产和债务价值正确相加 非负证明： 每个用户的总资产大于他们的总债务 当我们试图验证大量账户的默克尔树时，有限的计算资源无法一次整理一整颗树。为了克服这一挑战，我们将账户分成称为批次的较小组。每个批次都使用批次电路单独处理，该电路检查默克尔树的底部。 批处理不仅使其易于管理，而且允许我们同时运行这些检查（并行处理）。一旦我们有了每个批次的结果，我们就使用另一层电路，称为递归电路，将所有批次组合在一起并验证，直到我们证明了整个默克尔树。1、什么是批处理电路？ 批处理电路接受1024个账户 (acc0, acc1,..., acc1023) 作为输入，并生成3个主要输出：一个哈希 (hbatch)，一个总资产价值 (ebatch)，和一个总债务价值 (dbatch)。它检查： 每个账户的 USD 权益总额大于债务总额。