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

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

Binance CEO张鹏鹏 说过 该改进是根据以太坊联合创始人 Vitalik Buterin 的 建议. 去年 XNUMX 月，Buterin 提出了通过透明的储备证明系统促进去信任化中心化交易的想法。

Binance 首次出版 其 PoR 系统于 2022 年 XNUMX 月启动，因为用户在 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 个小时，成本约为 1,000 美元。 该交易所正在努力实施 Buterin 建议的解决方案，以提高证明生成过程的效率，这将降低成本并使其能够更频繁地提供证明。

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

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