區塊鏈:如何利用零知識證明改造區塊鏈_區塊鏈存證平臺

編者按：本文來自：以太坊愛好者，作者：RonaldMannak，翻譯&校對:曾汨&阿劍，Odaily星球日報經授權轉載。已經有許多技術博客發表了關于零知識證明的文章。最近，我自己寫了一篇文章，比較了新的通用型zk-SNARK。我注意到，用淺白的語言來解釋ZKP用例的文章還寥寥無幾。其實，ZKP不僅僅可以用于保護隱私，由于其豐富多樣的功能，ZKP甚至可以改變區塊鏈運行的方式。首先：簡潔的區塊鏈，從GB到KB

因為區塊鏈的數據規模會隨著新區塊的產生而不斷增長，所以其規模可能會變得很大。這是設計使然，我們已經開始接受這一現實。然而，最近上線的Coda測試網卻有些與眾不同。首先，Coda的區塊鏈數據規模恒定，并不會增長。其次，它的整條區塊鏈大小只有22kb！這意味著哪怕你用一臺上世紀80年代的Commodore64或者ZXSpectrum來跑節點也毫不費力。然而，相較于傳統的區塊鏈而言，Coda的安全性有過之而無不及。還有越來越多的項目正在朝著這方面發展：Mir和Starling將在不久后啟動與Coda相似但功能更加豐富的“簡潔的區塊鏈”。那它們到底是怎么做的呢？任何一個運行過區塊鏈節點的人都經歷過這樣的痛苦：同步一個節點需要耗費幾個小時甚至數天。區塊鏈的數據量往往非常巨大，以至于絕大多數家庭的電腦硬盤和帶寬都達不到運行節點的要求。這就導致了中心化。即便是像以太坊這樣廣受歡迎的區塊鏈，全網也只有大約10,000個節點。其中大部分節點還是被托管在AWS上的，并且歸屬于少數實體。區塊鏈并沒有許多人認為的那樣去中心化。為什么同步一條區塊鏈要花這么長的時間？有兩個原因。第一個原因顯而易見：下載數百GB甚至更多的數據需要耗費一段時間。其次，當節點下載完數據后，還需要對整條區塊鏈進行驗證，因為可能會有惡意的節點給你發送錯誤的數據。要想驗證一條區塊鏈，必須從創世區塊開始重放：執行第一筆交易，確認計算出的狀態與下載到的狀態一致。然后驗證下一筆交易，直到你驗證完整條區塊鏈中所有的交易。這樣做既耗時費力；而且在你之前，已經有成千上萬的節點執行過同樣的計算。但這樣做是必要的，因為在傳統的計算模式中，知道計算是否正確的唯一方法就是重新再算一次。這對于小型計算來說還好，但對于比較大的計算量而言就不太友好了，比如重放區塊鏈。利用ZKP改善效率及帶寬利用

PeckShield征求建議以確定如何發出黑客攻擊警報，大多數用戶支持其標記受影響的協議和交易:8月10日消息，PeckShield稱其檢測到黑客攻擊時發布警報可能會引起人們對黑客的關注并暴露受影響的協議，因此可能會引起爭議，發布投票向社區征求建議，以確定檢測到黑客攻擊時應如何發出警報。當前投票已結束，66.8%的用戶選擇“標記受影響的協議+tx”、18.4%的用戶選擇“Alert TG seal 911 bot”、9.9%的用戶選擇“公開黑客+tx”、4.9%的用戶選擇“僅Xeet匿名黑客”。[2023/8/10 16:18:10]

事實證明，有一種技術可以在無需重新計算的前提下降低驗證計算結果的成本：零知識證明，而zk-SNARK可能是所有零知識證明技術中最出名的。所以到底怎么結合呢？我們必須將區塊鏈的重放函數用zk-SNARK重寫一遍。zk-SNARK將輸出兩樣結果：初始輸出和一個小型的數學證明，用于證明該計算結果是正確的。這個證明可以小到只有200Bytes(是的，你沒看錯，不到1KB)。無需讓所有的計算機都執行重放函數。只需要有一臺計算機創建證明，其它所有計算機都可以按自己的需要驗證結果。驗證只需要花費幾毫秒，不論初始的計算花了多長時間。這些證明可以發布到網絡上、通過U盤傳播，甚至打印在T恤上。如果有一個惡意的節點改動了余額，那么其證明就會和結果不匹配，所有驗證者都會拒絕該狀態。如果惡意的節點對zk-SNARK的代碼動了手腳，其結果也會被其它節點拒絕。我們已經擺脫了對重復進行昂貴計算的依賴，同時也不再需要下載整條區塊鏈了。你只需要下載當前的狀態加上一個很小的證明，用于證明當前狀態是有效區塊鏈的一部分，然后花費幾毫秒來驗證計算結果。遞歸組合

Genesis Mining運營主管：無論交易費用如何，比特幣都是很好的價值存儲手段:針對比特幣及其區塊鏈網絡是否能在不需要第二層解決方案的情況下作為一種價值儲存手段被主流采用，比特幣采礦公司Genesis Mining運營主管Philip Salter表示，無論交易費用如何，比特幣都是一種很好的價值存儲手段。費用越高，能夠有效轉移的最小價值也就越大。然而，如今比特幣被更多地視為一種價值儲存手段，而非數字現金。Philip Salter認為，這種觀念的轉變仍可能引發一些問題。他說：“幾年前，由于交易費用實際上為零，所以1美元的存儲和傳輸是可行的。目前，發送一筆交易很容易花費15美元，所以再發送1美元是不明智的。如果這一趨勢繼續下去，由于更多的比特幣使用和更高的比特幣價格，它將禁止普通金額的價值轉移，它將只會成為非常大金額的有效價值存儲。”Salter補充道：“這就是為什么我認為第二層解決方案不僅對于比特幣作為貨幣的使用是必要的，而且對于比特幣作為價值儲存手段的長期可行性也是必要的。”（Cointelegraph）[2021/1/22 16:48:07]

驗證證明的過程非常快，可創建證明的過程呢？事實證明，創建證明所耗費的時間并不是固定的，相較于傳統的計算而言，該過程在計算和內存方面要低效得多。事實上，盡管采用了zk-SNARK的重放函數聽上去很美好，但它實踐起來并不是一個優秀的解決方案。它會消耗巨大的內存，甚至比最初的非zk-SNARK重放函數還要慢。但如今有了另一種優雅的解決方案。通過一些小技巧，我們可以使用遞歸的zk-SNARK。通過遞歸，我們不再需要從頭開始驗證區塊鏈，而可以在上一個狀態的基礎上構建新的狀態。這要快得多。請注意，遞歸的zk-SNARK并沒有非遞歸的zk-SNARK效率高，但最近zk-SNARK構建已取得了巨大的進步。遞歸的zk-SNARK程序使用上一個狀態、該狀態的證明以及新的交易作為輸入。它驗證上一個狀態，并檢查新狀態中的交易是否有效。如果有效，它將輸出新狀態及其證明。一旦新狀態和證明分發到了網絡中，所有節點都可以直接拋棄舊的狀態，而不用擔心產生任何負面后果。新節點只需要下載最新的狀態及其證明就可以了。這就為什么Coda、Mir、和Starlin能實現數據規模恒定的區塊鏈。在我們上一個例子中，只有一個節點會創建新的區塊及證明。很顯然，并非所有區塊都必然是同一個節點產生的。例如，可以從眾多節點中隨機選擇一個節點來創建區塊，節點們甚至可以在內部選出節點來出塊，且無法作惡）。我們甚至可以做的更好。我們可以將區塊生產的邏輯劃分為多個zk-SNARK。最終的結果就是區塊生產者不需要再保存整條區塊鏈，而只需要保存上一個狀態。這種解決方案可以小多少呢？一個常規的Coda節點只需要占用22KB的空間用于存儲證明、當前狀態和指向一個余額的默克爾路徑。通過22KB的存儲，節點可以驗證整條區塊鏈、查詢余額、以及創建交易。但要想生產區塊，節點需要做更多的操作：它需要上一個狀態的全余額默克爾樹。默克爾樹的大小取決于錢包的數量。即便Coda擁有的錢包數量和以太坊一樣多，一個Coda的區塊生產者仍然只需要1GB大小的存儲空間。而最小的以太坊全節點則需要230GB。這是一個巨大的差距。通過這種方式，網絡中會有更多活躍的節點，進而增加其去中心化程度，并為與區塊鏈交互的程序開辟了許多新的可能性，而不用再借助諸如Infura或Metamask等解決方案。考慮到99%的用戶在安裝Metamask之前就已經放棄了，這應該會帶來巨大的影響。感謝DanielLubarov(Mir)、ShaneVitarana、StanvandeBurgt、TaariqLewis、和DmitriyBerenzon對本文的校對。

直播 ｜“后浪”仙女魚池-青青如何乘風破浪:金色財經 · 直播主辦的《 幣圈 “后浪” 仙女直播周》第7期11:00 F2Pool 魚池｜CMO青青將在直播間聊聊“幣圈‘后浪’仙女如何乘風破浪”，感興趣的朋友掃碼移步收聽！[2020/7/2]

聲音 | 微軟李國平：應用區塊鏈技術應多思考如何賦能、少談顛覆:據經濟觀察網12月6日消息，微軟中國金融行業總監李國平表示，第一，今天應用區塊鏈技術，應該多思考如何賦能，少談顛覆。他認為其實在從傳統業態向數字生活，數字經濟邁進的過程中，有很多行業場景存在痛點和短板，在整個信息化進程中如何補足現有實體經濟中的這些問題，賦能現有業務，提高效率，降低成本，是區塊鏈應用最應該思考的問題；第二，科技向善。今天的區塊鏈技術、人工智能技術等，公眾是存在認知差的。出現了認知差，就存在炒作的空間，就可能有泡沫，還包括新技術濫用數據等問題。因此在應用新的技術時，要在態度上端正，敬畏監管，敬畏客戶，敬畏可持續發展，這樣才能走的更遠，更穩；第三，從網絡效應原理來看，網絡是越大價值越大。從最早的局域網到以太網到現在整個互聯的世界，網絡的效應是需要擴大的。因此今天談公有鏈，鏈與鏈之間有沒有標準？全球有沒有標準？中國有沒有標準？很多企業資產能不能鏈互鏈？思考和解決這些問題，有助于區塊鏈的應用范圍和價值的擴大。[2019/12/7]

動態 | 200余名全球執法人員參加國際犯罪會議，探討如何制止加密犯罪:據TheNextWeb報道，本周，根據澳大利亞聯邦警察（AFP）的聲明，超過200名來自世界各地的執法人員將出席在布里斯班舉行的國際犯罪會議，共同探討尋找加密犯罪的方法。AFP代理局長Justine Gough表示，加密貨幣和加密通信等技術的進步已經改變了罪犯獲取和隱藏資產的方式，抓住并消除犯罪阻止他們獲利，是打擊有組織的犯罪網絡最有效的方法之一。[2019/11/14]

Tags：區塊鏈ARKNAR比特幣區塊鏈存證平臺DarkShield Games Studiolunar幣歸零中國比特幣交易網站

Gateio