ZK Validator: 2022年零知識證明領域回顧

原文：

作者：ZeroKnowledgeValidator

隨著2022年即將結束，我們想整理一份關于零知識技術領域進展的報告。對于整個行業來說，今年是忙碌的一年，但我們可以自信地說，2022年是零知識證明實現突破的一年。

我們將涵蓋如下部分：

公眾興趣

根據谷歌趨勢數據，2022年人們對搜索“零知識證明”的興趣激增，即使在今年下半年嚴酷的熊市中，興趣也一直保持上升趨勢。

深入研究數據，關鍵字“SNARKs”在全球范圍內的月搜索量在100,000到1,000,000之間，同比增長了900%。此外，Decrypt和Coindesk等以區塊鏈為重點的主要媒體在2022年似乎也對零知識領域更感興趣。就Decrypt而言，在2021年期間，它僅發表了18篇包含“零知識證明”一詞的文章，而在2022年期間這個數字總共躍升至60件。Coindesk也不例外，2022年寫了81篇零知識證明相關的文章，比2021年多了54篇。

Syscoin宣布集成跨鏈ZK Rollups:金色財經報道，Syscoin是宣布整合跨鏈ZK rollups，與跨鏈網絡ZKCross 合作。ZKCross的跨鏈ZK rollups結合了Layer 2和多鏈rollup方法來創建一個網絡，該網絡允許用戶有效交易，同時保持對資產的控制，體驗與中心化交易所一樣。通過創建連接多個區塊鏈的橋梁，Syscoin和ZKCross正在開發一個安全性、效率和可擴展性的DeFi社區。[2022/7/22 2:31:28]

融資

投資者也跳上了ZK的列車。今年，我們計算出至少有超過7.25億美元的資金用于“純粹的零知識“參與者”。其中包括Aleo、Aztec、Scroll、RiscZero、MatterLabs、Elusiv和MinaProtocol。最大的兩輪融資是Aleo和MatterLabs各融資了2億美元，其次是Aztec的1億美元融資。除了私募股權融資外，一些基金會還承諾提供資金，以促進零知識應用在各自生態系統中的發展。Polkadot發布了PioneersPrize計劃，獎勵993,286DOT，特別關注零知識技術。此外，NEAR基金會在TornadoCash事件發生后啟動了一項資助計劃，以支持ZK項目。

Sismo Protocol在alpha網絡發布“Ethereum Power Users ZK Badge”:7月16日消息，Sismo Protocol在推特上表示，其alpha網絡已發布“Ethereum Power Users ZK Badge”，這是其第一次嘗試新的治理機制，基于聲譽和保護隱私的投票。可參與鑄造的合格帳戶組（176294個地址）由六個子組合并而成。官方表示，希望Ethereum Power Users ZK Badge所有者成為一個社區，使用徽章作為協調代幣。[2022/7/16 2:18:00]

與此同時，零知識項目方和組織的聯盟發起了ZPrize計劃，獎金高達700萬美元。這些競賽旨在關鍵通用算法的性能、庫的可用性和多樣性等各個領域推動ZK技術發展的目標相一致的挑戰。今年，GitcoinZKSideRounds進行了三輪，匹配的獎金總額為466,000美元。在所有輪次中，不同的公共產品項目募集了近100萬美元。這些SideRound主要側重于提高可用性的工具類，以及創建新的應用程序以將用戶帶入ZK領域。有幾個團隊參與了這項計劃，包括ZKV、0xParc、Gnosis、Anoma、Penumbra、Mina、Geometry、Aztec等。

zk(E)VM之年

StarkWare推出ZK Rollup擴容方案StarkNet Alpha 1版本:StarkWare推出ZK Rollup擴容方案StarkNet Alpha 1版本，該版本更新包括實現了L1、L2交互功能、實現了L1鏈上數據可用性，可通過L1數據構建StarkNet的狀態等，此外，StarkNet還發布了StarkNet操作系統的代碼，包括合約部署、交易執行等細節。[2021/7/20 1:03:37]

Youtube鏈接:?https://www.youtube.com/watch?v=mrf9HjjL_38&feature=emb_imp_woyt

盡管2022年有很多突破，但今年的流行語可能是零知識虛擬機和零知識以太坊虛擬機。許多項目正基于此構建一些變體，因為它們被視為高度可行的以太坊區塊鏈的的擴展性解決方案。過去的這個夏天，在巴黎舉行的EthCC活動期間，各個團隊圍繞這些解決方案發布了大量公告。在那次活動中，Polygon推出了他們的zkEVM。Polygon的zkEVM與傳統的zkrollup不同，旨在實現與以太坊虛擬機操作碼級別的兼容性，并提供更快、更便宜的交易。其在7月公布后，又進行了多次更新，最新消息是主網前的最終版本公開測試網已于12月21日發布。另一方面，zkSync同樣在EthCC上宣布在10月份將他們的zkVM，即zkSync2.0推送到主網上。雖然他們最終發布了一個非常精簡的版本(BabyAlpha)，但zkSync2.0將提供一些主要的差異點，例如帳戶抽象、對Solidity和Vyper的支持以及LLVM編譯器。也出現更多的玩家。最值得注意的公告之一是RiscZero構建了一個“通用零知識虛擬機”。此外，正在以太坊上構建基于zkEVM的zkRollup的Scroll，推出了帶演示功能的Pre-Alpha測試網。

StarkWare推出ZK Rollup擴容解決方案StarkNet:1月27日消息，零知識證明研發機構StarkWare表示，其二層擴容解決方案ZK Rollup“StarkNet”目前已經完成基礎構建（階段0），即圖靈完備框架Cairo、STARK 軟件堆棧和二層擴容引擎StarkEx，之后將進行構建階段一至階段三，其中，階段一將支持單一應用Rollup“Single-App Rollup”，將使開發人員能夠在StarkNet上構建和部署自己的可擴展性應用程序；階段二將支持多應用Rollup“Multi-App Rollup”，支持在同一StarkNet實例上運行并訪問多個應用程序，這將實現不同應用程序之間的互操作性，以及降低 Gas 成本；階段三將支持去中心化Rollup“Decentralized Rollup”。

StarkWare預計將在近幾個月內部署階段一，并在2021年底之前順利進入階段二和階段三。StarkWare構建的StarkNet是一種由STARK驅動的去中心化二層ZK Rollup，可支持以太坊的通用計算。[2021/1/27 13:37:48]

測試網變得越來越快

隨著零知識技術在區塊鏈行業的傳播，三個有前景的參與者向主網邁出了重要的一步。在今年的最后一個季度，Aleo進行了重大改進并推出了他們的Testnet3，該測試網分為三個階段。該版本允許開發者在網絡上開始編寫、部署和執行Aleo程序。此外，它還引入了一種新的共識算法AleoBFT，它將PoS共識算法與PoW的證明者激勵方案相結合。

V神：ZK Rollup和Optimistic Rollup均取得巨大進展:以太坊創始人V神剛剛發推表示，Rollups(包括ZK Rollup和Optimistic Rollup)已經存在并繼續取得巨大進展。雖然分片（sharding）仍在快速發展，但我們并不依賴于分片來實現1000+的鏈上TPS。在eth2中，分片和Rollups的縮放增益將成倍增加。[2020/5/21]

另一個在他們的測試網上取得進步的參與者是Namada，它是Anoma的一個分支實例，將隱私資產帶入了Cosmos生態系統。他們運行了一個隱私測試網，其中ZKV是驗證者的一部分，并于12月20日啟動了他們的第一個公共測試網。最后但同樣重要的是，我們也一直在關注Penumbra的發展，其是Cosmos的帶隱私功能的去中心化交易所(DEX)。在2022年期間，Penumbra遵循快速發布的理念，推出了35個版本的公共測試網。在此過程中，該團隊引入了重要的改進，例如新穎的分層承諾樹，是一種Merkle樹可以將Penumbra加速4,000倍，以及他們為Penumbra系統Poseidon哈希的零知識證明友好的實例，Poseidon377。

ZK跨鏈橋

Youtube鏈接:https://www.youtube.com/watch?v=f4kBUe2n0Qk&feature=emb_imp_woyt

盡管處于非常早期的階段，但一些項目已經在ZK領域取得了進展。我們指的是ZK跨鏈橋—無需信任的跨鏈橋接解決方案。他們旨在取代其他橋架構，這些架構是2022年的主要的安全問題之一。2022年10月，Succinct推出了第一個演示。該版本橋接了Goerli和Gnosis鏈，允許用戶將“Succinct代幣”存入Goerli存款合約，并在Gnosis鏈上接收鑄造的Succinct代幣。同樣在10月，zkBridge發表了他們在斯坦福構建的解決方案的論文。沿著這一思路的另一個新穎概念是zkIBC的誕生。該解決方案旨在使用零知識證明將Cosmos的簽名跨鏈通信協議(IBC)引入以太坊。大體上，他們基于以太坊上輕客戶端狀態的zk-snark證明驗證，來構建最小化信任、可互操作的消息傳遞協議。

新的語言

在零知識項目中，公開了兩種新語言。2022年初，Aleo推出LEO；一種受Rust啟發的靜態類型編程語言，專為編寫隱私應用程序而構建。同時，在10月，Aztec發布了他們的Noir語言。Noir是一種基于Rust的領域特定語言(DSL)，用于創建和驗證零知識證明。

可信設置登場

可信設置儀式也是年底敘事的一部分。對于入門者來說，TSC是一組參與者協作生成一組密碼參數的過程，每次運行某些密碼學協議時都必須使用這些參數。進行了TSC的項目是Namada和Manta。前者共有2510人參加了儀式，而后者則有超過3559名貢獻者參與了這個過程。據說以太坊基金會也計劃在2023年初進行可信設置。

從應用程序到zkApps

11月中旬，MinaProtocol啟動了一項計劃，旨在促進所謂的zkApps的發展，zkApps是允許開發人員利用Mina的零知識技術的智能合約。這標志著ZK領域的一個重要里程碑，因為它可能會使用零知識釋放出大量的創新和用例浪潮，并且由于構建zkApps的SnarkyJS庫，可能會吸引超過83,000名的Typescript開發人員中的一些人。

Youtube鏈接:https://www.youtube.com/watch?v=bjSAf41PWWI&feature=emb_imp_woyt

社區越來越大

隨著零知識證明采用的增加，對這項技術感興趣的人數大幅增加。ZKHack和zkSummit是社區中的兩個標志性事件，在這兩個事件中都聚集了2500多人。這些活動的一個亮點是多個生態項目的聚集，以及生態系統新人接觸重要項目的機會。

研究很重要

認為零知識局限于區塊鏈行業是錯誤的。通用研究正在興起。學術界圍繞該主題發表了大量論文。據谷歌學術統計，僅在2022年，零知識研究就發表了67,100篇文章，比2021年增加了2,000篇。但是，這方面的論文數量自2018年以來大幅下降。

結論

我們的年度總結到此結束！盡管過去一年的大部分敘述都是圍繞可擴展性展開的，但我們希望在接下來的幾個月里，我們能夠看到一波使用零知識的以隱私為中心的協議浪潮。2022年是零知識證明取得突破的一年：ZK技術正從研究走向區塊鏈行業及現實世界的其他領域。我們認為這是一個更大可能性的開端。

Tags：ROLLROLARKSTARroll幣怎么用TrollCoinGARKLSTAR價格

加密貨幣