币安致力于为每位用户提供透明清晰的资产安全与保障措施。您目前可以使用zk-SNARK和默克尔树算法，准确验证币安的储备金证明和您的账户余额。
币安的每月储备金证明何时发布？
币安的储备金证明将在每月 1 日 00:00:00 (UTC) 进行用户资产快照，结果将在同月 7 日公布。
如何使用zk-SNARK和默克尔树算法验证您的账户余额
1.打开GitHub官网，从仓库下载验证工具。
| 验证工具版本 | POR 验证周期 |
| 1.1.0 | 2024 年 10 月 1 日 ‒ 至今 |
| 1.0.2 | 2023 年 11 月 1 日 ‒ 2024 年 9 月 1 日 |
| 1.0.1 | 2023 年 3 月 1 日 ‒ 2023 年 10 月 1 日 |
| 1.0.0 | 2023 年 2 月 1 日 ‒ 2023 年 2 月 1 日 |
| 默克尔树验证 | 2022 年 11 月 22 日 ‒ 2022 年 12 月 22 日 |
2.前往币安官网，登录您的账户。点击【个人资料】-【钱包】-【储备证明报告】。单击此箭头展开验证数据。
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”-“记录 ID”：用于识别每位用户的币安账号。您可以在【储备证明报告】页面找到您的账户信息。
- “TotalEquity”：用户持有的资产总值（美元）；总值为10^16。
- “TotalDebt”：用户借款总值（美元）；总值为10^16。
- “TotalCollateral”：用户抵押资产总值（美元）；总值为 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如何运行的信息，请参见：
如果您有任何建议，请在这里提交您的反馈。
