对于初学者，有许多资源可以帮助你入门。对于高级用户，你可以参考MOOC课程和学术专著。二、zk-STARK 是如何工作的？ 我们使用每个用户账户的哈希作为叶子创建一个默克尔树。每个账户都显示各种代币（例如，BTC，ETH）的USD余额。为了处理这些余额，我们将其余额分成每个代币的非负股权和债务。这样，我们只使用正数，更容易处理计算和避免错误。 例如： 如果用户的BTC代币余额为 A，则其 BTC 权益为 A，BTC债务为 0。 如果一个用户的ETH代币余额是 - B，它对应的权益是 0，债务是 B。 接下来，我们将这些账户值作为叶子构建一个 Merkle 树。树的根充当代表所有用户余额的单个值。每个用户都可以通过使用显示他们的账户如何连接到根的 Merkle 路径来证明他们的账户是这棵树的一部分。 我们还发布所有用户所有代币的总资产和债务总和。然后，我们创建一个零知识证明（ZKP）来显示两件事情： 求和证明： 默克尔树中的资产和债务价值正确相加 非负证明： 每个用户的总资产大于他们的总债务 当我们试图验证大量账户的默克尔树时，有限的计算资源无法一次整理一整颗树。