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

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

“每一套技術都經(jīng)歷了一段艱難而漫長的伸展期，因為它的潛力即將耗盡，這一點越來越明顯向“新邏輯”的普遍轉變需要三十年的動蕩，這時成功安裝新的技術就會替代那些衰落的技術。到這個過程發(fā)生的時候，就意味著之前的革命已經(jīng)結束。”“——卡洛斯·佩雷斯，《技術革命與金融資本》

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

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

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

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

科技疲憊

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

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

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

SNARK

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

這是什么意思呢？想想每次登錄網(wǎng)站時輸入密碼的情景。你使用的公司/服務需要知道你是誰，你把你的密碼發(fā)給他們，讓他們知道，“嘿，我是我說的那個人”。之所以會出現(xiàn)這個問題，是因為每次在登錄表單上單擊確認時，您都信任該公司能夠正確加密和存儲您的密碼。如果他們沒有，你就完了。

SNARK扭轉了這種局面。有了SNARK，我只需發(fā)送一個小證明，保證“我就是我所說的那個人”，公司就可以毫無疑問地核實這一點——而不需要知道任何敏感信息，比如你的密碼。實際上，您可以在您的計算機上執(zhí)行一些操作，然后生成一個SNARK證明，接收方將知道您的操作是完整的。如果這聽起來很神奇，那就系好安全帶吧——因為它將徹底改變未來，但我們還處在早期階段。

SNARK的狀態(tài)

zk-SNARKs仍然是一個在快速變化的領域中非常新的技術。僅在2019年就有超過11篇關于新SNARK變體的論文。

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

但說實話，在區(qū)塊鏈世界之外，SNARK是不存在的。這是因為正如前面提到的，現(xiàn)在還非常非常早。盡管SNARK在重塑軟件方面顯示出了巨大的潛力，但它們仍處于初級階段。SNARK的生成時間仍然需要優(yōu)化，并且需要協(xié)調多方的計算儀式來建立。此外，創(chuàng)建SNARK也很困難——只有幾百人深刻理解SNARK的工作原理，而普通的軟件工程師還不能輕松地實現(xiàn)SNARK?？傊?，SNARK還需要5-10年才能真正發(fā)揮潛力。

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

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