摘要：交易所说“用户资产 1:1 储备”，你可以自己核对：先在平台页面找到自己的 Record ID / 默克尔叶子，再用官方开源工具在本地验证。本文按币安、欧易、Gate 分别写清入口和步骤，也讲清储备证明能证明什么、不能证明什么。

先说合规边界：中国大陆监管把虚拟货币相关业务定性为非法金融活动；币安、欧易的用户协议不向中国大陆居民提供服务，Gate 的服务条款也把中国大陆列为受限地区。本文只讲储备证明的原理和核对方法，不构成投资建议。

交易所暂停提现、被盗或传出挤兑时，大家最关心的是“我的钱还在不在”。储备证明（Proof of Reserves，简称 PoR）就是交易所给出的一个答案：公开自己的钱包资产，再证明用户余额的总和不超过这些资产。像这次 Bitget 安全事件之后，判断能不能兑付的思路我们在交易所暂停提现时怎么判断能不能兑付里写过，其中一项就是看储备证明；这篇把“怎么亲手核对”单独讲清。

先弄懂四个概念

  • 储备（资产端）：交易所公开的链上钱包地址和余额。任何人都能在区块浏览器上查这些地址在快照时点的余额。
  • 负债（用户余额快照）：某个时点所有用户在平台上的余额。这部分在交易所的数据库里，外人看不到，所以需要下面两种技术来证明。
  • 默克尔树（Merkle Tree）：把每个用户的“账户哈希 + 各币种余额”作为一片叶子，两两哈希、逐层向上，最后得到一个根哈希（Merkle Root）。只要有一个账户或一个余额被改动，根哈希就会变。你拿到自己叶子到根的路径，就能验证自己被算进去了。
  • 零知识证明（zk-SNARK / zk-STARK）：只用默克尔树有个漏洞——交易所可以塞进余额为负数的“假账户”把总负债做小。零知识证明用来证明树里所有余额都不小于零、而且加总正确，同时不暴露任何人的具体余额。币安、Gate 用的是 zk-SNARK，欧易用的是 zk-STARK。

所以自己核对分两层：第一层在平台页面上确认自己在不在这次快照里、余额对不对；第二层下载官方开源工具，在自己电脑上跑一遍验证。第二层需要会用命令行，看不懂可以只做第一层。

币安：钱包 → Verification

币安官方储备证明页写的查询路径是：登录币安网站 → 点“钱包（Wallet）” → 点“Verification”。

  1. 选择要核对的审计日期。
  2. 页面会显示这次核对的类型、你的 Record ID（只对应你的账户和这次审计）、纳入核对的资产，以及快照时你账户里各资产的余额。
  3. 对照自己当时的余额看有没有明显出入。注意快照之后的充值、交易不会反映在这次数据里。
  4. Record ID / Merkle Leaf 可以用来独立验证自己的余额被计入了负债报告。

币安的零知识电路要保证三件事：你的余额计入了用户总余额；每个账户的净余额不小于零；更新叶子后默克尔根的变化是有效的（没有用伪造数据）。电路和验证程序开源在 GitHub 的 binance/zkmerkle-proof-of-solvency 仓库，里面的 verifier 同时支持验证批量证明和单个用户证明。

储备证明（PoR）怎么自己验证：币安、欧易、Gate 的默克尔树核对步骤（2026）-有序
GitHub 上币安开源的 zkmerkle-proof-of-solvency 仓库首页截图（2026-09-29）

欧易：审计页 → 复制数据 → zk-STARK 验证器

欧易的 PoR 从 2024 年 9 月 27 日起用 zk-STARK V2 版本。按欧易 GitHub 仓库 okx/proof-of-reserves 的说明，普通用户验证“自己被计入 + 总额正确 + 余额非负”的流程是：

  1. 登录后打开欧易的“审计（Audits）”页面，点“详情”查看你的审计数据。
  2. 点“复制数据”，把 JSON 内容粘贴到一个新文件夹里的新文件中，文件名要以 inclusion_proof.json 结尾。
  3. 在“审计文件”页的“负债报告”标签下，下载 zk-STARK 文件。
  4. 解压后得到 sum_proof_data.json，放进同一个文件夹。
  5. 从欧易官方 GitHub 下载 zk-STARKValidator 验证程序，放进同一个文件夹。
  6. 运行 zk-STARKValidator，它会自动读取这些 JSON 文件，检查约束是否满足。
储备证明（PoR）怎么自己验证：币安、欧易、Gate 的默克尔树核对步骤（2026）-有序
欧易 GitHub 仓库 okx/proof-of-reserves 中 zk-STARK Validator V2 的操作步骤截图（2026-09-29）

资产端也能查：欧易公布的储备文件里有每个地址、一句固定消息 "I am an OKX address" 和签名。仓库里的 VerifyAddress 用来验证这些地址确实归欧易所有，CheckBalance 可以配置区块链节点或 OKLink API，查快照区块高度下这些地址的链上余额，和欧易公布的数字对比。

Gate：审计页下载数据 → 本地跑两条命令

Gate 从 2023 年 11 月起把储备证明升级为默克尔树 + zk-SNARK。按 Gate 官方学院教程和开源仓库的说明：

  1. 从 Gate 储备证明页面提供的下载链接或 GitHub 下载对应系统的验证程序（Mac Intel、Mac M 系列、Linux、Windows 各有一个版本），改名为 main。
  2. 进入个人账户的“审计（Audits）”页面，找到要核对的批次，分别点“下载默克尔树”和“下载用户配置”。
  3. 得到一个 zkmerkle_cex_xxx.tar.gz 压缩包，解压后把 main 放进文件夹根目录，把 user_config.json 放进 config 文件夹。
  4. 在终端进入该文件夹，运行 ./main verify cex 验证交易所整体数据，成功会输出 All proofs verify passed!!!。
  5. 再运行 ./main verify user 验证自己的资产，成功会输出你的默克尔叶子哈希和 verify pass!!!。
储备证明（PoR）怎么自己验证：币安、欧易、Gate 的默克尔树核对步骤（2026）-有序
Gate 开源仓库 README 中“用户验证交易所资产 / 验证自己资产”的命令与成功输出截图（2026-09-29）

补充一点：Gate 原来的 GitHub 仓库 gateio/proof-of-reserves 已归档，页面提示项目迁到了 gate/proof-of-reverses（仓库名原文如此）。下载验证程序时认准 Gate 官方组织名下的仓库，不要用来路不明的网盘版本。

核对自己的数据时，重点看这几项

  • 快照时间：PoR 是某个时点的快照。先确认审计日期，再回忆自己那天的持仓。
  • 余额是否一致：页面显示的快照余额，应该和你当时账户里的余额基本一致。
  • 纳入了哪些资产：不是所有币种都纳入核对，理财、合约账户等的口径各平台也不同，以页面列出的资产为准。
  • 储备率：页面上一般会写总体储备率和单币种储备率。储备率 = 平台持有的资产 ÷ 用户存入的资产。高于 100% 才说明这个币种在快照时点覆盖了用户余额。
  • 更新频率：看最近一次审计是什么时候。很久不更新，本身就是一个需要注意的信号。

储备证明能证明什么、不能证明什么

能证明的：在快照那一刻，平台控制的链上地址里有这么多资产；用户余额（在零知识证明约束下）加总是这么多，而且你的账户被算了进去。

不能证明的：

  1. 不能证明快照之外的时间。资产可能在快照前后临时调入调出。
  2. 负债端不一定完整。PoR 统计的是用户在平台上的余额，平台自身的借款、对外负债通常不在里面。
  3. 不代表没有风险。储备充足也可能被盗、被冻结，或者遇到监管和法律风险。
  4. 不等于审计意见。零知识证明解决的是“数学上算得对”，数据源本身是否完整，仍然依赖平台。

所以储备证明是一个有用的参考，但不是存大额的理由。长期不动的资产，更稳妥的做法是分散存放、自己保管私钥；留在交易所的部分，至少把账户安全设置清单里的 2FA、防钓鱼码、提现白名单都开好。

官方入口

披露：下面是本站的邀请链接，通过它注册，本站可能获得交易所返佣，不影响你的费率。只从官方域名注册，也可以直接打开官网不填邀请码。

  • 币安：binance.com 注册，邀请码 L5KY6YCR；储备证明页 binance.com/zh-CN/proof-of-reserves
  • 欧易：okx.com 注册；储备证明页 okx.com/proof-of-reserves
  • Gate：gate.com 注册；储备证明页 gate.com/proof-of-reserves

相关阅读

资料来源（2026-09-29 查询）：币安储备证明页、binance/zkmerkle-proof-of-solvency、okx/proof-of-reserves、Gate 学院：如何用 Gate 储备证明验证资产安全、gate/proof-of-reverses。各平台页面和工具会更新，操作前以官方最新说明为准。

风险提示：数字资产价格波动大，可能全部亏损；中国大陆监管把虚拟货币相关业务定性为非法金融活动。本文不构成投资建议。