全球最大的加密货币交易所币安发布了 2023 年 8 月的准备金报告，显示其所有主要加密货币持有的准备金率远超 100%。
此次披露是币安持续承诺维护储备证明（PoR）系统的一部分，提供证据表明其拥有足够的资金来支付所有客户存款。该报告基于对 BTC 区块高度 801130 的审计（更新至 2023 年 8 月 1 日的汇总数据）。
储备证明（PoR）是一种透明协议，用于确认加密货币交易所的偿付能力。它的作用是证明交易所拥有足够的资金，可以按照1:1的比例覆盖用户的资产。本质上，当用户存入比特币时，币安的储备金会增加至少一个比特币，从而确保所有客户资金得到充分支持。这些数字不包括币安的公司持股，这些公司持股是独立的。
币安的 PoR 报告显示，该交易所的准备金远高于所有报告的加密货币（包括比特币、以太坊、币安币、Tether、BUSD 和 USDC）的客户净余额，准备金率范围为 101.62% 至 117.99%。这表明该公司有足够的准备金来满足所有潜在客户的提款。
PoR 旨在提高加密货币生态系统的透明度、安全性和用户保护。因此，它可以阻止交易所滥用用户资金并促进用户之间的信任。据此，币安用户可以自行验证其账户是否包含在最后一次 PoR 验证中，进一步强调了交易所对透明度和用户信任的承诺。
储备证明 (PoR) 如何与 Merkle 树配合使用
为了确保以 1:1 的比例持有所有用户资产，币安实施了一个利用 Merkle 树的系统。Merkle 树是一种加密工具，有助于将大量数据压缩为单个哈希值，称为 Merkle 根。该根充当总结所有输入数据的加密“密封”。此外，默克尔树允许用户验证一组特定密封数据中包含的特定内容。
在 PoR 的背景下，币安使用 Merkle Trees 的属性来验证个人用户账户是否已纳入审计师检查的负债报告中。每个用户都可以使用其唯一生成的 Merkle 哈希/记录 ID 来验证其资产持有情况。
以下是该过程的逐步分解：
验证地址所有权：币安首先验证 PoR 过程中使用的钱包（冷钱包和热钱包）的所有权是否属于交易所。
用户余额快照：在特定日期和时间拍摄每个客户帐户内资产持有量的快照。
Merkle Tree 的生成：币安通过链接哈希后的用户 ID 和每个用户的余额来生成底层数据块。然后根据所有用户的数据创建一棵 Merkle 树。如果叶节点中的任何账户 ID 或余额发生变化，Merkle 根也会发生变化。这样，每个用户都可以验证自己的资产是否包含在叶子节点中。
验证过程中的 zk-SNARK
除了默克尔树之外，币安还在验证过程中使用了 zk-SNARK（零知识简洁非交互式知识论证）。zk-SNARK 是一种证明协议，允许人们证明他们知道一个值，而无需透露该值是什么。
以币安为例，交易所使用 zk-SNARK 来证明所有叶节点的余额集（即用户账户余额）对交易所声称的总用户资产余额有贡献。每个用户都可以轻松访问他们的叶节点，以查看它是否包含在流程中。
zk-SNARKs的使用遵循以下几个步骤：
验证地址所有权：与之前的流程一样，币安会验证 PoR 流程中使用的钱包（冷钱包和热钱包）的所有权。
用户余额快照：再次获取每个客户帐户内资产持有量的快照。
生成 zk-SNARKs 证明：为每个用户生成 zk-SNARKs 证明文件。这允许每个用户轻松访问其叶节点并验证用户的总净余额是否大于或等于零。
除了这些自我验证方法外，币安还利用第三方审计提供审计报告，进一步增强验证过程的安全性和透明度。