在我们的例子中，我们将工具和数据文件放在下载文件夹中，名为"储备证明"，如下所示： 6、打开zk-STARKValidator；它将自动运行您保存在文件夹中的求和证明数据文件 7、检查结果 如果验证通过，将显示结果Total sum和非负约束验证通过 如果验证失败，将显示结果Total sum和非负约束验证失败 为了探索更多技术细节，我们的储备证明系统是开源的，可在github上查看和使用。