7）查看结果 如果验证通过，执行结果 "Inclusion constraint validation passed" 将显示如下： 如果验证失败，执行结果 "Inclusion constraint validation failed." 将显示如下：2.2 验证 zk-STARK 总余额约束和非负约束 如何验证： 1）如需验证欧易持有的资产是否真实，以及没有用户持有负资产，请前往"审计文件" 的"账户余额文件" 部分下载 zk-STARK 文件，并保存至新建文件夹。 2）将下载到的文件解压缩，您将获取一个名为 "sum proof data" 的文件夹，包括一个聚合证明文件夹和数千个分支证明文件夹，每个文件夹均包含 "sum_proof.json" 和 "sum_value.json" 两个文件。 3）下载欧易的开源验证工具zk-STARKValidator 4）将zk-STARKValidator 和 "sum proof data" 文件夹保存在第一步新建的文件夹中。

文件必须以名称“_inclusion_proof. json”结尾。JSON字符串包含您的帐户余额和Merkle路径的快照，然后将文件保存在新文件夹中。 5、打开文本编辑器（例如Notebook），然后粘贴JSON字符串并将其保存为文件。文件名必须以“_inclusion_proof. json”结尾。将文件保存在新文件夹中。 JSON字符串包含帐户余额和Merkle路径的快照。

如果验证结果通过，终端程序会返回 Verify address signature end, all address passed (如下图)使用第三方工具验证地址拥有权 针对下列类型的地址，您可以使用第三方工具验证该地址的所有权，证明查询的地址拥有权属于欧易 BTC单签地址 - BTC验签工具 EVM系地址 - ETH验签工具 TRX链地址 - TRX链验签工具 以BTC单签地址为例： 1. 首先，下载并打开储备证明文件 2.拷贝一条记录的地址、消息、签名 （如下图标注的部分） 3. 进入BTC验签工具网站，粘贴复制的地址、消息、签名 4. 如果验证通过，结果将如下图所示验证欧易对 ETH 质押资产所有权 对于 ETH 质押资产，您可以使用第三方浏览器(beaconcha.in)来验证欧易对这些公钥的所有权。 第 1 步：下载并打开 ETH 质押文件。 第 2 步：复制任意公钥地址（如下所示） 第 3 步：进入beaconcha.in，粘贴公钥地址 第 4 步：检查“From address”和“Recipient address”与 ETH 质押文件中的地址是否匹配。