可以在必安的储备证明报告中选择一份审计快照，下载账户对应的Merkle Tree数据，再使用必安帮助页列出的验证工具核对。账户核查需要选择与该报告周期匹配的工具版本，并使用压缩包里的账户专属配置文件。验证结果对应所选快照，不是实时余额。

展开要核对的报告，可以查看验证编号、日期和验证类型；选择与你要核查的那一期报告。

先选对储备证明报告

1. 从个人资料进入“储备证明报告”，在列表中找到需要核查的报告。

   

2. 按日期打开对应报告，确认报告类型和快照日期与要核查的周期一致。

   

3. 在报告详情下载Merkle Tree数据，并保留这期报告对应的文件。必安说明每月1日00:00 UTC进行账户资产快照，同月7日前公布结果；报告反映的是快照时点，不是实时余额。

   

下载与报告周期匹配的验证工具

从必安储备证明说明页进入工具仓库，先按报告日期选验证器版本。该说明页在2026年8月列出的对应关系是：1.2.1用于2026年8月1日及之后的报告，1.2.0用于2026年6月至7月，1.1.0用于2024年10月至2026年5月。版本表可能更新，下载前再核对一次；旧报告不要直接套用最新版工具。

解压后，把“config.json”“proof.csv”和“zkpor864.vk.save”放进验证工具目录下的“config”文件夹。核对个人账户余额时，还要从报告详情下载对应的“user_config.json”，并放在同一文件夹。这些文件含有账户专属数据，不要上传网盘、论坛或发给他人。

运行验证并区分两个结果

打开解压后的工具目录，在终端运行与你的电脑系统对应的命令：

• macOS：./verifier_darwin_amd64
• Linux：./verifier_linux_amd64
• Windows：./verifier_windows_amd64.exe

上面的命令用于核对报告数据。若要核对个人账户，在命令末尾加上 -user，例如macOS使用./verifier_darwin_amd64 -user；Linux和Windows也在各自命令末尾加相同参数。运行前确认工具版本与报告日期匹配。

报告中的账户信息包括记录ID、资产总值、负债、抵押资产、资产列表、Merkle根和账户对应的证明路径。工具会使用下载的报告文件与个人配置进行验证。结果显示不通过时，先核对报告日期、工具版本及文件是否放在正确的config目录；不要修改账户专属配置后再把结果当作有效证明。

这项核查能说明什么

Merkle Tree和zk-SNARK验证用于核对账户信息是否包含在指定储备证明报告的数据中。它回答的是“这份快照报告中的账户记录能否通过验证”，不能说明快照之后的余额，也不能单独证明未来任意时点的资金状态。这个边界来自报告采用定时快照的机制。

如果只想确认账户记录是否进入某期报告，可在储备证明页面核对该期报告的验证类型、日期和账户资料；需要本地运行验证时，再准备匹配版本的验证器和账户专属文件。不要公开账户记录ID、个人配置、证明文件或完整命令输出。

想查看自己的账户记录是否列入某期报告，可先登录必安账户，再打开储备证明报告。报告反映的是标注日期的快照，不是实时余额。

风险提醒：储备证明反映特定时间和范围内的数据快照，不能当作实时余额或对未来兑付的保证。不要公开账户专属配置文件、验证数据或个人账户信息。