ETH:隐私交易的实现:Aztec 隐私架构介绍

Aztec 是以太坊上一个旨在解决隐私问题的 zk-rollup:也就是说它是唯一一个从头开始构建的完全保护用户隐私的 Layer 2。

为了理解隐私交易这种范式改变以及直接在网络架构中建立隐私的重要性,我们得先讨论“为什么说以太坊不是一条隐私的链”。

以太坊:一条公共区块链

大家可能已经听说过公共账本这个词,它由两个部分组成:账户和余额。

以太坊上最原始的交易是将 ETH 从一个账户 (地址) 发送到另一个账户。网络通过增加某个账户的余额和减少另一个账户的余额来记录这些交易 —— 换句话说,ETH 实际上并没有”转移“。

让我们详细看看一个例子:snoopdogg.eth 想发送一笔交易给 cozomomedici.eth。

只是两个商人

以下是交易的经过:Snoop 一开始有 100 个 ETH,然后他的账户扣了 20 个 ETH。而 Cozomo 一开始有 0 个 ETH,然后他的账户被计入 20 个 ETH。Snoop 的最终账户余额为 80 ETH,Cozomo 则为 20 ETH。转账完成。

ETH 转账交易的账本示意图

以太坊隐私交易平台Tornado.Cash上线Flux:金色财经消息,以太坊隐私交易平台Tornado.Cash上线Flux。Flux表示,Tornado.Cash同时在3个服务器上运行,去中心化且具有抗审查能力。[2022/3/18 14:05:03]

我们可以在 etherscan.io 上看到每个账户计入和扣除的交易款项,下图中显示的 ”ins“(转入) 和 "outs"(转出) 记录是公开的,所有人可见。下面是一个 ENS 名为 twinkienft.eth 的近期交易历史记录。

在这里记录了 ta 所有的光辉事迹:twinkienft.eth 的公共交易!

你可能会问:”谁是 twinkienft.eth 啊?” 我也没有头绪,但我可以看到 ta 所有的交易记录!你去 etherscan.io 上看看,你也可以观察所有被记录在区块链的交易。

就在 etherscan.io 的首页!

大家可以看到这里明显有问题:我们不仅可以看到所有的账户交易,还可以看到它们的金额、资产和交易方。

这其实就是公共区块链带来的作用。由于其公开属性,公共区块链具有可审计性和可验证性。

但这也意味着,如果某人的隐私泄露了 (无论是有意还是无意的) —— 我们可以查看他们的完整交易历史。

门罗币考虑采用Seraphis隐私交易协议模型:12月31日消息,门罗币(Monero)官方博客最近发文介绍Seraphis,称其是门罗币下一个交易协议的候选模型之一。Seraphis是一个抽象概念,它定义了如何在不指定具体算法的情况下,设计真正以隐私为中心的交易协议的规则。(Invezz)[2021/12/31 8:17:28]

跟踪公共交易数据是一项大生意:像 Chainalysis 和 Nansen 这样的公司会做一些复杂的分析来关联各种钱包并监控其交易活动,并对谁持有着什么资产做出概率假设。

大家想象一下,如果你每次刷卡买羊角包时,都得向全世界展示你的银行账单。这真的很傻,对吧?

这就是以太坊的现状。

解决方案:账户加密?

"呃,好吧," 你可能会说,"这很容易解决,只要将账户、余额和持有者加密就可以了。" 咄,白痴!我怎么会这么蠢。

这就是我每天的感受...

除了讨论一下加密账户如何实现之外:

请回忆一下之前所讲的账本。经过对账户和交易加密之后,我们会得到:

似乎行得通

那么加密之后,网络应该如何检查账户,确保没有双花或者共谋的作恶行为。事实证明,要解决这个问题是非常困难的。

回到刚才那个例子。如果 Snoop 和 Cozomo 需要进行交易,那么他们必须要交互,因为网络不能帮助检查他们是否进行了有效的交易。

动态 | 以太坊隐私交易工具Tornado.cash因UI bug泄漏部分用户交易细节:以太坊隐私交易工具Tornado.cash因一个用户界面bug泄漏了一些用户的交易细节。漏洞报告显示,12名用户和总共13.2 ETH(约2416美元)的交易在这个过程中受到影响。该平台称漏洞已经修复,同时要求通过指定的12个地址存款的用户尽快取款,并立即重新存款。(News Logical)[2020/2/2]

1. Snoop 请求 Cozomo 的加密账户状态

2. Cozomo 向 Snoop 发送已加密的状态

3.?Snoop 对 Cozomo 的状态进行解密,确认交易前的余额

4.?Snoop 向 Cozomo 发送一笔加密支付

5.?Cozomo 向 Snoop 发送他最新的加密状态

6. Snoop 解密 Cozomo 的最新状态,确认交易后的余额 (并且 Cozomo 确实获得了他被承诺的金额)

这种精心设计的流程有很严重的缺点:很昂贵、很耗时,并且你每次只能和一个人进行交互 —— 双方还必须同时在线。

更糟糕的是,当他们结束了一场双方对话之后,任何一方都没有办法说服世界上的其他人,他们只是互相验证了他们的一笔交易。

使用票据 (note) 记账不香吗?

但是,如果我们把归属结构颠倒过来呢?以太坊默认使用账户模式,其中账户中包含余额。换句话说,查一下账户,你就会得到它的余额信息。

声音 | 央行穆长春:央行数字货币将满足公众的隐私交易需求:本周二人民银行数字货币研究所所长穆长春在参加新加坡的一次会议上强调,我们知道公众使用纸币和硬币是为了保持匿名,我们会满足这些用户的匿名交易需求。中央银行将保持在可控匿名性和反、反恐融资(CTF)以及税收、在线和任何数字犯罪活动之间的平衡。此前,穆长春曾表示,公众有匿名支付的需求,但如今的支付工具都跟传统银行账户体系紧紧绑定,满足不了消费者的匿名支付需求,也不可能完全取代现钞。我们必须保持平衡,这是我们的目标。我们不寻求对公众信息的完全控制。(路透社)[2019/11/13]

那如果我们换一种思维方式呢?比如说某笔资产 (用 note 来表示) 的持有者是某人。

账户里包含余额信息 vs. 资产票据推导出持有者

Bitcoin 就是使用这种模式,叫做 UTXO (unspent transaction output, 未使用的交易输出)。但是不用纠结这个术语是什么意思了,把 UTXO 当作现金 (银行票据) 就好。

让我们先思考一下,为什么使用现金记账会更安全、更隐私 —— 或者更准确地说,比基于账户的系统更安全、更隐私。

它之所以安全,是因为只有交易现金的双方知道其所有权已经易手!而全宇宙的其他人都不会知道。

你可以把现金交易模式想象成某件物品 (note) 的所有权的变更,而账户交易模式则是两个账户的状态的变更。

动态 | Tornado Cash推出间接解决方案,可支持在以太坊网络上进行隐私交易:Tornado Cash创建了一种间接解决方案,允许在以太坊网络上进行隐私交易,用户可以在不透露所涉及ETH数量或创建此前交易记录的情况下进行交易。从理论上讲,这使得以太坊的使用更接近于在银行账户中使用现金,因为应该没有人能看到你把钱花在了什么地方。(Decrypt)[2019/8/10]

图示:某张加密票据的所有权变更

当一笔 Aztec 交易在进行时,网络只需简单地为给定的票据重新分配所有权,而不是更新账户余额 (增加或减少余额)。

为什么这个模式这么有用?事实证明,加密一张票据要简单得多,因为只需在上面写两个东西:这个票据值多少钱以及它的所有者是谁。那么当它转手时,只需涂掉旧的所有者的名字,然后写上新的所有者的名字。

在 Aztec 上进行简单转账

那么,在一笔简单的票据交易中,到底会发生什么呢?

假设 Snoop 有两张面值为 50 ETH 的票据 (总额为 100 ETH),而 Cozomo 手上没有任何票据。

Snoop 手上的那两张票据需要销毁掉,并且要创建两张新票据:面值为 80 ETH 的票据分给 Snoop,面值为 20 ETH 的票据则分给其新的所有者 Cozomo。

但是,如果必须披露这些票据的价值,如何保护隐私呢?

嗯..他们并没有披露这些信息,至少没有公开。当然,Snoop 和 Cozomo 知道他们交易的资产价值,就像一笔现金交易一样,但他们不需要向全世界公开。

为了保护他们相互的隐私,Snoop 发布了一笔带锁的交易,他知道只有 Cozomo 的私钥才能解开这把锁。类比一下,这有点像将这张票据放进一个小小的保险箱中。当然,他们都知道箱子里有什么 (20 ETH),所以 Snoop 必须要相信 Cozomo 不会在屋顶上大喊:“有人刚给我转了 20 个 ETH!”

但除此之外,所有权被重新分配的票据会返回到一个数据结构中,这个数据结构包含了所有曾经创建的票据 —— 这是一个默克尔树哈希,我将在下文简要地介绍一下它。

在网络观察者看来,系统的状态会是什么样子的 —— 每张票据的面值和所有者都是完全加密的。

好管家

我们知道 Snoop 销毁了两张票据,创建了两张新的票据,然后把其中一张新票据转给了他的朋友 Cozomo。那么我们如何确保他们不会共谋作恶,比如双花?如果 Snoop 销毁了总值为 100 ETH 的两张票据,然后创建了总值为 200 ETH 的两张新票据,那怎么办?或者,他们直接创建任意数额大小的票据呢?

回想一下这两个步骤:

1.?Snoop 销毁了两张面值为 50 ETH 的票据并分别创建了面值为 20 ETH 和 80 ETH 的票据

2.?Snoop 将面值为 20 ETH 的票据转给 Cozomo

为了确保第一步没有发生可疑的行为,Snoop 需要做的就是向系统 (Aztec) 证明他打算创建的两张票据和他准备销毁的两张票据是等值的。

这被称为连接-分割交易,这种交易符合这条简单的等式:A + B = C + D

下面是烧脑部分,跟上了!

为了证明转出票据 (C + D) 等值于转入票据 (A + B, 或者说 100 ETH),Snoop 在他的浏览器中本地生成了一个零知识证明 (zero-knowledge proof,ZKP)。

利用零知识证明,他能够证明出这条等式 A + B = C + D,而无需揭露他们的任意资产价值。

然后 Aztec 验证了这一证明,并表示:”由于这是零知识证明,那么这一定是有效的。“ 此时,智能合约销毁这两个转入票据,然后生成两个转出票据,并将新的转出票据作为加密承诺记录在票据登记表中。

所有权证明

值得讨论的是,如何在 Aztec 中证明票据的所有权,这和在以太坊中证明类似。你如何证明你控制了某个以太坊地址的访问权 —— 通过使用你的钱包对一个信息进行签名。

那么你如何证明你能够访问 Aztec 的某张票据?一个非常非常奇特的加密签名叫做零知识证明。

这个证明说,”在 Aztec 状态中,a) 存在着一张特定价值的票据,b) 我拥有这张票据的所有权。“

那么 Aztec 系统的状态怎么存储?它存储在两个默克尔树中:

一颗是票据树,包含着所有曾经创建的票据;

一颗是无效树,包含着所有曾经被销毁的票据

如果你在 Aztec 中拥有一张票据,这意味着这张票据存在于”票据树“中,并且在”无效树“中不存在对应的无效票据。

左边这棵”票据树“生气勃勃,而右边这个”无效树“则伤心欲绝。如果右边的树会说话,它可能会说”我讨厌死你了“之类的话。

当我们说到”销毁“一张票据,这实际上意味着添加一张无效票据到”无效树“中,而不是删掉”票据树“中的一张票据。

默克尔树简图

为了发送那些已证明为我所有的票据,将需要创建一个全新的默克尔树 (和默克尔根)。一旦”票据树“和”无效树“的默克尔根移动到新的值中 (换句话说,系统的状态已更新),这些默克尔根就会被发布到以太坊的主链上,且交易就会被视为已记录。

写在最后

我希望本文能让读者深刻地理解到为什么隐私如此具有挑战性:我们需要在不违反或暴露用户数据的情况下,验证交易是合法且正确执行的。

这些独特的限制意味着隐私保护架构必须从头开始架构。Aztec 是唯一一个以这种方式构建的 L2 —— 用户的隐私通过其核心架构受到保护,并利用零知识证明来维护网络运作。

来源 |? Aztec Network

作者 |?Jon Wu

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

地球链

[0:15ms0-1:140ms