在数字货币的世界里，安全和透明是至关重要的，币安始终走在前沿，致力于为用户提供安全可靠的交易环境，为了进一步增强透明度，币安引入了zk-SNARK和默克尔树算法，用户现在可以通过这些先进的技术来验证币安的储备金证明和自己的账户余额，确保资金安全无虞，这种创新的方法不仅提高了用户对平台的信任度，也为整个加密货币行业树立了新的标准，让每一位用户都能清晰了解自己的资产状况，从而更放心地参与数字货币交易，让我们一起深入了解如何使用这些工具来验证您的账户余额，保障您的数字资产安全。

如何使用ZK-SNARK和默克尔树算法验证您的账户余额

币安致力于为每位用户提供透明清晰的资产安全与保障措施，您目前可以使用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日 - 10月1日
• 1.0.0 2023年2月1日 - 2月1日默克尔树验证 2022年11月22日 - 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” - “账号代码”：用于识别每位用户在币安的账号，您可以在【储备证明报告】页面找到您的账户信息；
• “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和默克尔树算法来验证您的币安账户余额，从而增强您对平台透明度和安全性的信任。

了解更多有关zk-SNARK如何运行的信息，请参见：

• 通过零知识证明提高加密货币的透明度
• zk-SNARK如何改进币安的储备金证明系统

如果您有任何建议，请提交您的反馈。

币安一直致力于为用户提供更安全、透明的交易体验，通过引入zk-SNARK和默克尔树算法，币安正在努力实现这一目标，用户可以更加放心地在币安上进行交易，享受数字货币带来的便利。

未来，币安将继续探索新的技术，不断提升平台的安全性和透明度，为用户创造一个更加值得信赖的数字货币交易环境，敬请期待币安的更多创新举措，共同见证数字货币行业的蓬勃发展，感谢您的支持与信任，币安将与您携手前行，共创辉煌。