币安在其储备证明系统中添加了 zk-SNARK 验证

币安根据 Vitalik Buterin 关于提高储备证明系统透明度的建议实施了升级。

币安已使用 zk-SNARK 验证升级其储备证明 (PoR) 系统，这是一种零知识证明形式，可保护敏感用户信息的隐私和安全。

币安首席执行官赵长鹏表示，此次改进是根据以太坊联合创始人 Vitalik Buterin 的建议实施的。去年 11 月，Buterin 提出了通过透明的储备证明系统促进去信任化中心化交易的想法。

币安于 2022 年 11 月首次发布了其 PoR 系统，因为用户在 FTX 崩盘后开始要求交易所提高透明度。当时，币安使用 Merkle 树密码学来让用户验证他们的持有量。

然而，该系统有两个主要缺点。首先，Merkle 树中的叶子节点代表用户持有的哈希以保护隐私，这意味着 Merkle 根不能反映其叶子节点余额信息的总和。

其次，恶意实体可能会在树中某处的假账户下添加负余额，以使所需准备金的规模看起来更小。

Binance 声称 zk-SNARKs 解决了这些挑战。零知识验证系统可以确保 Merkle 树中的所有叶子节点都对 Binance 声称的每种加密货币的总用户余额做出了贡献。它还将确保树中没有负余额的用户。

Binance 将生成并发布 zk-SNARK 证明，用于构建 Merkle 树以证明其储备。通过验证 Merkle 证明 Binance 用户可以检查他们的余额是否包含在 Merkle 树根中。用户可以验证 zk-SNARK 证明，以确保 Merkle 树的构建没有任何篡改。

由于 Binance 拥有数百万用户，因此不可能获得 Merkle 树构造的单一证明。因此，币安会将用户分成864个批次。为一批用户生成 zk 证明需要 110 秒。可以在不到 1 毫秒的时间内验证证明。

币安为所有账户生成证明需要 2 个小时，成本约为 1000 美元。该交易所正在努力实施 Buterin 建议的解决方案，以提高证明生成过程的效率，这将降低成本并使其能够更频繁地提供证明。

Binance 的 PoR 系统目前支持 13 种加密货币，最近增加了 4 种，并计划在未来几周内增加更多代币。

币安还将其 PoR 系统的代码开源，旨在为其用户提供更多透明度。