储备金证明

什么是储备金证明？

储备金证明可以确保托管机构持有充足的链上储备金，足以覆盖用户在交易所账面所有的资产，同时具备承兑能力。

储备金证明通过加密的证明方法来确认数字货币交易所在特定时间在某区块链上持有特定金额的资产，提升用户总资产和交易所存款总额的透明度，同时不会泄露任何有关个人账户余额的敏感信息，使储备金证明成为数字货币生态的关键组成部分。

用作储备的资产是具有较强流动性、市场广泛接受的数字货币。欧易提供多达 22 个币种的储备金证明，包括

， 及 ， 等稳定币。

储备金证明的原理是怎样的？

1. 我们使用一种叫做“zk-STARK”的零知识证明算法，来证明并验证交易所持有的所有用户资产。

2. 我们会验证欧易链上钱包地址的所有权及欧易钱包资产总额。

3. 最后，我们会通过对比交易所用户总资产及已公布的欧易链上钱包地址中的总资产，来验证欧易平台的资产储备金率。

什么是 zk-STARK？

，即零知识可扩展的透明知识论证 (Zero-Knowledge Scalable Transparent Argument of Knowledge)，是一种通过零知识原则和 FRI 协议验证数据并证明审计的真实性的安全方法。此外，zk-STARK 不会公开特定的金额、价值或地址，进而保障用户隐私。

欧易如何通过 zk-STARK 验证您的资产

1. 欧易对每个用户的资产余额进行快照，然后将这些数据输入到一个记录表和加密的“默克尔树”系统中，创建一个可以有效防止篡改的审计记录，可用于验证余额数据的准确性。

2. 设定三条用户资产余额必须满足的规则或“约束”，如果每项约束都通过验证，即可证明欧易资产储备的真实性。
   
   规则 1：余额总和约束
   欧易持有的用户资产总量等于每个用户资产余额的总和。
   
   规则 2：非负约束
   每个用户的总余额大于零，他们的资产在核算时也包含了负债，并确保每个用户的净资产为正。这对于维持数字货币交易所的偿付能力至关重要。
   
   规则 3：包含性约束
   每个用户的总余额都包含在计算和验证过程中。

我们的储备金证明系统是开源的，欢迎前往

进行查看和使用。

如何验证欧易对钱包地址的所有权及钱包资产

欧易已经公开了一组钱包地址，用户可以查看欧易的链上总资产。这组地址包含已用私钥签名的一条消息“I am an OKX address”， 代表了欧易的所有权。用户可以使用第三方提供的开源工具或欧易提供的“

”来验证链上地址所有权是否属于欧易。

如何验证欧易的储备金率

用户可以对比欧易的链上钱包地址资产和默克尔树根内的欧易用户总资产。

如果欧易链上资产大于或等于用户的总资产，则证明欧易拥有足够的资产储备。

注意：此报告是获取数据时用户的资产快照，快照未涵盖的资产及快照结束后的任何交易将不会包含在此报告内。