金融隐私和监管可以与ZK证明共存 – Vitalik Buterin
金融隐私和监管可以与ZK证明共存
以太坊联合创始人Vitalik Buterin发表了一篇研究论文，深入探讨了隐私池系统作为实现金融交易更隐私的工具，通过零知识证明技术，允许用户证明与非法资金的脱钩。
该文件首先讨论了最流行的隐私增强协议之一Tornado Cash，该协议允许用户在不创建两个地址之间可识别的链接的情况下存款和提款加密货币。最近，美国当局对其创始人提起刑事诉讼，指控该协议被不法分子广泛使用。
“Tornado Cash的关键问题实质上是合法用户在与协议吸引的犯罪活动脱钩方面有限的选择，”由Jacob Illum，Matthias Nadler，Fabian Schar和Ameen Soleimani共同撰写的论文中写道。
该分析随后详细阐述了Tornado Cash方法的扩展，该方法将使用户能够通过允许成员资格证明来公开证明链上资金来源，成员资格证明即“我证明我的提款来自这些存款之一”，以及排除证明即“我证明我的提款不来自这些存款之一”。
根据作者们的说法，该概念可以在诚实和不诚实的协议用户之间提供平衡，可能在未来实现链上金融合规：
“该提案的核心思想是允许用户发布零知识证明，证明他们的资金（不）来自已知（非）法来源，而不公开揭示他们的整个交易图。这是通过证明满足某些由法规或社会共识要求的自定义关联集的成员资格来实现的。”
通过隐私池，用户可以通过零知识证明排除与非法活动相关的匿名集，零知识证明是一种在不披露陈述细节的情况下证明陈述的方法。
文件中提出的基本思想是，用户不仅仅使用零知识证明来证明“提款与先前做出的存款有关”，而是证明自己是更严格的关联集的成员。
关联集可以包括所有先前做出的存款，只包括用户自己的存款，或介于两者之间的任何内容。作为公共输入，用户通过提供其Merkle根来指定集合。 “为简单起见，我们不直接证明关联集实际上是先前做出的存款的子集；而是只要求用户进行零知识证明两个Merkle分支。”
为了以执法背景来说明，作者们提供了一个简单的例子：
“假设我们有五个用户：Alice，Bob，Carl，David和Eve。前四个用户是诚实、守法的用户，但仍然希望保护他们的隐私，但Eve是一个小偷。假设这也是公开知道的。”
在这个例子中，当其中一个用户想要提取资金时，他们可以指定他们想要的关联集，这意味着他们有动力使他们的关联集更大以保护隐私。然而，为了避免他们的资金被商家或交易所视为可疑，用户不会将Eve包含在他们的关联集中。然而，Eve无法排除自己的存款，将被迫创建一个与所有五个存款相等的关联集。
“[…]我们假设Alice，Bob，Carl和David在各自的关联集中包括所有其他“好”的存款，并排除来自已知非法来源的存款5。另一方面，Eve无法创建一个证明来使她的提款与她自己的存款脱钩。”
根据作者们的说法，这个例子说明了隐私池协议中关联集使用的一种可能性。“请注意，该系统不依赖于Alice，Bob，Carl和David的利他主义；他们有明显的动机证明他们的脱钩。”
该论文进一步提供了零知识证明的几个其他用例，以便用户证明资金与非法来源无关，或证明资金来自特定的存款集合而不透露任何进一步信息。
“在许多情况下，隐私和合规性被认为是不兼容的。本文提出，如果隐私增强协议使其用户能够证明他们的资金的某些属性，那么这不一定是不可能的。”
最近的研究显示，零知识解决方案的协议正在兴起，以太坊网络在主要发布中占据主导地位。研究结果指出，在全球监管逐渐演变和用户寻求保护隐私的背景下，缩放零知识证明解决方案将在未来12个月经历最高的增长。
杂志：递归铭刻 – 比特币”超级计算机”和BTC DeFi即将到来
We will continue to update 算娘; if you have any questions or suggestions, please contact us!
Was this article helpful?
93 out of 132 found this helpful
Related articles
