📜 [專欄新文章] [ZKP 讀書會] Tornado Cash

✍️ Jerry Ho

📥 歡迎投稿： https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium

Disclaimer: 本人與Tornade Cash專案及其員工無任何利益往來。

Tornado Cash是一個Ethereum上的原生隱私轉帳解決方案，使用zk-SNARK+Merkle Tree的路徑證明作為其核心隱私保護機制。

你知我知，Ethereum上的交易記錄是公開的，這使得任何一個人只要知道你的address，便可以在https://etherscan.io/ 之類的網站上查出有多少人和這個位置進行過交易，你做過什麼消費行為或是交易行為等。

或許這聽來不像是個問題，而想要隱藏自己的交易記錄甚至聽起來反而像是不法分子的銷贓行為。

但試想下開情境：因為我曾經使用ethereum捐款給一個政治不正確的專案/組織，而我在接受dd/kyc/reference check的時候因為我的ethereum address就寫在自己的blog上而被查了個底朝天，因而被拒絕入職/拒絕開戶/拒絕服務。

這並不是一個很遙遠的情境…

Tl;dr

解決交易隱私問題分為兩個層次，Assuming你的目的是讓自己的金錢流向無法被追蹤。

層次一：我的錢「丟進了」Tornado Cash的contract，我要如何在不使用與轉入時同一個address的情況下— 若是同一個address就沒有隱私可言了 — 取出我的錢？contract如何知道我存過錢，餘額還夠，所以現在我來領錢了他讓我領？

層次二：就算層次一成立，我的隱私如何達成？到底有多隱私？到底有多不隱私？

技術上來說（細節下文詳談），層次一使用zero-knowledge的set-membership proof來證明，透過預先在Merkle Tree中「登記」一個自己的entry/leaf，tornado cash稱為note，爾後在提款時提出該leaf之zk proof，來解決這個提款時的認證問題。

層次二則是所謂的藏樹於林。既然轉出和轉入無法被連結在一起，那麼只要使用Tornado Cash的人數夠多，總轉出和總轉入的交易總筆數就會太多，以致無法輕易重新關聯轉入與轉出地址背後的真人。

使用界面

https://tornado.cash/

當然你也可以直接和合約地址互動啦

上圖左方紅框為存入幣種與金額大小，右方紅框為該額度對應之帳戶內有多少顆「樹」。

記得藏樹於林嗎？右方的 Anonymity set 就是告訴你現在森林的規模有多大。數量一大，跑資料分析試圖重新關聯某筆特定存款到某筆特定提款就變得更為困難。

提款界面如上。

值得注意的是，提款時的以上兩個選項(Wallet/Relayer)，是在目前Account Abstraction尚未實現時的一個折衷方案。

這裡有個死循環：既然我提款的時候需要支付gas，那麼我的gas從哪裡來？是不是勢必得從交易所或是其他帳號來？簡言之，若是無法直接新建立一個地址然後直接將其作為Tornado Cash提款用，達到的隱私強度就大打折扣。

Relayer就是針對這個問題所設計的。透過付出一些手續費來提供社群架設relayer node的誘因，提款時該筆轉帳的gas費用，便可以讓relayer node來負責先出。relayer node收到使用者的zk proof後將其轉交給tornado cash的合約，合約就會會將應有的relayer手續費與扣除手續費+gas後的款項分別轉給relayer與使用者。

社群治理

Tornado Cash天生是一個比較沒有銅臭味的專案 — 社群治理和funded的味道相當強烈。

透過預先設計好的proxy contract與staking/locking機制，任何一個Tornado Cash的使用者都能夠提出對合約實行的改動建議，並交由社群來投票決定是否要執行該改動。

技術細節可以參照此篇，同時Tornado Cash的第一輪社群治理提案也剛投票過關，回顧可參考此處之討論。

誘因設計

本文作者比較任性不在意錢，請移駕此處閱讀官方如何設計Anonymity Mining來確保以下兩點：

機制能讓使用者願意加入存錢，提供流動性同時也讓樹林變大，增加隱私程度。

產生TORN(ERC20 token)與領取TORN的機制，透過在原本的tornado cash上面再加一層，來避免TORN激勵層錯誤的設計導致下一層之隱私洩漏（激勵層出事不影響核心隱私之意）。

技術細節

首先本文不打算解釋何為zero-knowledge proof，請接受以下描述：

若有一NP statement分類上是satisfiability problem(例：merkle tree中的hash chaining H(H(H(a,b),c),d) )，則我們可以設計出一個arithmetic circuit來確保能夠有效率的產生proof, 有效率的驗證, 無法產生假的且能說服人的proof…且其電路驗證的statement是我們想要的，像是此例中的merkle tree opening.

存款

存款者透過送出C = H(k, r) 以及存入之數額給tornado cash的合約來進行存款的動作。其中k在之後會成為存款者領錢的憑證，稱為nullifier，r則是增加randomness而已，此二值需要記下。此時合約端會將這個C(commitment)丟入Merkle Tree上其中一個空的leaf，並更新root hash。存款者還需要記下自己的C對應之leaf index。

產生proof，用此proof作為提款憑證

用一段話來概括，若是我

知道Merkle Tree上某個leaf的commitment的preimage, 代表我能在電路中證明我知道H(k, r) 中的 k, r, 同時不洩漏k, r到底是多少（zk特性, magic）。

我知道該leaf至root的路徑上會經過哪些點，我也提供了一個可以讓電路驗證root hash的hash chaining過程，代表我知道他是從哪個leaf開始走的。因而，這證明了我提出的1.中的commitment確實屬於某顆公開的、大家都知道的merkle tree中的特定leaf（就是我之前存款對應到的leaf）。

就可以在不需要提供像是原本存款地址的簽章之類的驗證機制情況下，透過zk proof，亦能正確做permission control讓unlinkable的提款能夠成真。

另，讀者可以看到在proof中已然預設了relayer的存在。這使得上開所提到之「使用者提款, 拜託relayer執行=>relayer預付gas發起transaction，將內容送給tornado cash合約=>合約處理proof並將款項拆成兩份給relayer與使用者」這個行為得以成立，且relayer無法得知或假造proof內容。

提款流程

基本上在上方的產生證明都講過一次了，這邊就是pseudo code順過一次提款流程而已，大家自己看啊。

值得一提的是，使用者除了需要提出上一部分提到的證明之外，還需要將k的部分額外拿出來再做一次H(k)，將值一併傳給contract。

這裡的設計哲學，簡單來講是這樣的：zero-knowledge太強了，強到就算證明了我知道H(k, r)的k跟r, 收到的驗證者並沒有辦法知道H(k)是什麼東西。為了讓同一筆款項不會被提領兩次，在提款流程中合約會將「每一筆成功提款中的H(k)」記錄下來，另外開個表存著。爾後若是其他提款交易中的H(k)與表中的重複了，這就代表有人試圖想要騙合約重複提款，自然該提款嘗試就不會成立。

洗錢失敗例

工程師都知道使用者從來不看說明書，看了可能也不會懂。

Koh Wei Jie分析了Kucoin的駭客事件。Kucoin的駭客使用Tornado Cash來洗錢，但忽略了Tornado Cash官方一直三令五申的使用需知，因而讓款項在進入Tornado Cash跑了一輪之後還是能夠被追蹤，哈哈UCCU。

簡單來說，hacker為了節省多次使用relayer的手續費，而將大多數的提領過程都變成直接提領到wallet。雖然該wallet的位置是全新產生的沒有gas，但是透過只讓第一次的提款使用relayer，hacker便能從第一次提款中取得手續費並分發給其他全新產生的wallet address。

那問題在哪？還要問？

要達到隱私需要保持藏樹於林原則，同時使用者不應自己破壞tornado cash幫你達成的address unlinkability。這位hacker因為愛省手續費，所以違背了後者；同時他因為太心急又愛省手續費，太快、分太少次提領、每次提領的數額又太大了，所以side-channel去給他做簡單的traffic analysis就能夠用虛無假設推出：「綜觀歷史上所有的存款位置與數額，扣掉駭客存錢的那些位址之後，我們還需要14個unique address/user共謀，才能有能力一次提這麼多錢。」

這看起來可能嗎？自然是不可能的。

所以這位駭客就是錯誤的沒有遵守藏樹於林的原則，才導致自己的金流重新被和帳號聯繫在一起。

提供一些延伸閱讀，圈子內的”名人”對這種不看說明書的使用者的看法：

tornado * Gavin Andresen

如何避免洗錢失敗

我自己的投影片，我自己翻譯：

打開你的VPN 打開你的TOR 打開你的無痕瀏覽器分頁 用上你全新的VM PC VPS instance 最好連data-link layer安全都顧到 產生全新的地址不要懶惰 自己跑一個fullnode 乖乖用relayer付手續費提款 領錢之後記得把C(k,r)的記錄刪掉 不要急一次存或提領大額 時間拉長數目減少…..

簡而言之：要設計相對安全但又讓使用者可以直覺上手的安全系統真的很他媽難 - 使用者永遠會想辦法抄近路，然後系統的security assumption就爆炸了。

結論上來講，你想要多安全取決於你在臺大水源校區的腳踏車平常都上幾個大鎖=想付出多少成本。只要不要學Kucoin Hacker那樣連鎖都不鎖車還是新的，大部分時間都沒啥問題 lol。

參考資料與文中出現過的連結，不按先後順序：

https://tornado.cash/Tornado.cash_whitepaper_v1.4.pdf

https://tornado.cash/audits/TornadoCash_cryptographic_review_ABDK.pdf

https://tornado.cash/audits/TornadoCash_circuit_audit_ABDK.pdf

https://torn.community/t/whats-next-for-tornado-cash-governance/250

https://weijiek.medium.com/deanonymising-the-kucoin-hacker-418fa5e9911d

https://tornado-cash.medium.com/tornado-cash-governance-proposal-a55c5c7d0703#2084

https://eips.ethereum.org/EIPS/eip-2938

http://gavinandresen.ninja/private-thoughts

[ZKP 讀書會] Tornado Cash was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.

👏 歡迎轉載分享鼓掌

Official Secrets瞞天機密 (Gavin Hood, 2019)
Country: UK
Score: 7/10
改編自英國國家通訊情報局中文翻譯員Katharine Gun的真人真事，劇情架構主要以她的書《The Spy Who Tried to Stop a War》為藍本。時間背景為2003年當聯合國安理會進行是否對伊拉克動武的第二輪投票表決前夕，Katharine Gun將一份官方機密郵件透露給英國媒體刊出，揭發美國國安局為發動伊拉克戰爭，串通英國政府，企圖影響聯合國安理會表決結果的祕密情事….. 我一向愛看這類歷史重大事件改編電影，尤其有趣的是，那些足以左右世界未來走向，一般人卻渾然不知真相的翻盤解密篇！在面對不公不義的行為時，「工作職責」與「個人道德」中如何拿捏？大我與小我，孰輕孰重？在這個道德勇氣已經褪流行，壓箱底的今日，看來益加諷刺，有的時候還真的挺懷念，四維八德，忠義氣節的…… 😛

【#精選詞彙單元 Vocab 077】副總統候選人賀錦麗 Kamala Harris the VP candidate

文章摘要:
Senator Kamala Harris was nominated as the as the vice-presidential candidate, running alongside ex-Vice President Joe Biden. Many people suddenly realized that she has a Chinese name. So where did she get her Chinese name? The story goes that Kamala has a Taiwanese-American friend Su Jung-Li who helped her come up with a Chinese name when she asked for advice on how to win over a Chinese-dominated population. According to reports, Kamala didn’t like the word “Li” meaning beauty initially, because she wanted people to associate with her intelligence and not her beauty.

原文章討論: https://www.15mins.today/blog/ep-931-kamala-harris-unveils-meaning-story-behind

-------------
👑Pocketalk S迷你型大螢幕多國語言翻譯機:
55國的雙向語音、文字、照片翻譯還有情境式英語學習https://www.csemart.com/v2/Search?q=pocketalk&shopId=36305
優惠碼: 15mins
-------------

利用15分鐘跟讀精選詞彙單元，即刻加深記憶, 文章例句朗朗上口！

這裏加入通勤學英語粉絲團
在官網上訂閱就可以收到最新單元的電郵通知！

官網: www.15mins.today
更多跟讀單元: https://pse.is/E8BNC
Apple Podcast收聽: https://pse.is/DLMCK
Spotify收聽:https://pse.is/DQQHL
Himalaya收聽:https://15minstoday.pse.is/SLAZG

#15minstoday
#重點詞彙及例句
#反覆跟讀好吸收
https://15minsengcafe.pse.is/38jxmt

嗨！大家好～
今天要來跟大家說我們拿到桃園主委盃的冠軍喔！！！！！
這次比賽的對手真都很強
也有很多國家隊選手退役的球員😱
想知道我們「苦戰」多久才拿到冠軍嗎？
趕快來看看吧～

🏐️MVC銘排俱樂部資訊🧑🏻‍🏫：
MVC銘排俱樂部FB社團連結👉🏻 https://pse.is/Q7KYG
MVC銘排俱樂部訂課連結👉🏻 https://pse.is/NLB9R
課程資訊或是想知道更多都可以到FB社團中取得喔！

🏐️推薦影片😘：
輕輕鬆鬆破解低手接發球～
3招破解低手接發： https://youtu.be/bcmU7P42wkY

練球也能很刺激！是什麼練習這麼High？
NVA練球Vlog： https://youtu.be/2v0_GC11mnM

例行賽第一場純手工精華！
兩場都對上台電Highlight： https://youtu.be/HHo9AXqR-HY

你了解自由了嗎？自由這個位置可是來頭不小喔～
自由球員是什麼？： https://youtu.be/4rWOW2iE6_8

知道我是誰嗎？趕快來看看50件關於我的事！
50 Facts About Me：https://youtu.be/1XtED2C-OBM

知道舉球的重點之後，當然就是來練練舉球啊！
6招練爆舉球員： https://youtu.be/R-te4J8G-p4

擊球位置好難抓！
擊球位置處方箋：https://youtu.be/QUm8yksgjRE

🏐️喜歡我的影片的話，記得訂閱我的頻道並開啟小鈴鐺🛎
也可以在臉書、IG搜尋“Ming's volleylife 銘排生活”看看我的日常～
YT👉🏻 https://pse.is/LUXCG
FB👉🏻 https://pse.is/PT37A
IG👉🏻 https://pse.is/QM4GC

#桃園主委盃 #DLIVE達樂友 #冠軍

🏐️BGM🎵：
A Few Words - Martin Klem
Even If the Sky Is Falling Down - Candelion feat. Cara Dee
Flying Colors - Daxten, Wai feat. Sture Zetterberg
Live for the Moment - Gavin Luke
Mornings - Sebastian Winskog
Reach Out to Me - Daxtan, Wai feat. Andy Delos
Best Kept Secret - Roots and Recognition
Jaded - Blue Steel
Rumors - Daxten
Tired of Waiting - Hallman
Weather Any Storm - Cody Francis
A Gentle Invitation - Dawn, Dawn, Dawn
Believe Me When I Say It - Matt Large
Best Kept Secret - Roots and Recognition
Chuva Quente - Elevador
Looking for Your Attention - Sture Zetterberg
Mercedes Denzs - Jobii
Rumors - Daxten

Epidemic Sound推薦連結： https://www.epidemicsound.com/referral/7j2rdr/

🏐字幕📝：
如果字幕有不流暢或是不妥，都可以留言跟我說喔~
If you find anything wrong with the subtitle, please leave your comment down below, thank you!
因為個人能力、時間有限，非常歡迎熱心的觀眾幫忙進行字幕翻譯
字幕翻譯以英文為主，如果還能提供日文、韓文等其他語言也非常歡迎～
有興趣的話，可以寄信到 mingvolley@gmail.com 並在主旨標示想翻譯影片喔！
上傳翻譯成功的話，我都會在以小禮物酬謝😘
如何上字幕的教學👉🏻 http://goo.gl/iURCeD

🏐工作、合作邀約請與我聯絡📨：mingvolley@gmail.com

🏐備註
拍攝相機：Canon EOS M50
畫面編輯：Canva
影片編輯：Final Cut Pro

嗨！大家好～
今天要來帶大家跟我一起去「逢甲大學」
我們要去幹嘛呢？
看到最後就知道了喔😂

🏐️Sutio Ett 耳機合作：
Sudio全館商品85折折扣代碼：MingxSudio85
現在去買任何商品都會送「 Sudio 運動托特包」喔！
如果是在官網購買的話，會有「全球免運」、「一年保固」以及「30天退貨服務」～
主動抗噪、防水功能、無線充電...有很多很多功能
那就快點去血拼吧！ 👉🏻 www.sudio.com


🏐️MVC銘排俱樂部資訊🧑🏻‍🏫：
MVC銘排俱樂部FB社團連結👉🏻 https://pse.is/Q7KYG
MVC銘排俱樂部訂課連結👉🏻 https://pse.is/NLB9R
課程資訊或是想知道更多都可以到FB社團中取得喔！

🏐️推薦影片😘：
輕輕鬆鬆破解低手接發球～
3招破解低手接發： https://youtu.be/bcmU7P42wkY

練球也能很刺激！是什麼練習這麼High？
NVA練球Vlog： https://youtu.be/2v0_GC11mnM

想要輕鬆包球嗎？
包球處方簽： https://youtu.be/GWEtTn0pJT4

運動員體能怎麼練～快跟我一起來上課吧！
河馬力士體能Vlog： https://youtu.be/vVBv5wiCULA

攻擊要什麼時候進場呢？
基本攻擊時機：https://youtu.be/QYKIElFWMfk


🏐️喜歡我的影片的話，記得訂閱我的頻道並開啟小鈴鐺🛎
也可以在臉書、IG搜尋“Ming's volleylife 銘排生活”看看我的日常～
YT👉🏻 https://pse.is/LUXCG
FB👉🏻 https://pse.is/PT37A
IG👉🏻 https://pse.is/QM4GC

#vlog #sudio #藍牙耳機

🏐️BGM🎵：
A Few Words - Martin Klem
Even If the Sky Is Falling Down - Candelion feat. Cara Dee
Flying Colors - Daxten, Wai feat. Sture Zetterberg
Live for the Moment - Gavin Luke
Mornings - Sebastian Winskog
Reach Out to Me - Daxtan, Wai feat. Andy Delos
Best Kept Secret - Roots and Recognition
Jaded - Blue Steel
Rumors - Daxten
Tired of Waiting - Hallman
Weather Any Storm - Cody Francis
A Gentle Invitation - Dawn, Dawn, Dawn
Believe Me When I Say It - Matt Large
Best Kept Secret - Roots and Recognition
Chuva Quente - Elevador
Looking for Your Attention - Sture Zetterberg
Mercedes Denzs - Jobii
Rumors - Daxten

Epidemic Sound推薦連結： https://www.epidemicsound.com/referral/7j2rdr/

🏐字幕📝：
如果字幕有不流暢或是不妥，都可以留言跟我說喔~
If you find anything wrong with the subtitle, please leave your comment down below, thank you!
因為個人能力、時間有限，非常歡迎熱心的觀眾幫忙進行字幕翻譯
字幕翻譯以英文為主，如果還能提供日文、韓文等其他語言也非常歡迎～
有興趣的話，可以寄信到 mingvolley@gmail.com 並在主旨標示想翻譯影片喔！
上傳翻譯成功的話，我都會在以小禮物酬謝😘
如何上字幕的教學👉🏻 http://goo.gl/iURCeD

🏐工作、合作邀約請與我聯絡📨：mingvolley@gmail.com

🏐備註
拍攝相機：Canon EOS M50
畫面編輯：Canva
影片編輯：Final Cut Pro

嗨！大家好～
今天要來跟大家分享的是「20000+兩萬Q&A問答大集合」
我們頻道在前幾天突破兩萬訂閱～普天同慶啊🥳
也在要突破的前幾天默默的跟大家搜集一些問題
今天就是趁這個機會一邊跟大家分享喜悅、一邊回答大家的問題嘍！

🎁抽獎活動
抽獎獎項為「Dlive排球我的路」水藍色T恤三件
Ming會在6/14的晚上9:00於YouTube社群貼文公布「三名幸運的得獎者」
抽獎辦法：
1. 喜歡這支影片
2. 訂閱我的頻道「Ming's VolleyLife銘排生活」
3. 看完影片《Dlive一日麻豆》在本影片下方留下指定留言「我喜歡X號，XXX（想個名字）」
只要完成這三部這樣就可以獲得抽獎資格喔！

初體驗！跟我一起去當Dlive一日麻豆吧～｜Ming's VLOG
影片連結👉🏻 https://youtu.be/H5n3vg70v_M

🏐️MVC銘排俱樂部資訊🧑🏻‍🏫：
MVC銘排俱樂部FB社團連結👉🏻 https://pse.is/Q7KYG
MVC銘排俱樂部訂課連結👉🏻 https://pse.is/NLB9R
課程資訊或是想知道更多都可以到FB社團中取得喔！

🏐️推薦影片😘：
練球也能很刺激！是什麼練習這麼High？
NVA練球Vlog： https://youtu.be/2v0_GC11mnM

跟我一起去當麻豆吧！
Dlive麻豆Vlog: https://youtu.be/H5n3vg70v_M

第一次帶著相機去比賽！
新竹纖碧爾盃： https://youtu.be/nFDNpaB5wRA

你了解自由了嗎？自由這個位置可是來頭不小喔～
自由球員是什麼？： https://youtu.be/4rWOW2iE6_8

擊球位置好難抓！
擊球位置處方箋：https://youtu.be/QUm8yksgjRE

我怎麼不知道還有這些跳飄？
五種最常見的跳飄： https://youtu.be/SflsxPQiLGs

哇！原來買球鞋有這麼多要注意～
亞瑟士排球鞋大評比： https://youtu.be/x2_hPyjhxFs


🏐️喜歡我的影片的話，記得訂閱我的頻道並開啟小鈴鐺🛎
也可以在臉書、IG搜尋“Ming's volleylife 銘排生活”看看我的日常～
YT👉🏻 https://pse.is/LUXCG
FB👉🏻 https://pse.is/PT37A
IG👉🏻 https://pse.is/QM4GC

#Ming身高190 #抽獎 #20000+Q&A

🏐️BGM🎵：
A Few Words - Martin Klem
Even If the Sky Is Falling Down - Candelion feat. Cara Dee
Flying Colors - Daxten, Wai feat. Sture Zetterberg
Live for the Moment - Gavin Luke
Mornings - Sebastian Winskog
Reach Out to Me - Daxtan, Wai feat. Andy Delos
Best Kept Secret - Roots and Recognition
Jaded - Blue Steel
Rumors - Daxten
Tired of Waiting - Hallman
Weather Any Storm - Cody Francis
Alles Gut Polka - Trabant 33
Amanecer - El Neon
Au Revoir - Onda Norte
Celebration Of Life - Tomas Skyldeberg
Gravity Zero - Catiso
Honesty - Hallman
I'm Falling in Love - Wildflowers
Pineapple Dance - Stationary Sign
Too Fast for a Broken Heart - Walking Hearts
Toss Me the Tomatoes - Raymond Grouse

Epidemic Sound推薦連結： https://www.epidemicsound.com/referral/7j2rdr/

🏐字幕📝：
如果字幕有不流暢或是不妥，都可以留言跟我說喔~
If you find anything wrong with the subtitle, please leave your comment down below, thank you!
因為個人能力、時間有限，非常歡迎熱心的觀眾幫忙進行字幕翻譯
字幕翻譯以英文為主，如果還能提供日文、韓文等其他語言也非常歡迎～
有興趣的話，可以寄信到 mingvolley@gmail.com 並在主旨標示想翻譯影片喔！
上傳翻譯成功的話，我都會在以小禮物酬謝😘
如何上字幕的教學👉🏻 http://goo.gl/iURCeD

🏐工作、合作邀約請與我聯絡📨：mingvolley@gmail.com

🏐備註
拍攝相機：Canon EOS M50
畫面編輯：Canva
影片編輯：Final Cut Pro