中心化交易所可用加密证明、ZK-Snark建立信任

以太坊联合创始人维塔利克·布特林在2022年11月19日发布了一篇博客，介绍集中式交易所（CEX）如何使用加密证明来保证链上持有的资金能够偿还他们的欠款。布特林指出，除了传统金融领域使用的审计师、公司治理、许可和尽职调查等措施，CEX还可以添加一个系统来限制他们在未经用户同意的情况下提取用户资金。该博客引用了九年前开始的讨论，解释说，如果你证明客户存款等于X（负债证明），X币私钥的所有权证明（证明资产），那么你就有了偿付能力证明。

这篇博文承认了币库、海妖和币安的投入，指出使用资产负债表技术、MerkleTree、ZK-SNARK、Plasma和Validiums等加密证明可以避免类似FTX崩溃的情况。布特林认为ZK-SNARK是所有模型中最好的技术，将其与人工智能中的机器学习模型进行比较，因为它证明了总平衡不是负数。他将该技术描述为对默克尔树的补充。用户将资金存入Merkle树或KZG承诺，允许证明者计算对多项式的承诺。然后，系统会将特定位置处的多项式值显示为声明值。通过隐私散列，分配给每个用户的Merkle分支或KZG证明隐藏了个人余额。该系统还通过允许用户将记录放在默克尔树或贷款金额的多项式上来为贷方工作。Merkle的根在链上发布，然后系统可以识别过度杠杆化的借款人。

布特林还讨论了Plasma和Validiums技术，这是一种防止CEX窃取用户资金的方法。Validiums是Plasma的改进。在智能合约中，每个代币都被分配了一个索引，并位于Plasma块的Merkle树中的特定位置。此外，进行有效的代币转移需要将交易放入树的正确位置并在链上发布根。布特林预见了托管的未来，包括由Validiums等智能合约控制的中心化交易所和倾向于非托管的非托管交易所。程序员说，还可能出现与法定货币和加密货币的半托管交换。