隱私交易的實現：Aztec 隱私架構介紹_SNO

Aztec是以太坊上一個旨在解決隱私問題的zk-rollup：也就是說它是唯一一個從頭開始構建的完全保護用戶隱私的Layer2。

為了理解隱私交易這種范式改變以及直接在網絡架構中建立隱私的重要性，我們得先討論“為什么說以太坊不是一條隱私的鏈”。

以太坊：一條公共區塊鏈

大家可能已經聽說過公共賬本這個詞，它由兩個部分組成：賬戶和余額。

以太坊上最原始的交易是將ETH從一個賬戶(地址)發送到另一個賬戶。網絡通過增加某個賬戶的余額和減少另一個賬戶的余額來記錄這些交易——換句話說，ETH實際上并沒有”轉移“。

讓我們詳細看看一個例子：snoopdogg.eth想發送一筆交易給cozomomedici.eth。

只是兩個商人

以下是交易的經過：Snoop一開始有100個ETH，然后他的賬戶扣了20個ETH。而Cozomo一開始有0個ETH，然后他的賬戶被計入20個ETH。Snoop的最終賬戶余額為80ETH，Cozomo則為20ETH。轉賬完成。

ETH轉賬交易的賬本示意圖

硬件錢包Trezor通過Wasabi Wallet提供隱私交易功能:金色財經報道，加密貨幣硬件錢包 Trezor 通過 Wasabi Wallet 提供隱私交易功能CoinJoin，該功能于 2022 年推出，允許多個用戶將他們的比特幣輸入集中到一個交易中，并接收相同數量的比特幣輸出但地址不同，從而對比特幣交易進行混合。[2023/4/19 14:14:20]

我們可以在etherscan.io上看到每個賬戶計入和扣除的交易款項，下圖中顯示的”ins“(轉入)和"outs"(轉出)記錄是公開的，所有人可見。下面是一個ENS名為twinkienft.eth的近期交易歷史記錄。

在這里記錄了ta所有的光輝事跡：twinkienft.eth的公共交易！

你可能會問：”誰是twinkienft.eth啊？”我也沒有頭緒，但我可以看到ta所有的交易記錄！你去etherscan.io上看看，你也可以觀察所有被記錄在區塊鏈的交易。

就在etherscan.io的首頁！

大家可以看到這里明顯有問題：我們不僅可以看到所有的賬戶交易，還可以看到它們的金額、資產和交易方。

以太坊隱私交易平臺Tornado.Cash計劃部署至Arbitrum:11月29日，據官方消息，以太坊隱私交易平臺Tornado.Cash計劃部署至Arbitrum。Tornado的智能合約已經全部設置完成，只需通過社區的幫助完成部署和啟動。此前Tornado.Cash已成功部署至BinanceSmartChain、Polygon、xDAIChain和Avalanche。[2021/11/29 12:39:34]

這其實就是公共區塊鏈帶來的作用。由于其公開屬性，公共區塊鏈具有可審計性和可驗證性。

但這也意味著，如果某人的隱私泄露了(無論是有意還是無意的)——我們可以查看他們的完整交易歷史。

跟蹤公共交易數據是一項大生意：像Chainalysis和Nansen這樣的公司會做一些復雜的分析來關聯各種錢包并監控其交易活動，并對誰持有著什么資產做出概率假設。

大家想象一下，如果你每次刷卡買羊角包時，都得向全世界展示你的銀行賬單。這真的很傻，對吧？

這就是以太坊的現狀。

解決方案：賬戶加密？

"呃，好吧，"你可能會說，"這很容易解決，只要將賬戶、余額和持有者加密就可以了。"咄，白癡！我怎么會這么蠢。

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

除了討論一下加密賬戶如何實現之外：

以太坊隱私交易平臺Tornado.cash完全去信任化，智能合約將不可再被修改:以太坊隱私交易平臺Tornado.cash今日發布博客宣布已完成去信任化操作。該平臺已將操作符地址設置為0x000000000000000000000000000000000000(0.1 ETH, 1 ETH, 10 ETH 以及 100 ETH)，因此從現在開始所有的Tornado.cash合約均已無法變更。

團隊表示，這也意味著對于Tornado.cash 來說，將很大程度開始遵循代碼即法律的戒律。Tornado.cash智能合約在以太坊上運行，社區可以決定是否使用其工具。只要以太坊本身沒有被更改或者消失，那么就沒有人可以修改Tornado.cash的智能合約。而團隊也提到，完全去信任化之后，Tornado.cash 團隊也不能再像以前那樣保護用戶免受bug的侵害。除了從智能合約端完成了去中心化操作之外，Tornado.cash還對用戶界面和站點進行了去中心化，他們使用了IPFS部署UI。[2020/5/21]

請回憶一下之前所講的賬本。經過對賬戶和交易加密之后，我們會得到：

似乎行得通

那么加密之后，網絡應該如何檢查賬戶，確保沒有雙花或者共謀的作惡行為。事實證明，要解決這個問題是非常困難的。

回到剛才那個例子。如果Snoop和Cozomo需要進行交易，那么他們必須要交互，因為網絡不能幫助檢查他們是否進行了有效的交易。

4月Zcash網絡隱私交易數量激增70%:5月4日消息，根據Zcash社區的一條推文，4月份，Zcash （ZEC）網絡上完全屏蔽的隱私交易數量激增了近70%，創下了8700多筆的新紀錄。這也占據了總交易額的6%，也是歷史上的最高比例。（Cointelegraph）[2020/5/4]

1.Snoop請求Cozomo的加密賬戶狀態

2.Cozomo向Snoop發送已加密的狀態

3.?Snoop對Cozomo的狀態進行解密，確認交易前的余額

4.?Snoop向Cozomo發送一筆加密支付

5.?Cozomo向Snoop發送他最新的加密狀態

6.Snoop解密Cozomo的最新狀態，確認交易后的余額(并且Cozomo確實獲得了他被承諾的金額)

這種精心設計的流程有很嚴重的缺點：很昂貴、很耗時，并且你每次只能和一個人進行交互——雙方還必須同時在線。

更糟糕的是，當他們結束了一場雙方對話之后，任何一方都沒有辦法說服世界上的其他人，他們只是互相驗證了他們的一筆交易。

使用票據(note)記賬不香嗎？

但是，如果我們把歸屬結構顛倒過來呢？以太坊默認使用賬戶模式，其中賬戶中包含余額。換句話說，查一下賬戶，你就會得到它的余額信息。

那如果我們換一種思維方式呢？比如說某筆資產(用note來表示)的持有者是某人。

賬戶里包含余額信息vs.資產票據推導出持有者

動態 | 以太坊隱私交易方案Hopper開源代碼 發布移動應用內測版:以太坊隱私交易方案Hopper宣布完全開源代碼，并發布iOS端移動應用內測版。Hopper使用零知識證明（ZKP）技術“混合”用戶交易，用戶可將ETH存入Hopper智能合約，而從另一個賬戶提取資金。目前用戶一次僅可存入1枚ETH以保持匿名，Hopper還提醒由于應用尚處于內測階段，沒有進行完全審計，因而資金有丟失的風險。[2019/6/24]

Bitcoin就是使用這種模式，叫做UTXO(unspenttransactionoutput,未使用的交易輸出)。但是不用糾結這個術語是什么意思了，把UTXO當作現金(銀行票據)就好。

讓我們先思考一下，為什么使用現金記賬會更安全、更隱私——或者更準確地說，比基于賬戶的系統更安全、更隱私。

它之所以安全，是因為只有交易現金的雙方知道其所有權已經易手！而全宇宙的其他人都不會知道。

你可以把現金交易模式想象成某件物品(note)的所有權的變更，而賬戶交易模式則是兩個賬戶的狀態的變更。

圖示：某張加密票據的所有權變更

當一筆Aztec交易在進行時，網絡只需簡單地為給定的票據重新分配所有權，而不是更新賬戶余額(增加或減少余額)。

為什么這個模式這么有用？事實證明，加密一張票據要簡單得多，因為只需在上面寫兩個東西：這個票據值多少錢以及它的所有者是誰。那么當它轉手時，只需涂掉舊的所有者的名字，然后寫上新的所有者的名字。

在Aztec上進行簡單轉賬

那么，在一筆簡單的票據交易中，到底會發生什么呢？

假設Snoop有兩張面值為50ETH的票據(總額為100ETH)，而Cozomo手上沒有任何票據。

Snoop手上的那兩張票據需要銷毀掉，并且要創建兩張新票據：面值為80ETH的票據分給Snoop，面值為20ETH的票據則分給其新的所有者Cozomo。

但是，如果必須披露這些票據的價值，如何保護隱私呢？

嗯..他們并沒有披露這些信息，至少沒有公開。當然，Snoop和Cozomo知道他們交易的資產價值，就像一筆現金交易一樣，但他們不需要向全世界公開。

為了保護他們相互的隱私，Snoop發布了一筆帶鎖的交易，他知道只有Cozomo的私鑰才能解開這把鎖。類比一下，這有點像將這張票據放進一個小小的保險箱中。當然，他們都知道箱子里有什么(20ETH)，所以Snoop必須要相信Cozomo不會在屋頂上大喊：“有人剛給我轉了20個ETH！”

但除此之外，所有權被重新分配的票據會返回到一個數據結構中，這個數據結構包含了所有曾經創建的票據——這是一個默克爾樹哈希，我將在下文簡要地介紹一下它。

在網絡觀察者看來，系統的狀態會是什么樣子的——每張票據的面值和所有者都是完全加密的。

好管家

我們知道Snoop銷毀了兩張票據，創建了兩張新的票據，然后把其中一張新票據轉給了他的朋友Cozomo。那么我們如何確保他們不會共謀作惡，比如雙花？如果Snoop銷毀了總值為100ETH的兩張票據，然后創建了總值為200ETH的兩張新票據，那怎么辦？或者，他們直接創建任意數額大小的票據呢？

回想一下這兩個步驟：

1.?Snoop銷毀了兩張面值為50ETH的票據并分別創建了面值為20ETH和80ETH的票據

2.?Snoop將面值為20ETH的票據轉給Cozomo

為了確保第一步沒有發生可疑的行為，Snoop需要做的就是向系統(Aztec)證明他打算創建的兩張票據和他準備銷毀的兩張票據是等值的。

這被稱為連接-分割交易，這種交易符合這條簡單的等式：A+B=C+D

下面是燒腦部分，跟上了！

為了證明轉出票據(C+D)等值于轉入票據(A+B,或者說100ETH)，Snoop在他的瀏覽器中本地生成了一個零知識證明(zero-knowledgeproof，ZKP)。

利用零知識證明，他能夠證明出這條等式A+B=C+D，而無需揭露他們的任意資產價值。

然后Aztec驗證了這一證明，并表示：”由于這是零知識證明，那么這一定是有效的。“此時，智能合約銷毀這兩個轉入票據，然后生成兩個轉出票據，并將新的轉出票據作為加密承諾記錄在票據登記表中。

所有權證明

值得討論的是，如何在Aztec中證明票據的所有權，這和在以太坊中證明類似。你如何證明你控制了某個以太坊地址的訪問權——通過使用你的錢包對一個信息進行簽名。

那么你如何證明你能夠訪問Aztec的某張票據？一個非常非常奇特的加密簽名叫做零知識證明。

這個證明說，”在Aztec狀態中，a)存在著一張特定價值的票據，b)我擁有這張票據的所有權。“

那么Aztec系統的狀態怎么存儲？它存儲在兩個默克爾樹中：

一顆是票據樹，包含著所有曾經創建的票據；

一顆是無效樹，包含著所有曾經被銷毀的票據

如果你在Aztec中擁有一張票據，這意味著這張票據存在于”票據樹“中，并且在”無效樹“中不存在對應的無效票據。

左邊這棵”票據樹“生氣勃勃，而右邊這個”無效樹“則傷心欲絕。如果右邊的樹會說話，它可能會說”我討厭死你了“之類的話。

當我們說到”銷毀“一張票據，這實際上意味著添加一張無效票據到”無效樹“中，而不是刪掉”票據樹“中的一張票據。

默克爾樹簡圖

為了發送那些已證明為我所有的票據，將需要創建一個全新的默克爾樹(和默克爾根)。一旦”票據樹“和”無效樹“的默克爾根移動到新的值中(換句話說，系統的狀態已更新)，這些默克爾根就會被發布到以太坊的主鏈上，且交易就會被視為已記錄。

寫在最后

我希望本文能讓讀者深刻地理解到為什么隱私如此具有挑戰性：我們需要在不違反或暴露用戶數據的情況下，驗證交易是合法且正確執行的。

這些獨特的限制意味著隱私保護架構必須從頭開始架構。Aztec是唯一一個以這種方式構建的L2——用戶的隱私通過其核心架構受到保護，并利用零知識證明來維護網絡運作。

來源|?AztecNetwork

作者|?JonWu

Tags：ETHSNOOSNOSNOOPxETH-G價格SnovioSNOOP幣

ETH