V神：中心化交易所可以使用加密证明「ZK-Snark」来建立信任

• 著名的区块链程序员，V神（Vitalik Buterin），写了一篇关于中心化交易所如何走向去信任的博客。

V神认为“零知识简洁的非交互式知识论证”（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge），简称ZK-SNARK是储备的最佳证明。

以太坊的联合创始人V神（Vitalik Buterin）于2022年11月19日发表了一篇博客，讨论了CEX(中心化交易所)如何使用加密证明向公众保证链上持有的资金覆盖了他们的债务。

V神写道，在TradFi(传统金融)使用的措施——如审计师、公司治理、许可证和尽职调查——之上，交易所至少可以增加一个系统，限制它们在未经用户同意的情况下提取用户的资金。

该博客引用了一场始于9年前的讨论，

“如果你证明客户存款等于X(负债证明)，X个硬币的私钥所有权证明(资产证明)，那么你就有了偿付能力证明。”

这位出生于俄罗斯的加拿大程序员的讨论发生在衍生品交易所FTX暴雷一周之后，FTX交易所的新任首席执行官约翰·雷称其为“公司控制的彻底失败”。

这篇博客文章——认可了Coinbase、Kraken和必安的建议——指出，可以使用资产负债表技术、默克尔树（Merkle Tree）、ZK-SNARK、Plasma和Validiums等加密证明来避免这种重大暴雷。

ZK-SNARK主张了将隐私考虑在内的最佳技术

V神认为ZK-SNARK是所有模型中最好的——与人工智能中的Transformer 机器学习模型相比——因为它证明了资产负债表不是负的。他称这项技术是默克尔树的补充。

它是如何工作的

用户将资金存入默克尔树（Merkle树）或零知识证明- KZG多项式承诺，允许这个"证明者"计算对多项式的承诺。然后，系统将在特定位置显示多项式的值作为声明值。

通过哈希保护隐私，分配给每个用户的Merkle分支或KZG证明隐藏了个人余额。该系统还允许用户将记录放入默克尔树或贷款金额的多项式中，从而为贷款人提供服务。

默克尔的根在链上发布，然后系统可以识别过度杠杆化的借款人。

Plasma，Validiums和未来的无托管

这位著名的程序员还讨论了Plasma和Validiums技术——作为防止CEX(中心化交易所)窃取用户资金的一种方法。Validium是Plasma技术的改进。

在智能合约中，“每个硬币都被分配了一个索引，并位于Plasma区块的默克尔树的特定位置。”

此外，进行有效的货币转账需要将交易放入树的正确位置，并在根链上发布。

V神预见了托管的未来——由Validiums等智能合约控制的中心化交易所——和倾向于非托管的非托管交易所。该程序员表示，由此技术还可能催生出与法币和加密货币的半托管交易所。