TOR:解读 Vitalik 最新论文:Privacy Pools 让合规不再以牺牲隐私和去中心化为代价_CAS

编译:深潮TechFlow

昨天,Vitalik和巴塞尔大学的一些学者们联合发表了一篇名为《区块链隐私和监管合规:迈向实际平衡》(Blockchain Privacy and Regulatory Compliance: Towards a Practical Equilibrium)的论文,在推特上引起了广泛关注。

在市场行情冷淡时,为什么我们应该关注这样的论文?

Vitalik的思考和文章往往左右着新叙事和技术的发展方向,此外其他区块链领域的知名专家学者,对区块链技术和发展趋势有着独到的见解。

此外,论文探讨的区块链隐私和合规问题,事关加密行业未来发展方向和合规路径选择。在保护用户隐私和符合监管要求之间找到平衡,是加密行业亟待解决的难题。

通读论文之后,我们发现其提出的Privacy Pools协议,为实现隐私与合规的兼容提供了一个可行的技术方案。这似乎可以让Tornado Cash因监管而被打入地狱的悲剧,不再重复上演。

但是,该论文偏学术和技术,阅读难度较大,其中的一些细节和意义普通用户并不容易理解。

因此,深潮研究院对该论文进行了解读和精炼,试图通过通俗的语言阐释论文的核心要点,能够帮助更多人理解隐私和合规这个重要议题,及其技术路径和可能的解决方案。

金色晚报|7月11日晚间重要动态一览:12:00-21:00关键词:MakerDAO、DOS Network、诺奖得主、雄安新区、DeFi

1. MakerDAO计划于7月底前部署新货币政策工具“锚定稳定模块”。

2. 去中心化预言机网络DOS Network以太坊主网Caelus正式上线。

3. 诺奖得主萨金特:AI、区块链结合可保护隐私,便于数据共享。

4. 雄安新区党工委书记陈刚:加快区块链等技术在供应链领域集成应用。

5. 前高盛高管:ETH/BTC正在经历牛市突破。

6. 报告:DeFi的发展将远远超越以太坊网络,甚至超越加密货币本身。

7. 分析:山寨币近期看涨与关键网络升级以及ETH表现强劲有关。

8. 以太坊互助保险Nexus Mutual称其原生代币NXM并未在任何交易所上线。[2020/7/11]

首先,该论文由Vitalik带头,专业对口的学界和圈内从业人士共同参与撰写。

Vitalik充当第一作者。由于Vitalik在加密货币领域具有重要影响力和声望,可以让提出方案获得更多关注。

其他共同作者包括:Jacob Illum,加密行业研究机构Chainalysis的研究员;

mat nadler,巴塞尔大学博士研究生,也有相关DeFi和EVM的开发项目;

Fabian Sch?r,巴塞尔大学教授,研究方向公链和DeFi协议;

金色晚报 | 5月24日晚间重要动态一览:12:00-21:00关键词:MakerDAO、BCH、灰度比特币信托、英国央行

1. MakerDAO通过最新执行投票,现已支持负基数费率。

2. 数据:灰度比特币信托2020年Q1平均每周投资达2990万美元。

3. 数据:经历首次减半后,BCH基本面指标持续下滑。

4. 中国移动董事长:加快区块链技术在数据交易流通中的应用。

5. 日本参议员:在后疫情时代,加密货币和区块链会愈发重要。

6. 《卫报》:英国央行或采取负利率措施,比特币将获得更多主流认可。

7. 数据:2018年4月至今,82%的时间里对冲基金作为一个群体都在做空比特币。

8. 数据显示:Bitfinex上的投资者强烈看涨ETH。

9. 雅典大学论文类比天体物理学来解释加密货币的迅速崛起。[2020/5/24]

Ameen Soleimani,多个知名加密项目的创始人,实践经验丰富

公有区块链的设计是交易透明的,任何人都可以验证交易,不依赖中心化第三方。但这也带来了隐私问题,因为区块链上记录着每个地址的所有交易,这使得地址可以被追踪和分析。

比特币白皮书认为区块链可以通过公钥匿名性保障隐私,但这种保护已被证明是不足的,各种区块链分析工具可以关联地址和交易。所以需要更强大的加密技术来提高公链的隐私保护。

采用通用零知识证明的系统,如Zcash和Tornado Cash,可以将匿名集增大到全部交易,提高隐私保护。但Tornado Cash也被一些黑客滥用,最终其智能合约地址被OFAC制裁。

金色晚报 | 1月27日晚间重要动态一览:12:00-21:00关键词:印度最高法、火币、Argo Blockchain、谷歌搜索、BTC减半

1. 印度最高法院将延期对关于监管加密货币案件的审判。

2. 火币将捐助1000万元支持疫情防治,首批采购防护口罩已运抵黄冈市。

3. 中国1月份已注册714家区块链公司,目前共有26089家区块链公司正在运营。

4. Argo Blockchain已安装1.7万台矿机,目前有15730台矿机正在运行。

5. 谷歌“BTC减半”的搜索量增加一倍,或将成为BTC上涨的潜在催化剂。

6. BTC现报8742美元,近24小时上涨3.58%,市值为1591.92亿美元。[2020/1/27]

关于Tornado Cash的问题,深潮也补充了一些技术背景,对并不太了解之前被监管制裁的读者提供参考:

Tornado Cash是一个基于零知识证明的隐私增强协议,可以实现匿名交易。它允许用户存入资金,然后在另一个地址提款,在链上只能看到存和取,而不能看到二者的对应关系,所以具有匿名性。

但该协议也被一些黑客组织滥用,他们通过该协议。例如有证据显示北朝鲜黑客组织就通过Tornado Cash洗黑钱。

因此美国财政部OFAC最终将Tornado Cash的智能合约地址列入了制裁名单。监管机构认为该协议为提供了方便,不利于打击金融犯罪。

声音 | 李少平解读最高法“五五改革纲要”: 要推动区块链存证等科技创新手段深度运用:据中国之声《央广新闻》消息,《最高人民法院关于深化人民法院司法体制综合配套改革的意见》,即《人民法院第五个五年改革纲要(2019—2023)》今日发布。最高人民法院副院长李少平在对该文件进行解读时表示,“五五改革纲要”在前期工作基础上,提出要构建中国特色社会主义现代化智慧法院应用体系,不断破解改革难题、提升司法效能。其中,要推动语音识别、图文识别、语义识别、智能辅助办案、区块链存证、常见纠纷网上数据一体化处理等科技创新手段深度运用。[2019/2/27]

Tornado Cash的关键问题是,合法用户很难与协议吸引来的犯罪活动脱钩。

但是这个证明的创建需要依赖Tornado Cash的中心化服务器。用户需要向服务器提供提款的具体信息,服务器利用自己持有的数据库,检查这个提款确实对应的是哪个存款,然后生成这个证明。

这样就需要依赖中心化中介,因为只有Tornado Cash持有完整的数据库,能够生成正确的证明。而普通用户并不能检查证明的正确性,用户和监管只能选择相信。

我们迫切需要一种办法,在不暴露隐私和去中心化的情况下,来证明和让监管信服我的资金来源是干净合法的。

赵长鹏解读钓鱼网站运作方式:币安创始人赵长鹏再发推文,剖析了钓鱼网站运作方式,他首先配图指出钓鱼网站的域名中两个字母下方比正确地址多了两个点。他还表示,用户在钓鱼网站登录后跳转到真的币安。此外一旦登录后,用户就不能再进入钓鱼网站,而是自动跳转到币安(即使登出账号后)。[2018/3/8]

因此,这篇论文提出了一种可行的技术方案,叫做Privacy Pools协议:允许用户证明资金来自一个自定义的关联集合,既保护隐私,又可以证明是否来自某些非法来源。

这可能是隐私和监管兼容共存的第一步。

通过上文的背景描述,我们已经明白了需要解决的问题,即同时保证隐私和去中心化,来证明自己的资金是“无辜”的。

保证隐私,我们很容易联想到zk。的确,Vitalik这篇最新的论文中也肯定了zk,尤其是zk-SNARK在解决隐私问题上的价值:

零知识:不泄露私有数据,只证明声明是正确的。

简洁性:证明很短,验证很快,即使计算复杂也很高效。

但是,光凭zk-SNARK,只能解决一部分问题:证明我发生过这笔交易,但可以隐藏交易细节。

要彻底的解决问题,实际上需要在隐藏交易细节的前提下,证明这笔交易的来源没问题。

于是,这篇论文将zk和另外一个办法联系了起来 —- 关联集(Association Set)。

所谓关联集,即让用户证明资金来源于一个自定义的集合,而不是完全隐藏或完全公开来源。比如,我转了1BTC,但这1BTC是我在其他多个交易中累积到的,于是这些其他的多个交易就可以成为一个关联集。

关联集可大可小,可以由用户自由确定其组成和范围,既可以是一个大的anon set提高隐私,也可以是一个小的set用来证明合规。

明白关联集这个概念后,我们再来看看zk+关联集,是如何既能够保证隐私,又能够证明资金来源的:

用户存款时,通过zk,会生成一个secret(密钥),然后计算出一个公开的 coin ID。(标记我与钱的关联)

用户提款时要提交一个nullifier,证明我用过这个secret。(证明钱是我的)

用户通过zk技术只需要证明:我的coin ID同时存在总集合和我声明的关联集中。(证明钱的钱是干净的)

外部只能看到交易次数,以及这笔钱的归属集合,但无法得到转账双方的具体信息。

稍微更加技术一点的话,我们可以看原论文的这张默克尔树的示意图。图中的默克尔树实际上是Coin ID的组合,即交易本身都被zk后,我们看不到细节,只在树结构中存储Coin ID;

左边的树表示着当前发生的所有交易,这里面可能有我自己的某一笔钱。现在,要证明这笔钱的资金来源没问题,我需要右边的树—-这代表着我自定义的一个关联集,里面有我的这笔钱和其他交易的关联。只要我说的清右边的交易过往,就能告诉你我当前这笔钱的来源。

在大的概念上,这就像一个privacy pool(隐私池)。右边的关联集里有我这笔钱的来龙去脉,但是,因为通过了零知识证明,我可以向你证明钱的来龙去脉是真实的,但不用告诉你交易细节。

论文给出了一个非常生动形象地例子,来展现Privacy Pool的应用。

1.背景设定:

有五个用户:Alice、Bob、Carl、David和Eve。

前四者是诚实的,但Eve是已知的小偷。

虽然Eve的真实身份可能未知,但公众知道标记为“Eve”的地址接收的资金是被盗过的钱。

2.用户提款时的选择和博弈:

当每个用户提款时,按照论文方法,他们可以选择关联集。

这个关联集必须包括他们自己的存款。这意味着,每个用户在选择关联集时,都不能排除自己的存款。

对于Alice、Bob、Carl和David这四个用户来说,为了避免与已知的不良行为者Eve关联,他们可以选择一个不包括Eve的关联集。这样,他们可以证明自己与Eve没有关联。

但是,Eve面临一个问题:她不能选择一个只包括她自己的关联集,因为这样会立即揭示她是不良行为者。

为了尝试隐藏她的不良行为,Eve可能会选择一个包括所有五个用户的关联集,希望混淆观察者;

但是,由于其他四个用户都选择了不包括Eve的关联集,这使得Eve的尝试变得徒劳,因为人们可以通过排除法确定Eve是不良行为者。

3.结果:

通过关联集的选择,Alice、Bob、Carl和David可以证明他们与已知的不良行为者Eve没有关联。

Eve无法隐藏她的不良行为,因为她的关联集包括了所有人。

论文中的图5进一步说明了这两种证明的差异。Membership proof包括一个特定的存款集合,而exclusion proof的关联集则包括除了一个特定存款集合之外的所有存款。

虽然上述基于zkSNARK和关联集的隐私增强协议,为区块链技术实现了在合规性和隐私之间的平衡,但仍然存在一些技术和治理上的挑战。作者提出了未来的一些发展方向:

隐私属性的进一步研究:这些协议提供的隐私取决于许多不同的因素。关联集的大小、根选择的适当性以及用户的错误可能允许专门的攻击者链接用户的交易。

研究分离平衡的属性:进一步研究好的和坏的行为者在某些假设下的行为方式,以及前者的公共证明如何影响后者的隐私。

法律研究:法学家可以进一步研究特定的披露要求。这篇论文提出的建议是高度适应性的,法律专家的见解可以帮助调整协议和围绕它的生态系统,以确保遵守各种法律管辖区的规定。

最后我们认为,在当下这个节点,隐私和合规性常常被视为不可调和的对立面。

论文中所述的技术为两者之间找到了一个平衡点,为整个行业带来了正面的意义。希望更多的研究者和开发者能够受到这种技术的启发,为行业的健康和可持续发展做出贡献。

深潮TechFlow

个人专栏

阅读更多

白话区块链

神译局

Gryphsis Academy

CertiK中文社区

新浪科技

元宇宙之心

金色早8点

Web3小律

MarsBit

ForesightNews

吴说区块链

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

大币网

[0:15ms0-6:654ms