零知识证明:什么是 zk-STARKs 以及它们是如何工作的?(zk-STARK V2)
为了克服这一挑战,我们将账户分成称为批次的较小组。每个批次都使用批次电路单独处理,该电路检查默克尔树的底部。 批处理不仅使其易于管理,而且允许我们同时运行这些检查(并行处理)。一旦我们有了每个批次的结果,我们就使用另一层电路,称为递归电路,将所有批次组合在一起并验证,直到我们证明了整个默克尔树。1、什么是批处理电路? 批处理电路接受1024个账户 (acc0, acc1,..., acc1023) 作为输入,并生成3个主要输出:一个哈希 (hbatch),一个总资产价值 (ebatch),和一个总债务价值 (dbatch)。它检查: 每个账户的 USD 权益总额大于债务总额。 ebatch 是这些账户中所有以 USD 计价的权益价值的总和。 dbatch 是这些账户中所有以 USD 计价的债务价值的总和。 hbatch 是使用帐户哈希创建的 Merkle 树的根。 在求和 ebatch 和 dbatch 期间没有溢出。2、什么是递归电路?
发布于 2024年10月21日更新于 2026年2月11日95