ZKS:a16z：零知識證明保護去中心化和隱私將取得一系列進展_ASH

作者：ElenaBurger/a16zCrypto

編譯：比推MaryLiu

看待技術進步的一種方法是從硬件的角度：隨著新需求和用例的出現，芯片制造商會設計專用的GPU、FPGA和ASIC，以針對特定功能和軟件進行優化。從云計算到計算機圖形學、人工智能和機器學習，所有主要的科技行業都已經發展到需要能夠加快計算運行速度和效率的硬件。通常，用于初始功能的芯片將在確定可通用模式和開發專用硬件之前簡單地開始。理想情況下，隨著時間的推移，這種硬件會變得更便宜，更容易被消費者使用。

這種現象的一個很好的歷史例子是數碼相機的發展。在1960年代，半導體被集成到膠片相機中，以自動化簡單的功能，例如測光快門速度或根據人們試圖捕捉的光的質量調整光圈大小——但在內存中捕捉圖像的行為當時還做不到。1970年代數碼相機的第一次實驗源于可以采用magneticbubbles的概念并構建電荷耦合器件(CCD)來在硅上以電子的形式吸收和儲存光。數碼相機技術的最初輪廓甚至沒有提到百萬像素的概念，但由于當時半導體的限制，相機的分辨率相當差：第一臺相機的分辨率約為0.0001百萬像素，圖像從緩沖區傳遞到內存大約需要23秒。百萬像素數量和相機內存之間的權衡一直很難，直到1990年代更新的傳感器互補金屬氧化物半導體(CMOS)變得更便宜且更主流。

在幾十年的時間里，數碼相機從研究人員設計的昂貴裝置發展到價值數萬美元的設備，再到嵌入每部手機中，成本降到只需幾百或幾千美元。

Binance.US在2022年損失了1.81億美元:6月7日消息，法庭文件顯示，Binance.US在2022年損失了1.81億美元。[2023/6/8 21:22:29]

其他領域也遵循類似的軌跡，從通用硬件到特定應用硬件。加密空間中硬件優化的一個較新的例子是加密貨幣挖掘：當比特幣挖掘于2009年推出時，任何人都可以在標準多核CPU上運行SHA256哈希算法。隨著時間的推移，隨著采礦業變得更具競爭力，區塊獎勵下降，期待一種全球性的、抗審查貨幣的想法變得更加主流，圍繞開發更高效的采礦硬件的行業發展起來。首先，我們過渡到GPU挖掘，它允許從個位數挖掘并行性擴展到五位數挖掘并行性，從而加快了進程。而今天，用于挖掘比特幣的ASIC設備可以計算大約90-100terahashes/秒——比CPU芯片強大約50億倍。

換句話說，您可能將采礦視為一個開始——這是一種概念證明，即去中心化貨幣不僅是可能的，而且是可取的。即使我們處于ASIC采礦的高級階段，但仍處于web3硬件的初始階段。隨著區塊鏈吸引了數百萬用戶，并且它們托管的應用程序的復雜性不斷提高，圍繞隱私和可擴展性的兩個關鍵需求出現了。

一個需要確定的關鍵趨勢是，雖然專用硬件的開發正在變革，優化“消費級”硬件算法的趨勢也逐漸興起，以努力保護去中心化和隱私。零知識證明尤其能很好地體現這一趨勢。

零知識證明的簡要概述

SPACE ID市場及生態初始流通分配中的7500萬枚ID已轉入Binance:3月27日消息，據鏈上數據分析師余燼監測，SPACE ID市場及生態初始流通分配的1.2億枚ID中已有7500萬枚被轉移至Binance平臺。據悉，ID初始流通中有4760萬枚為空投Token，1億枚為Binance Launchpad份額，其余1.2億枚分配給市場和生態。[2023/3/27 13:28:29]

零知識證明提供了一種加密方式來證明特定信息或數據集的知識，而無需實際暴露該信息是什么。零知識證明結構涉及“證明者”和“驗證者”；證明者根據系統輸入的知識創建證明，而驗證者有能力確認證明者真實地評估了計算。零知識證明在當今的區塊鏈中有多種用例——最常見的是在隱私領域或通過計算驗證鏈下狀態轉換來擴展以太坊。Aleo和Aztec建議同時解決隱私和可擴展性問題。

值得深入了解一下密碼學的進步——就在過去的十年里——這使得所有這些應用程序變得可行、更快，也許最重要的是，抗審查和去中心化。通過結合算法和硬件的進步，生成和驗證證明變得更便宜，計算量也更少。在許多方面，這些進步反映了數碼相機等技術的民主化：你從一個昂貴且低效的過程開始，然后才弄清楚如何讓事情變得更便宜和更快。也許最關鍵的是，零知識算法的進步開始為在服務器和其他集中式環境中生成證明計算提供替代方案。

證明設置涉及對一組多項式的計算進行門控的算術電路；當您嘗試縮放由這些多項式表示的信息量時，這些Gate會變得更加復雜。理想情況下，您希望證明者的可能輸出范圍非常大，以降低證明者能夠通過計算蠻力達到驗證者預期的相同數字的可能性。通過增加這些數字，您可以提高證明的概率安全性，就像在工作量證明挖掘中一樣。然而，大量的輸出可能非常昂貴并且生成起來計算速度很慢。這就是證明算法和硬件方面取得進步的地方。

比特幣全網未確認交易數量為24982筆:金色財經報道，據BTC.com數據顯示，目前比特幣全網未確認交易數量為24982筆，全網算力為307.41 EH/s，24小時交易速率為3.95交易/s，目前全網難度為43.05 T，預測下次難度下調0.67%至42.76 T，距離調整還剩7天7小時。[2023/3/4 12:41:25]

zkSNARKs于2011年首次推出，是這些進步的關鍵因素。zkSNARKs本質上使得有效地擴展可門控的多項式數量、解鎖速度和零知識證明的更復雜的潛在應用成為可能。

zkSNARK的“SNARK”部分代表“SuccinctNon-InteractiveArgumentsofKnowledge”，在web3概念中最重要的詞是“簡潔”和“非交互式”。zkSNARK中的證明只有幾百個字節，這使得驗證者可以輕松快速地檢查證明是否正確。非交互式組件也很關鍵：非交互式證明使驗證者無需質疑證明者提交的陳述；在區塊鏈環境中，這將需要客戶來回使用驗證器，這將是耗時且難以構建的。需要注意的是，在首次引入zkSNARK時，并未提及將其用于保護隱私的區塊鏈或擴展交易的想法；原始論文提出了諸如第三方有效地在大量數據上運行計算，而無需下載或編譯數據集。雖然這個例子在理論上類似于隱私和擴展的用例類型，但該領域的人們花了幾年時間將zkSNARKs應用于加密貨幣。

零知識證明沖擊區塊鏈

當前DeFi協議總鎖倉量近548.4億美元:金色財經報道，defillama鏈上數據顯示，當前DeFi項目總鎖倉量（TVL）為548.4億美元，24小時內漲幅為2.16%。鎖倉量資產排名前五：MakerDAO（82.1億美元），Lido（72.9億美元），Curve（58.8億美元），Aave（54.3億美元），Uniswap V3（42.5億美元）。[2022/10/28 11:50:23]

第一個實現zkSNARKs的加密協議是zCash，它是2014年開發的一種私人支付加密貨幣。zCash是一個基于比特幣UTXO模型的工作量證明挖礦網絡，是一個特別值得關注的例子，因為它的改進說明了密碼學的改進帶來了更具可擴展性的隱私形式。zCash實現的原始協議Sprout協議，使用SHA256壓縮函數創建橢圓曲線；雖然這在密碼學上是安全的，但它也是時間和內存密集型的；生成證明可能需要幾分鐘時間，并且需要大約3KB的內存。幾年后，zCash核心團隊開發了一條新曲線Bowe-Hopewood-Pedersen來替代SHA256，并于2018年將zCash從Sprout過渡到Sapling協議。除了更新的曲線之外，該團隊還使用了不同的電路Groth16證明系統，并重新設計了他們處理網絡中帳戶的方式，實現了大約2.6秒的證明時間和40MB的內存，使得從手機生成證明成為可能。

zCash的升級說明了兩個有趣的概念，這些概念在零知識證明系統的改進中仍然存在。首先是你可以結合不同的配對和證明系統來解鎖效率。人們可能會將證明電路、曲線、約束系統和承諾方案的庫視為可以互換的成分，以創建具有不同速度、效率和安全假設的“零知識配方”。第二個是隱私是這些改進的動力——如果證明不是在設備上生成的，則需要將其發送給第三方才能生成。這可能會泄露有問題的私人信息，因為您的“私人輸入”需要以明文形式發送。我們可以將zCash視為一個早期跡象，表明通過算法改進可以非常快速地優化用戶友好性和去中心化。諸如保護隱私的加密貨幣IronFish等較新的項目進一步推動了這種去中心化的價值，讓任何人都可以直接從他們的網絡瀏覽器挖掘和運行節點。

基于Stark Net的瀏覽器插件錢包Argent X已支持Firefox瀏覽器:金色財經消息，基于Stark Net的瀏覽器插件錢包Argent X宣布已支持Firefox瀏覽器。[2022/5/16 3:19:44]

PLONK進入該領域

2019年，ArielGazibon、ZacWilliamson和OanaCiobotaru發表了一篇論文，提出了PLONK，這是一種具有多項關鍵進步的新證明系統。第一個重大突破是PLONK只需要一個單一的、通用的可信設置——在初始儀式中，證明者和驗證者對給定的零知識證明系統使用公共參考字符串。

正如VitalikButerin在他的“了解PLONK”一文中解釋的那樣，一個單一的受信任設置是可取的，因為“不是為您想要證明的每個程序都有一個單獨的受信任設置，而是整個方案只有一個受信任的設置，然后您可以將該方案與任何程序一起使用。”雖然zCash必須為其證明系統的每個實例化執行可信設置，但PLONK設置可以執行一次，并且可以被任意數量的項目永久使用。2019年，AztecNetwork舉行了一場有176名參與者運行的MPC設置儀式；該方案不僅被Aztec使用，而且被其他尋求基于零知識證明的解決方案的團隊使用，包括?MatterLabs/zkSync、Mina和即將到來的zCash更新。

PLONK之所以有用還有另一個原因：它們提供了相對較快的證明時間；證明參與者進行的測試發現，消費級計算機可以在23秒內生成證明。一個重要的警告：這些只是基準，目前實施的PLONK證明可能需要更長的時間才能生成。這是因為許多實施PLONK證明的團隊正在將它們應用于零知識匯總，這需要將數千個鏈下交易聚合到一個單一的證明中。這些交易通常由計算量大的證明者處理，然后將這些交易的記錄發送到定序器，以便在以太坊的主網上發布。

當我們查看Rollups時，會出現一些有趣的問題，這些問題圍繞著您如何以及在何處實現去中心化。MatterLabs采用的一種方法是使用zkPorter，這是一種用于匯總的第二種賬戶類型，其數據可用性保持在鏈外。當zkPorter上線時，人們可以選擇在zkSync上進行交易，它提供了L1以太坊的完全安全性，或在zkPorter上進行交易，每秒可達到20,000+筆交易。至關重要的是，zkPorter被構建為一個權益證明網絡，它將使用持有代幣的“監護人”來跟蹤鏈下狀態，這將節省幾個數量級的交易成本，同時仍然提供強有力的安全保證。雖然MatterLabs還沒有針對證明者去中心化，但網絡級去中心化是Rollups可以優先考慮中立性的另一種關鍵方式。隱私保護Rollups公司Aztec談到了一種聯合他們的證明者網絡的方法，允許從手機或計算機生成證明。值得注意的是，所有這些提議都還處于早期階段，團隊仍在迭代他們的方法。

其他以硬件為中心的基于區塊鏈的隱私方法包括Worldcoin，它使用零知識證明系統Semaphore創建分散的、抗女巫攻擊(SybilAttack)的貨幣。為此，Worldcoin接收者通過一個球體掃描他們的虹膜，以驗證個人只注冊了一次Worldcoin。至關重要的是，Worldcoin不會存儲或泄露用戶的私人信息。要注冊Worldcoin，人們需要在手機上生成一個Semaphore公鑰，以QR碼的形式將密鑰呈現給球體，然后由Worldcoin的球體掃描他們的虹膜并輸出哈希序列。Worldoin驗證哈希與已經生成的哈希不匹配，確保一個人只經歷一次注冊過程。通過使用哈希而不是存儲生物特征數據，Worldcoin能夠使用零知識證明來保護用戶隱私。

我們可以和將要建造什么？

站在技術革命的尾聲并宣布其帶來的巨大經濟和社會變革是必然的，這很容易；今天，人人手里拿著一部iPhone，它擁有所有令人驚嘆的功能——攝影、存儲、互聯網訪問、通信——但這些技術在落地之前可能并沒有被提前預知。同樣，我們站在一個尚未解決的大規模社會和經濟轉變的開端，也不清楚需要多長時間才能完全實現變革。

我們目前正處于零知識證明方案的一系列進展的早期階段——但就在過去十年中，速度、效率、用戶友好性和去中心化方面的改進令人震驚。我們已經從零知識空間中極少數面向消費者的應用程序發展到在很短的時間內為隱私和可擴展性提供應用程序和區塊鏈的整個生態系統。像這樣的新技術最令人興奮的事情之一是，很難預測另一面到底是什么樣子。當每個人都可以通過手機證明完全私密的交易，并選擇托管大量去中心化應用程序的去信任區塊鏈時，會發生什么？是一個每個人都有權贖回相同的無國界、去中心化貨幣的世界嗎？

當我們經歷這場革命時，重要的是要牢記初心，即指導我們的核心價值觀—-可訪問性、無需信任，最重要的是去中心化。

Tags：TERASHARKZKSTernioDashSportsARKEzks幣要歸零了

TUSD