STARK:零知識系解決方案們正悄然改變行業格局_PARK幣

本文來自Substack，原文作者：tolks，由Odaily星球日報譯者Katie辜編譯。

在過去的幾個月里，借助零知識證明的區塊鏈擴容方案正加速涌現，資金投入和開發進度也大幅提升。

不少從業者堅信當ZK-rollup技術大規模落地時，加密生態系統將取得進步。雖然全面實施到鏈上或許還需要5-10年的時間，但在接下來的幾個月里，我們將看到完全兼容的ZKR技術支持鏈上應用。

本文先帶大家回顧近期零知識證明領域的發展，一覽當前ZK主要玩家的定位、代幣情況及發展脈絡，借此，我們可以明顯感知到ZK未來已來。

ZK?概述

Rollup擴容方案專注于降低鏈上的費用，對于將L1擴展到數億級別用戶來說至關重要。雖然使用欺詐證明的OptimisticRollups現在是較佳選擇，但使用鏈外計算的ZKRs將是未來的最佳選擇。

V神曾總結道：“隨著ZK-SNARK技術的改進，從中長期來看，ZKrollups將脫穎而出。”ZKRs實現了與Optimisticrollups相同的目標，同時為用戶提供了隱私選項并增加了可擴展性。正如EthHub所述，“ZK通過減少交易中持有的數據量，減少了驗證區塊的計算和存儲資源，不要求我們對所有數據有任何了解。”

Type 1零知識以太坊虛擬機Taiko Labs A輪前融資獲1200萬美元:金色財經報道， Type 1 零知識以太坊虛擬機Taiko Labs A 輪前融資獲1200 萬美元，由 Generative Ventures 領投 。以太坊聯合創始人 Vitalik Buterin表示，Type 1 ZK-EVM 是我們最終需要使以太網 L1 層本身更具可擴展性的東西。 它們也是 rollups 的理想選擇，因為它們允許 rollups 重用大量基礎設施。[2023/6/12 21:30:36]

簡單來說，ZK技術允許用戶證明他們擁有或知道某些東西，而不需要提供任何關于該東西是什么或有多少的信息。在俄烏戰爭引發的經濟制裁后，ZK技術也備受關注，人們對隱私交易的熱情和需求正在增加。

來源：MatterLabs

ZK技術落地新進展

這小半年，ZK領域飛速發展，重要事件包括：

3月10日，StarkWare正進行1億美元融資，估值60億美元。此前，StarkWare曾在2021年11月融資5000萬美元，估值20億美元。

3月8日，智能合約錢包Argent宣布全面開放Layer2賬戶注冊，注冊候補名單中的超過50萬用戶可以訪問其以太坊zkSync網絡Layer2錢包。

Polygon開源零知識證明系統Plonky2:8月16日消息，Polygon宣布開源零知識證明系統Plonky2，另外，STARK證明器Starky也是開源的。Plonky2由Polygon于今年1月份公布，Plonky2是一種遞歸SNARK，并且與以太坊原生兼容，結合了PLONK和FRI，具有快速證明和無可信設置。[2022/8/16 12:28:58]

3月7日，Immutable融資2億美元，估值25億美元。

3月7日，Web3應用程序擴展和隱私系統EspressoSystems完成3200萬美元融資，其正在開發Layer1基礎設施，通過將PoS共識協議與zkRollup機制相結合，以更高效的方式捆綁多筆交易，從而提供快速、低費用的交易。

2月22日，zkSync?開發商?MatterLabs在以太坊的測試網推出zkEVM，2021年11月其融資了5000萬美元。

2月22日，StarkWare構建的StarkNet發布，并將在下半年轉入社區運行。

2月7日，Polygon獲得了他們最近一輪4.5億美元的融資，將擴大其?ZK技術業務。

2月7日，ZK技術區塊鏈公司Aleo融資2億美元，估值14.5億美元。

a16z宣布推出使用零知識證明技術的空投領取工具:金色財經報道，加密風投機構a16z在官網宣布推出使用零知識證明技術的空投領取工具，使得加密項目方向活躍貢獻者發放空投時保護貢獻者的地址隱私，特別是根據用戶鏈下活動空投代幣的情況下。

具體而言，潛在的空投接收者可以通過公共渠道（如 Telegram、Discord、Twitter 或 Signal）提供消息（稱為“承諾”）；然后，空投者通過將這些承諾散列在一起，構建一個Merkle樹。隨后，潛在的接受者可以通過提供零知識Merkle證明，證明他們是樹內承諾的作者，而無需透露是哪一個，從而聲稱自己的空投份額。

a16z稱，以這種方式申領代幣將收件人的公共地址與所有其他有權空投的用戶的公共地址混合在一起，從而保護他們的匿名性。[2022/3/28 14:21:12]

2月3日，GameStop與ImmutableX合作建立他們的?NFT?市場，并宣布為他們的生態系統投資?1億美元。

1月7日，MatterLabs和BitDAO發起了一個2億美元的DAO，繼續為zkSync生態系統擴展和核心基礎設施建設。

2021年12月10日，Polygon以4億美元收購零知識技術開發商Mir，將其更名為PolygonZero。Polygon在去年8月還以2.5億美元收購了?HermezNetwork，這是另一個ZKrollup擴展解決方案，合并了他們的代幣MATIC和HEZ。

FMex已完成零知識證明開發工作:據了解，FMex目前已完成零知識證明開發工作，平臺啟動運營時將同步上線。通過零知識證明可實現平臺資產數據公開透明，不可偽造。屆時社區用戶可通過開源工具驗證資產數據。[2020/5/26]

2021年12月16日，Aztec?Network完成1700萬美元A輪融資。

ZK系?7位主要玩家

1.StarkWare研發的產品主要有：StarkNet、StarkEx。

StarkNet

StarkNet是ZK-RollupL2解決方案，去年11月29日其使用ZK-STARKs的方案在以太坊主網發布。

2月23日，StarkNet宣布其最新版本StarkNetAlpha，稱該擴展解決方案已經準備好用于應用程序構建和交易。最近，StarkNet宣布與?Aave、OperaBrowser、DeversiFi和Argent等協議建立合作關系。

代幣：預計在今年下半年空投給早期用戶。

StarkEx

StarkEx是一個通過編程語言Cairo構建的可擴展性引擎，2020年6月起在主網上運行，目前被DeversiFi、ImmutableX、dYdX?和Sorare采用。

金色沙龍 | 燕麗：零知識證明對于協調區塊鏈底層擴容也有很大幫助:在今日舉行的《隱私計算——區塊鏈信息安全守護者》為主題的金色沙龍中，算力智庫創始人燕麗表示，2020年1月1日，中國首部《中華人民共和國密碼法》將正式開始實施，而在這之前一直只有一部 2007年4月23日公布的《商用密碼產品使用管理規定》和《境外組織和個人在華使用密碼產品管理辦法》。很多人把這次《密碼法》和2019年“1024”中央把區塊鏈技術作為國家戰略聯系在一起。區塊鏈技術是完全基于密碼學技術，所以按照這個邏輯，如果政府要完全掌控未來區塊鏈技術的發展，首先就要完全掌控密碼學技術，而這個其中的核心是國家主權范圍之間在所有的通信安全和商業行為之間軍備競賽的升級。區塊鏈有大量擴容壓力，而為了達到這個操作，必然要犧牲系統處理效能和部分隱私。但矛盾的是，區塊鏈前期的應用場景如虛擬貨幣，數字金融等，都需要有更好的隱私保護和不容易被惡意攻擊的防護。所以若想讓區塊鏈技術落地生根，那么提高區塊鏈底層技術來滿足對于高安全性(含高完整性和高保密性)、高性能、高廣義效率的要求，也許是個穩妥做法。所以隱私計算中的零知識證明等對于協調區塊鏈底層擴容也有很大幫助。[2020/4/15]

根據StarkWare的數據，StarkEx?從3月9日起，TVL達?11億美元，交易筆數為1.23億，累計價值4620億美元。

代幣：將最終由社區運行。但我假設這是在StarkNet代幣上線后不久，大概也是在下半年空投給早期用戶。

2.zkSync

zkSync是由MatterLabs開發、使用ZK-SNARKs的ZK-rollup，自2020年6月以來一直在運行。2月22日，zkSync宣布其2.0已經上線，并且是在以太坊測試網中第一個兼容了EVM的ZKRollup。“去年5月，我們展示了zkSync的zkEVM愿景，一個無需許可、圖靈完備的ZKRollup，它將允許開發者使用以太坊本地編程語言Solidity的高度可擴展的L2環境，以低成本構建和部署DApp。”

下面是關于zkSync2.0當前特性的更多細節：

支持ECDSA簽名。與第一個版本的zkSync和大多數ZKrollup不同，注冊用戶的私鑰不需要特殊操作。在L2中，任何帳戶都可以使用L1使用的私鑰來管理。

支持Solidity0.8.x。部署現有代碼庫，幾乎不需要任何更改。

Web3API，完全兼容以太坊。這允許與現有的索引器、瀏覽器等無縫集成。

支持以太坊加密原語。zkSync本地支持kecak2569sha256。

安全帽插件。允許開發者在zkSync上輕松測試和開發智能合約。

LI至L2的智能合約消息。允許開發者將數據從以太坊L1傳遞到zkSync上的智能合約，提供運行各種智能合約所需的信息。

關于zkSync的更多信息，可以查看其項目生態系統與ZK解決方案，并參考?DuneAnalytics?的zkSync交易數據、TVL、存取zkSync的其它信息。

根據官方文件，zkSync將發行代幣，但具體時間未知。

3.ImmutableX

由StarkWare的StarkEx支持，ImmutableX是ZK技術支持的領先協議之一，具有游戲和NFT領域應用程序。ImmutableX稱自己“堅持為市場、游戲和應用程序提供零gas手續費、即時交易、碳中和的NFT”。ImmutableX?已成立多年，并完成了大量的開發和優化。

基于IMX的產品包括GodsUnchained、Illuvium和TikTok的熱門系列。

2月3日，GameStop宣布將在ImmutableX?的基礎上創建NFT市場，并投資1億美元用于支持其生態系統內的游戲開發。

ImmutableX代幣為IMX。

4.Polygon

Polygon目前在開發三個獨立的ZK-rollup擴容方案：

PolygonMiden：一個基于stark的zk-Rollup，支持任意智能合約。

PolygonZero：提供Rollup和Validium模式，帶來更高的吞吐量和更低的費用。

PolygonHermez：一個開源的zk-Rollup，從安全、低成本和可用性三方面優化代幣交易。

遺憾的是，Polygon的ZKrollups?套件的詳細路線圖很難獲得。

5.EspressoSystems

Espresso在3月6日正式亮相，宣布了融資情況，并介紹了他們的愿景。擴容和隱私解決方案?Espresso將自己描述為“一個結合了?PoS?共識和ZK-rollup機制的L1”。

EspressoSystems發布了CAPE，這是一個EVM應用程序，允許用戶自定義誰可以看到所有權細節和資產移動情況，并能夠在CAPE內wrap和unwrap當前的ERC-20代幣。CAPE將在未來幾周部署到Rinkeby測試網。

6.AztecNetwork

使用zk-SNARKs?的L2擴展解決方案——保護ERC-20代幣交易和其它DeFi交互的隱私，目前已部署在Goerli測試網。

zk.money是由Aztec開發的核心應用程序，允許MetMask用戶秘密發送DAI和ETH，團隊希望在今年晚些時候實現全面的錢包級別的資產隱私。

7.Aleo

Aleo是一個啟用ZK的私有鏈，默認情況下，它處理鏈外交易，然后由網絡節點驗證。

Aleo在2月7日完成2億美元?B輪融資?，正在測試網階段，計劃在今年Q3上線主網。

ZK的突破性潛力

我相信，從業者們在ZK領域所做的研究和探索非常重要，它將從根本上改變未來20年的計算方式。ZK允許我們構建模塊化應用程序，明確了隱私的邊界。這對于常規應用來說也是種巨大的力量。

落回區塊鏈行業，當前ZK系的領導者是zkSync和StarkWare，它們都將在今年發行代幣。從它們的融資輪和當前估值來看，需求將是巨大的，這些協議和其它L2會激勵用戶和流動性的遷移。雖然我們還需要幾個月的時間才能在微觀層面上看到這一點，但ZK技術很可能會徹底改變區塊鏈的未來。

一文對比以太坊二層解決方案zkSync與Starkware

Tags：ARKSTASTARKSTARPARK幣pstake幣未來STARK價格STAR幣

芝麻開門交易所