SNARK技術(shù)應(yīng)用在區(qū)塊鏈領(lǐng)域中的好處是什么

歡迎來到SNARK時(shí)代，這是一個(gè)彈出式的時(shí)事通訊，讓我們一起來探索并慶祝一項(xiàng)我們認(rèn)為在未來幾年將對(duì)隱私、計(jì)算、密碼學(xué)和金錢產(chǎn)生根本性和決定性影響的技術(shù)。在這里我們將分享（大部分）小問題，突出關(guān)鍵事件、里程碑和該領(lǐng)域的人員。

今天，我們首先來探索一下為什么我們相信SNARK是未來十年的技術(shù)。

“每一套技術(shù)都經(jīng)歷了一段艱難而漫長(zhǎng)的伸展期，因?yàn)樗臐摿磳⒑谋M，這一點(diǎn)越來越明顯向“新邏輯”的普遍轉(zhuǎn)變需要三十年的動(dòng)蕩，這時(shí)成功安裝新的技術(shù)就會(huì)替代那些衰落的技術(shù)。到這個(gè)過程發(fā)生的時(shí)候，就意味著之前的革命已經(jīng)結(jié)束?！薄啊逅埂づ謇姿?，《技術(shù)革命與金融資本》

比特幣誕生于金融體系出現(xiàn)大規(guī)模動(dòng)蕩的時(shí)期。世界經(jīng)濟(jì)迅速陷入衰退，普通人不僅失去了工作，甚至失去了家園。與此形成鮮明對(duì)比的是，國(guó)際銀行家剛剛得到各自政府的紓困，各自都表示金融業(yè)“太大而不能倒”。

這種情況的不公平是顯而易見的，全世界的人都清楚地看到，他們受到了不公平待遇。

《創(chuàng)世紀(jì)》（genesis）銘刻著這樣的語句：這種情緒，以及對(duì)現(xiàn)狀的厭倦，是比特幣誕生的背景，《泰晤士報(bào)》2009年1月3日?qǐng)?bào)道，財(cái)政大臣瀕臨對(duì)銀行進(jìn)行第二次紓困。

這是中本聰（Satoshi Nakamoto）發(fā)出的明確的行動(dòng)呼吁——這是技術(shù)和金融新范式的大爆炸時(shí)刻。十年后，我們將看到區(qū)塊鏈產(chǎn)業(yè)迅速成熟，公眾對(duì)基礎(chǔ)密碼學(xué)的興趣突然復(fù)蘇。比特幣是在一個(gè)感覺停滯的環(huán)境中呼吸到的第一口新鮮空氣，不僅是在金融領(lǐng)域，在科技領(lǐng)域也是如此。

科技疲憊

市值排名前五的美國(guó)公司都是科技公司，每家公司都有自己的爭(zhēng)議。Facebook和谷歌因數(shù)據(jù)的保留和使用而陷入爭(zhēng)議。亞馬遜（Amazon）和蘋果（Apple）對(duì)各自行業(yè)的集中化和控制能力進(jìn)行了測(cè)試。而微軟，雖然自反壟斷以來一直處于次要地位，但剛剛與中央情報(bào)局簽署了一項(xiàng)重大協(xié)議。

這種爭(zhēng)議不僅限于大型科技公司。每周都有重大數(shù)據(jù)泄露發(fā)生。就在去年：萬豪、Capital One、MoviePass和Doordash等也是如此。公司不僅會(huì)丟失我們的數(shù)據(jù)，還會(huì)濫用數(shù)據(jù)。網(wǎng)上貸款人并非沒有遭受歧視。23andMe將你的數(shù)據(jù)出售給制藥公司，警方可以利用你親戚的DNA來追蹤基因匹配的嫌疑人。每個(gè)人都被這個(gè)弄得筋疲力盡——就像金融危機(jī)一樣，我們知道我們會(huì)得到不公平的結(jié)果。沒有什么能解決這個(gè)問題。

如果我們改變這種安排呢？如果我們從來沒有給這些公司我們的數(shù)據(jù)呢？如果我們可以在沒有信任的情況下與其他各方進(jìn)行交互，并通過密碼學(xué)確保我們的數(shù)據(jù)永遠(yuǎn)不會(huì)被泄露，那會(huì)怎么樣呢？這就是zk- SNARK發(fā)揮作用的地方。就像比特幣呼吁人們采取行動(dòng)重申我們的金融所有權(quán)一樣，SNARK也將幫助我們維護(hù)我們的計(jì)算所有權(quán)。

SNARK

大多數(shù)人都不知道什么是SNARK。如果你是他們中的一員，我建議你從這里開始獲得一個(gè)解釋。如果您熟悉SNARK，那么很可能是在區(qū)塊鏈環(huán)境中實(shí)現(xiàn)的。也就是說，很容易認(rèn)為SNARK與隱私有關(guān)（比如ZCash），或與可伸縮性有關(guān)（Coda或zk Rollups）。但SNARK與這兩件事都無關(guān)。SNARK的核心是計(jì)算完整性。

這是什么意思呢？想想每次登錄網(wǎng)站時(shí)輸入密碼的情景。你使用的公司/服務(wù)需要知道你是誰，你把你的密碼發(fā)給他們，讓他們知道，“嘿，我是我說的那個(gè)人”。之所以會(huì)出現(xiàn)這個(gè)問題，是因?yàn)槊看卧诘卿洷韱紊蠁螕舸_認(rèn)時(shí)，您都信任該公司能夠正確加密和存儲(chǔ)您的密碼。如果他們沒有，你就完了。

SNARK扭轉(zhuǎn)了這種局面。有了SNARK，我只需發(fā)送一個(gè)小證明，保證“我就是我所說的那個(gè)人”，公司就可以毫無疑問地核實(shí)這一點(diǎn)——而不需要知道任何敏感信息，比如你的密碼。實(shí)際上，您可以在您的計(jì)算機(jī)上執(zhí)行一些操作，然后生成一個(gè)SNARK證明，接收方將知道您的操作是完整的。如果這聽起來很神奇，那就系好安全帶吧——因?yàn)樗鼘氐赘淖兾磥恚覀冞€處在早期階段。

SNARK的狀態(tài)

zk-SNARKs仍然是一個(gè)在快速變化的領(lǐng)域中非常新的技術(shù)。僅在2019年就有超過11篇關(guān)于新SNARK變體的論文。

不僅研究呈爆炸式增長(zhǎng)，工具也在迅速改進(jìn)。Zokrates、Bellman、ky、Circom——每天都有更多的庫以更多的語言添加進(jìn)來，幫助開發(fā)人員編寫SNARK庫。甚至E&Y也在競(jìng)爭(zhēng)中，他們的區(qū)塊鏈?zhǔn)褂昧薙NARK庫。

但說實(shí)話，在區(qū)塊鏈?zhǔn)澜缰?，SNARK是不存在的。這是因?yàn)檎缜懊嫣岬降?，現(xiàn)在還非常非常早。盡管SNARK在重塑軟件方面顯示出了巨大的潛力，但它們?nèi)蕴幱诔跫?jí)階段。SNARK的生成時(shí)間仍然需要優(yōu)化，并且需要協(xié)調(diào)多方的計(jì)算儀式來建立。此外，創(chuàng)建SNARK也很困難——只有幾百人深刻理解SNARK的工作原理，而普通的軟件工程師還不能輕松地實(shí)現(xiàn)SNARK?？傊?，SNARK還需要5-10年才能真正發(fā)揮潛力。

但這沒關(guān)系，因?yàn)槿绻悻F(xiàn)在讀這篇文章，你就是幸運(yùn)的人之一。你們正在見證一個(gè)新范例的誕生。你甚至可以看到SNARK從密碼學(xué)的一個(gè)深?yuàn)W的子領(lǐng)域成長(zhǎng)為新互聯(lián)網(wǎng)的一個(gè)基本支柱。但未來并不確定。在優(yōu)化SNARK驗(yàn)證時(shí)間、設(shè)置透明性和通用性方面還有很多工作要做。對(duì)于目前使用SNARK的生產(chǎn)項(xiàng)目，仍有許多構(gòu)建工作要做。當(dāng)人們對(duì)舊的模式感到疲憊時(shí)，它將不會(huì)溫和地進(jìn)入那個(gè)美好的夜晚。必然將會(huì)有一些動(dòng)蕩，而新范式的未知將需要一些時(shí)間來適應(yīng)。但當(dāng)塵埃落定時(shí)，我們會(huì)希望創(chuàng)造一個(gè)更公平的世界，在那里，即使在數(shù)字領(lǐng)域，普通人也可以控制他們的數(shù)據(jù)和主權(quán)。

如果你對(duì)此感到興奮，那么加入我們成為zk-SNARK革命的一部分。注冊(cè)SNARK時(shí)代時(shí)事通訊，獲取SNARK未來的問題。我們將討論更多關(guān)于過去一年SNARK的重要里程碑，我們對(duì)未來的預(yù)測(cè)，以及我們認(rèn)為你應(yīng)該關(guān)注的創(chuàng)新者，等等。