2.1 验证 zk-STARK 包含性约束 验证理论 按照 STARK 程序，我们将计算所有用户资产的执行记录表，并将每个用户的信息加密生成哈希值记录表，作为默克尔树的叶子节点，然后将叶子节点提交到将在每轮储备金证明公布的默克尔树根中。 为了验证您的资产是否包含在树根中，我们将为您提供默克尔路径进行验证。您可以通过将您的资产信息加密生成哈希值来计算您的叶子节点，然后验证您的叶子节点是欧易公布的默克尔树根的有效叶子节点。 例如，在图1中，ID 为 id_k 的用户将计算 hashk = hash("20" + "15" + "5" + "id_k" + "99821")，红色方框中的其他数据将是默克尔路径验证，用户可以通过欧易提供的开源工具进行此验证。 由于默克尔数据树的叶子节点是经过加密生成的哈希值，您的任何私人信息都不会泄露给他人。如何验证： 1）要验证您的账户资产余额是否以 zk-STARK 默克尔树叶子节点的形式包含在树根中，请登录您的欧易账号，前往"审计" 页面查看近期审计文件，点击"详情"查看审计数据。 2）点击"复制数据"获取手动验证所需的数据。