币安致力于为每位用户提供透明清晰的资产安全与保障措施。您目前可以使用zk-SNARK和默克尔树算法，准确验证币安的储备金证明和您的账户余额。
如何使用zk-SNARK和默克尔树算法验证您的账户余额
| 验证工具版本 | POR 验证周期 |
| 1.1.0 | 2024年10月1日 - 至今 |
| 1.0.2 | 2023年11月1日 - 2024年9月1日 |
| 1.0.1 | 2023年3月1日 - 10月1日 |
| 1.0.0 | 2023年2月1日 - 2月1日 |
| 默克尔树验证 | 2022年11月22日 - 12月22日 |
3. 找到自我验证默克尔树，确保【验证类型】是“Merkle Tree + Zksnarks”，可看到您的账户数据。点击【下载Merkle Tree】，保存到您的计算机上。
请注意，该报告是截图快照，不是实时资产的展示，数据很可能与您当前账户资产不一致。
4. 找到验证工具文件夹。要验证根哈希值，请在MacOS系统运行“./verifier_darwin_amd64”，在Linux系统运行“./verifier_linux_amd64”，在Windows系统运行“./verifier_windows_amd64.exe”。
先决条件：
将zip文件中的“config.json”、“proof.csv”和“zkpor864.vk.save”移动到“PathToVerifierTool/config”文件夹。
配置：
- 设置“ProofTable”，使其参考验证器生成的zk-SNARK证明数据文件；
- 设置“ZkKeyName”，使其指向安装包中下载的验证密钥；
- “CexAssetInfo''是指币安中列出的所有代币的客户总余额（含所有可验证和不可验证的资产）。可使用列出的zk-SNARK证明对其验证。您可以将其与币安储备金证明中的可验证资产进行交叉验证。除 BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT, DOGE, PEPE, FLOKI, IDRT, BONK, DOGS, 1000SATS 和NEIRO（为10^2）外，所有余额和价格都是10^8。
5. 要验证您的账户信息，请在MacOS系统运行“./verifier_darwin_amd64 -user”，在Linux系统运行“./verifier_linux_amd64 -user”，在Windows系统运行“./verifier_windows_amd64.exe -user”。
先决条件：
下载或保存“user_config.json”。这是基于用户在截图时的账户数据特别生成的。您可以在下载的zip文件夹中找到此文件。将其移动到“PathToVerifierTool/config”文件夹。
配置：
- “AccountIndex”：默克尔树中默克尔叶的位置。
- “AccountIdHash” - “账号代码”：用于识别每位用户在币安的账号。您可以在【储备证明报告】页面找到您的账户信息。
- “TotalEquity”：用户持有的资产总值（美元）；总值为10^16。
- “TotalDebt”：用户借款总值（美元）；总值为10^16。
- “Assets”：截图快照中用户的资产。可参考步骤2下载的资产模板列表中的索引对应的资产（参考“Asset_List.csv”，通过索引识别代币）。除BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT, DOGE, PEPE, FLOKI, IDRT, BONK, DOGS, 1000SATS 和NEIRO（为10^2）外，其余资产余额和价格都是10^8。
“Root”：验证练习的默克尔根哈希值。用于根据来自相同根哈希值的默克尔路径信息检查用户信息。 - “Proof”：属于用户的默克尔路径。
了解更多有关zk-SNARK如何运行的信息，请参见：
如果您有任何建议，请在这里提交您的反馈。