Tornado.cash: 一個關于匿名和 zk-SNARKs 的故事

譯文出自：登鏈翻譯計劃

譯者：翻譯小組

校對：Tiny熊

越來越多的項目攻擊后，我們可以看到一種新的黑客模式出現：

通過tornado.cash獲得匿名ETH。

用ETH來支付黑客交易的費用。

使用閃電貸來減少資本需求。

通過大量的資本，創造一些失衡，并對失衡進行套利。

盡可能多地重復前面的過程

償還閃存貸款，留下利潤。

閃電貸和創造失衡當然值得寫博客文章。但本文我們將仔細研究Tornado.cash。

那么Tornado.cash是什么呢？

Tornado.cash

MoneyRoomTornado.cash是一個充滿錢的屋子

想象一下，我們有一個房間，只有一扇門，房間門口有一個警衛。任何人都可以走到警衛面前，給他一張100美元的紙幣。警衛接過紙幣，把它放在上鎖的房間里。然后他要求給錢的人想一個非常大的數字。這個人沒有直接給他這個數字，而是計算出這個數字的哈希值，寫下來交給警衛。帶有哈希值的紙被扔進一個大碗里。

不妨想象一下，隨著時間的推移，成百上千的人也會這樣做。然后，房間里會有成千上萬張100美元的紙幣，警衛會有一個碗，里面有成千上萬張含有哈希值的紙。

如果有人想要回他的100美元，他可以走到警衛那里。最簡單的解決辦法就是向警衛出示之前的隨機數。警衛可以計算哈希值，并檢查所有文件是否有這樣的哈希值。如果他發現一個，他就會銷毀那張紙，并把100美元還給你。

瑞士豪華汽車經銷商New Motors現接受比特幣支付:金色財經報道，Bitcoin Magazine在社交媒體上稱，瑞士豪華汽車經銷商New Motors現在接受比特幣支付。[2023/3/29 13:33:41]

但如果我們這樣做，存在警衛作惡的風險？他可以秘密地追蹤哪張100美元屬于哪個隨機數，從而暴露我們的身份。

用球為例解釋零知識

現在，如果我們能向警衛證明，我們知道一個秘密的數字，在不透露實際數字的情況下，在碗內對承諾進行哈希運算呢？那么，我們可以用零知識證明來做到這一點。零知識證明是很復雜的，但概念化的簡單方法是下面這個例子。

想象一下，你是盲人，我給你兩個球，感覺完全一樣，重量也一樣。現在我告訴你這兩個球的顏色不同。附近沒有其他人。你怎么能知道我說的是不是真的呢？

你可以在每只手上放一個球，把它們展示給我看。現在你把它們放在你的背后，你要么在兩只手之間交換球，要么不交換。然后你把它們拿給我看，并問我：'我是否交換了球？現在，如果兩個球都是同樣的顏色，將有50%的機會猜對。但如果連續答對了15次，你幾乎可以肯定說這兩個球確實是不同顏色的。因為隨機猜對15次，幾乎不可能。

我現在已經向你證明了這些球是不同顏色的，但卻沒有透露實際的顏色，因此被稱為零知識證明。你不知道這些球是綠色、黑色、橙色還是別的什么。

取回你的錢

現在有人可以向警衛證明，他實際上知道一個數字，這個數字對應碗里的一個數字。這個證明產生了一個特定的簽名。警衛寫下簽名，并將其儲存起來。每當有人提供一個新的證明時，他可以檢查同一證明是否已經被使用。如果它已經被使用過，那么有人試圖用相同的隨機數字獲得多張100美元。

Tornado Cash聯創的GitHub帳戶被暫停，項目存儲庫在GitHub中被刪除:8月9日消息，TornadoCash聯合創始人Roman Semenov發推表示，在美國財政部的制裁公告發布后，他的GitHub帳戶已被暫停，目前Tornado Cash存儲庫也已從GitHub中刪除，穩定幣發行公司Circle還凍結了屬于Tornado Cash用戶的7.5萬枚USDC。

金色財經此前消息，美國財政部將Tornado Cash列入制裁黑名單，禁止美國公民使用。[2022/8/9 12:11:34]

因此，盡管該數字的哈希值仍在我們的碗內，而且警衛不知道哪些哈希值已經再次取出了100美元，但他可以意識到有人正試圖多次使用同一證明。

現在拿回這100美元后，他們不能直接追溯到原來的100美元，即使警衛是惡意的。

從零知識到zk-SNARKs

在區塊鏈的世界里，正常的零知識證明有一個問題：連續問很多遍，等待答案，需要來回幾次交易。這根本就不是很有效率。有了zk-SNARKs，或者非交互式零知識證明，我們可以在一輪中完成證明。基本上，問題是根據隨機預言機模型預先確定的。然后驗證者可以在一次交易中發送所有答案。

zk-SNARKs的概念是一個非常有趣的話題。Vitalik發布了一個適合初學者的介紹鏈接。好吧，盡可能的方便初學者。如果你想真正深入了解它背后的數學，這將是不容易的。我自己當然沒有弄清楚文章中的所有內容，但如果你只想知道基本情況，這里是我的高層次理解：

eToro CEO：比特幣是加密貨幣之王，它會繼續存在:加密貨幣交易所eToro首席執行官Yoni Assia表示，比特幣是加密貨幣之王，它會繼續存在。Assia稱：“如果我們沒有看到比特幣價格在未來三到五年內大幅上漲，我會感到驚訝，因為世界上仍有50億人基本上沒有良好的當地貨幣。”（cointelegraph）[2021/6/12 23:32:09]

zk-SNARKs是基于非常繁重的計算，比如計算1億次哈希值。

驗證一個證明本身并不要求運行繁重的計算。

實際數據由多項式表示，例如：x2-4x7。

使用因子定理，我們可以將某些多項式轉化為其最低度多項式的倍數。

然后利用多項式承諾和Schwartz-Zippellemma，我們可以通過隨機檢查一些坐標來驗證此類多項式的證明。

要正確理解這一點，請閱讀Vitalik的文章：https://vitalik.ca/general/2021/01/26/snarks.html。

從理論到實踐：Tornado.cash

tornado.cash

使用zk-SNARKs，tornado.cash允許你將固定金額的ETH、DAI、cDAI、USDC、cUSDC或USDT存入合約。在存款時，你會收到一個備份代碼，用于以后提取資金。

為什么用固定金額？基本上每個固定金額都是它自己的匿名性設置。你可以在上面的截圖中看到，當時0.1ETH的匿名度是426。意味著目前還有426人可以獲得0.1ETH。而由于存款是公開信息，當你存入0.1ETH時，這些0.1ETH以后可以追蹤到這427人，但不能直接追蹤到你。

BitTorrent針對持有波場TRX用戶5月份空投已發放完畢:據最新消息顯示，BitTorrent(BTT)針對持有波場TRON（TRX）用戶5月份空投已經發放完畢，所有波場TRON主網以及SUN Network主網中擁有TRX的地址均可獲得對應比例空投的BTT，無需進行任何操作，無論凍結與非凍結皆可獲得空投。按照計劃，快照于2020年5月11號凌晨0點0分0秒（UTC）完成，區塊高度#19630255 的時間戳1589155200000，正好為計劃時間點。在快照時，TRX總量為100297292606.19962。因此最終的空投比例為 TRX/BTT=93.51728914330967。從TRX閾值來看，只有賬戶余額大于等于100TRX的賬戶在此次空投獲得BTT。另外，BTT空投的來源地址為 TUzBG3hz7nRJAiyD4vsFhWnTsSwRyYmH3y。此地址將僅僅做為此次空投所用，不會做其他用途，將來空投也不會使用。[2020/5/11]

這有多安全？在匿名性方面，匿名集有多大，人們的存款和提款有多頻繁，它就有多安全。如果你有一個30,000人的集合，但幾個月沒有存款/提款。現在你來存款，等了一天又取款，要追蹤資金到你身上將是非常容易的。因此，請密切關注統計頁面。

它是如何工作的？利用pedersenhashfunction可以有效地計算出橢圓曲線上的hash，以用于zk-SNARK。snarkjs則用來進行初始設置和自動生成Solidity驗證器合約。

動態 | eToro調研：Libra認知度超過以太坊、萊特幣和瑞波幣 但落后于比特幣:據福布斯消息，eToro最近進行的一項調研顯示，雖然Facebook數字貨幣Libra白皮書只發布了短短一個月時間，但是很多人已經對其有所了解了。該調研發現，58%的美國成年人聽說過比特幣，而聽說過Libra的成年人占比約為16%。但即便如此，知道以太坊的比例僅為12%，而萊特幣和瑞波幣幾乎不為人所知。不過，有超過一半的受訪者（大約54%）表示對Facebook管理他們的個人數據表示懷疑，但只有17％的受訪者表示愿意信任Facebook使用他們的資金，就像他們信任銀行一樣。[2019/7/22]

所有細節可在白皮書中找到。

Tornado.cash的治理

Tornado.cash協議正在計劃增加治理。將包括自己的TORN代幣，TORN55%將被用作金庫，30%支付給團隊和投資者，5%空投給服務的早期用戶以及10%用于新概念的匿名挖礦。

由于tornado.cash服務只有在很多人使用時才是安全的，所以TORN會進一步激勵人們在合約中留下資金，并為此向他們支付TRON。這將以充分保持礦工的匿名性的方式進行。

去匿名化

現在有人已經開始嘗試去匿名化用戶。這可以通過三個指標來達到目的：

發送存款/取款的每日的時間

Gas價格分布

交易圖表分析

例如：

當該服務的大多數用戶生活在歐洲，而你生活在新西蘭，在你的時間下午4點左右與合約交互時，在歐洲將是凌晨4點。因此，要識別你會非常容易。

大多數錢包傾向于MetaMask自動設置Gas價格，從而提供一些信息來識別用戶。

擁有多個地址的用戶可能用這些地址與相同的服務進行交互。在最壞的情況下，這些地址之間甚至有直接的聯系，或是通過交易圖表能夠將某些地址映射在一起。

如果你嚴格遵守規則，所有這些問題都是可以防止的：

使用0-24的隨機數發生器，在你發送存款/取款時為你生成一個時間

在隨機數生成器的幫助下，手動設置你的交易gas成本，或使用多個錢包

使用一個新的地址取款，以后不要用這個地址和另一個地址使用相同的服務

本翻譯由CellNetwork贊助支持。

來源：https://soliditydeveloper.com/tornado.cash

參考資料

登鏈翻譯計劃:https://github.com/lbc-team/Pioneer

翻譯小組:https://learnblockchain.cn/people/412

Tiny熊:https://learnblockchain.cn/people/15

tornado.cash:https://tornado.cash/

Tornado.cash:https://tornado.cash/

隨機預言機模型:https://en.wikipedia.org/wiki/Random_oracle

鏈接:https://vitalik.ca/general/2021/01/26/snarks.html

多項式:https://en.wikipedia.org/wiki/Polynomial

因子定理:https://en.wikipedia.org/wiki/Factor_theorem

Schwartz-Zippellemma:https://en.wikipedia.org/wiki/Schwartz-Zippel_lemma

統計頁面:https://explore.duneanalytics.com/public/dashboards/UEU02CHiGtNw9crfeD6OJ7bKPnvFtNjOgZ7Vc6uj

pedersenhashfunction:https://iden3-docs.readthedocs.io/en/latest/iden3_repos/research/publications/zkproof-standards-workshop-2/pedersen-hash/pedersen.html#pedersen-hash

snarkjs:https://github.com/iden3/snarkjs

白皮書:https://tornado.cash/Tornado.cash_whitepaper_v1.4.pdf

正在計劃增加治理:https://tornado-cash.medium.com/tornado-cash-governance-proposal-a55c5c7d0703

去匿名化用戶:https://arxiv.org/pdf/2005.14051.pdf

CellNetwork:https://www.cellnetwork.io/?utm_souce=learnblockchain

免責聲明：作為區塊鏈信息平臺，本站所發布文章僅代表作者個人觀點，與鏈聞ChainNews立場無關。文章內的信息、意見等均僅供參考，并非作為或被視為實際投資建議。

本文來源于非小號媒體平臺：

登鏈社區

現已在非小號資訊平臺發布105篇作品，

非小號開放平臺歡迎幣圈作者入駐

入駐指南：

/apply_guide/

本文網址：

/news/10183717.html

免責聲明：

1.資訊內容不構成投資建議，投資者應獨立決策并自行承擔風險

2.本文版權歸屬原作所有，僅代表作者本人觀點，不代表非小號的觀點或立場

上一篇：

巨鯨的資金涌向哪里，哪里就是熱點！

Tags：TORASHTORNORNTornado FinanceUlgen Hash Powertorn幣未來價格預測

MEXC