2）将下载到的文件解压缩，您将获取一个名为 "sum proof data" 的文件夹，包括一个聚合证明文件夹和数千个分支证明文件夹，每个文件夹均包含 "sum_proof.json" 和 "sum_value.json" 两个文件。 3）下载欧易的开源验证工具zk-STARKValidator 4）将zk-STARKValidator 和 "sum proof data" 文件夹保存在第一步新建的文件夹中。在下方示意图中，我们把验证工具和数据保存在"下载"文件夹中，命名为"proof-of-reserves"： 5）打开 zk-STARKValidator 并自动运行保存在文件夹中的"sum proof data"文件。 6）查看结果 如果验证通过，执行结果"Total sum and non-negative constraint validation passed"将显示如下： 如果验证失败，执行结果 "Total sum and non-negative constraint validation failed" 将显示如下：

以下是如何验证我们声称持有的资产是否属实以及没有用户持有负净资产的方法： 1、转到我们的储备证明页面并选择责任报告 2、下载 zk-STARK 文件并将其保存在新文件夹中 3、解压文件以提取"sum_proof_data. json"文件 4、下载OKX开源验证工具：zk-STARKValidator 5、将OKX开源验证工具zk-STARKValidator和"sum_proof_data. json"文件一起保存在步骤2中创建的新文件夹中。在我们的例子中，我们将工具和数据文件放在下载文件夹中，名为"储备证明"，如下所示： 6、打开zk-STARKValidator；它将自动运行您保存在文件夹中的求和证明数据文件 7、检查结果 如果验证通过，将显示结果Total sum和非负约束验证通过 如果验证失败，将显示结果Total sum和非负约束验证失败 为了探索更多技术细节，我们的储备证明系统是开源的，可在github上查看和使用。