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

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

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

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

彭博社:币安在2020年及2021年没有遵循BUSD储备程序:金色财经报道,据彭博社报道,币安承认其与币安挂钩的稳定币并不总是得到储备的充分支持,但表示现在已经解决了这个问题。彭博社援引区块链分析公司 ChainArgos 的 Jonathan Reiter 的分析报告称,该代币在 2020 年和 2021 年存在抵押不足的问题。该发言人指出,用户赎回从未受到该问题的影响,但没有详细说明与币安挂钩的 BUSD 抵押不足多长时间,也没有详细说明币安何时发现并修复了该问题。

根据该报告,与币安挂钩的 BUSD 稳定币与 Paxos 发行的 BUSD 的价值相关联,并被创建为具有可以在以太坊以外的区块链上运行的 BUSD 版本。它由 BUSD 的锁定储备以 1:1 的比例支持。稳定币的弹性以及它们是否有可靠的资金支持在加密货币行业是一个有争议的问题。稳定币旨在密切跟踪其他东西的价值,通常是美元。因此,如果投资者将 100 亿美元投入稳定币,理论上应该有 100 亿美元用于支持它。最大的稳定币,Tether 的 USDT,多年来一直担心它没有得到充分支持。2021 年,在纽约州发现其谎称其稳定币完全由美元 1 比 1 支持后,Tether被迫支付 1850 万美元的罚款。[2023/1/11 11:05:06]

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

赵长鹏:币安在现金交易中拥有55%的交易市场份额:金色财经消息,币安创始人赵长鹏发推特表示,币安希望通过自由交易来巩固加密市场的领先地位。根据CryptoCompare的数据,币安在现金交易中拥有55%的交易市场份额,其最接近的竞争对手Coinbase和FTX的份额不到10%。[2022/9/1 13:02:59]

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

币安在4月26日至6月10日期间向乌克兰难民发放7万张加密卡:6月16日消息,Watcher.Guru发推称,币安在4月26日至6月10日期间向乌克兰难民发放了7万张加密卡。[2022/6/16 4:31:11]

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系统的代码开源,旨在为其用户提供更多透明度。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

[0:15ms0-2:261ms