ERO:盤點近期ZK賽道重點融資項目：ZK-VM將如何構建Web3的未來_區塊鏈

作者：李科

去年以來ZK賽道受到了大家的廣泛關注，特別是采用ZK-EVM技術的Starknet、zkSync、Polygon EVM、Scroll等明星項目成為大家談論最多的話題，那ZK-VM又發展如何呢？本文將通過介紹近期新出現的ZK融資項目，為大家梳理ZK賽道的關鍵概念和發展方向。

為了了解ZK賽道各個項目背后的技術特點，讓我們先來了解一下ZK相關的基本概念。

ZKP（Zero Knowledge Proof）表示零知識證明，是指通過數學密碼學的方式解決區塊鏈的隱私和擴展問題，主要是通過證明者和驗證者在不公開數據的情況下驗證數據的正確性。

ZK-VM是基于零知識證明的虛擬機，它將零知識證明ZK和虛擬機VM（Virtual Machine）結合起來。ZK-VM一般包含2個重要組成部分：一個是編譯器（Compiler），它可以將C++、Rust等高級語言編譯生成中間表達(IR)，以供ZK系統證明；一個是指令集框架ISA（Instruction Set Architecture），指令集主要對CPU運算進行指令，是用來引導CPU進行運算的一系列指令集合。

ZK-EVM是ZK-VM的一種，主要特點是可以兼容以太坊EVM，支持用Solidity編寫的智能合約在其虛擬機上運行，以幫助以太坊二層擴容。Starknet、zkSync、Scroll、Polygon hermez都屬于ZK-EVM。

美股持續走高，道指較3月23日收盤點位上漲20.48%:美股盤中持續走高，道指漲逾1200點，較3月23日收盤點位上漲20.48%；納指、標普500指數分別較3月23日收盤點位上漲約12%、16%。[2020/3/27]

Nil Foundation

Nil Foundation的全名是“=nil; Foundation”，有點像亂碼，其實這個奇怪的名字來源于一個SQL注入玩笑。

成立于 2018 年的Nil Foundation最初是做數據庫管理系統。去年底以2.2億美元的估值完成了2200萬美元的融資，由Polychain Capital 領投， Blockchain Capital、Starkware、Mina Protocol、IOSG Ventures等參投。

Nil Foundation在LLVM的基礎上構建了一個ZK電路編譯器，該編譯器可以將C++、Rust等高級語言編寫的程序編譯生成為適當的中間表達(IR)，以供ZK系統證明。即Nil Foundation是一個電路編譯器，而不是虛擬機。

LLVM(LowLevelVirtualMachine)是構架編譯器的一種框架系統，可以優化Rust和C++等高級語言編寫的程序的編譯和運行時間。LLVM最初由伊利諾伊大學的Chris Lattner博士于2000年主持開發。2006年Chris Lattner加盟Apple后開始致力于LLVM在開發系統中的應用，目前LLVM已經被Apple、Microsoft、Google、Facebook等各大公司采用。

動態 | Cointelegraph盤點2019年最具活力和影響力的區塊鏈公司:Cointelegraph發文盤點2019年最具活力和影響力的區塊鏈公司，具體如下：

1. 加密貨幣托管和清算獲得動力：Gemini；

2. 去中心化穩定幣交易加速：Maker/DAI；

3. 游戲協議吸引主流興趣：TRON / WINk；

4. 利用不斷擴展的開發者社區：Ethereum；

5. 比特幣生態系統中的智能合約和DeFi：RSK；

6. 衍生品讓機構投資者的興趣達到頂峰：Bakkt；

7. 向加密生態系統添加資本市場功能：Binance；

8. 打開法幣閘門：Simplex；

9. 擴大對加密解決方案的訪問和認知：Coinbase；

10. 傳統支付公司利用加密技術并鼓勵采用：Skrill。[2020/2/10]

除此之外，Nil Foundation有個比較特別的地方是建立了一個“證明市場”（Proof Market），通過Proof Market用戶可以付費請擁有硬件的人為他們驗證，證明者競相為支付給他們的用戶證明計算， 這種自由市場動態將使證明者優化最有價值的證明任務。

Sovereign Labs

專注于構建ZK-Rollup SDK的Sovereign Labs 今年1月完成了740萬美元種子輪融資，該輪融資由Haun Ventures領投，Maven 11、1KX、Robot Ventures和Plaintext Capital參投。

動態 | 信通院盤點2018金融科技十大熱詞 區塊鏈在多個領域均有應用:據中國信通院官網消息，3月21日，中國信通院盤點2018金融科技十大熱詞。區塊鏈在保險科技、供應鏈金融、監管科技、數字金融反欺詐和支付科技等金融科技熱點均有應用。比如供應鏈金融方面，區塊鏈通過加密數據的交易確權、基于存證的交易真實證明、基于共享賬本的信用拆解和基于智能合約的執行等，能有效解決上述痛點，助力供應鏈金融的落地；支付科技方面，區塊鏈技術帶來支付變革，港版支付寶AlipayHK用戶通過區塊鏈技術向菲律賓錢包Gcash匯款也能像境內轉賬一樣實時到賬，7×24小時不間斷、省錢省事、安全透明，可謂重新定義了“跨境匯款”。[2019/3/21]

Sovereign Labs計劃構建一個軟件開發工具包(SDK)，幫助開發人員創建安全且可互操作的零知識Rollup。Sovereign SDK 旨在簡化 ZK-Rollup 的創建，就像 Cosmos SDK 簡化Layer1的創建一樣。它是第一個消除零知識復雜性的匯總框架，使開發人員可以輕松構建他們的應用程序，開發人員無需成為密碼學專家。使用 Sovereign SDK，開發人員將能夠使用慣用的 Rust（或是 C++）編寫應用程序，SDK 將自動將其編譯為高效的 ZK虛擬機。

Sovereign Labs的路線圖分為3個部分，第一階段是在2023年第二季度完成研究設計原型，當前的原型集成了用于數據可用性的 Celestia 和用于證明的 Risc0。第二階段是Sovereign SDK的部署，包括點對點網絡、RPC 節點、核心 API 以及默認存儲和排序模塊。第三階段是進行代碼清理、測試、模糊測試和審計。

雅虎財經2018年2月7日加密峰會盤點:

1. 摩根大通區塊鏈負責人Farooq：區塊鏈將從根本上改變商業的運作；數字貨幣必須解決洗錢問題。

2.Blockchain CEO：數字貨幣最厲害之處，就是在與任何國家無關的情況下成為金融體系的一部分。

3.DCG（數字貨幣集團）創始人Barry Silbert：大多數幣種沒有真正的實用性；希望未來讓DCG上市。

4.Fundstrat Global Advisors聯合創始人Tom Lee：數字貨幣市場不僅僅是個“十年的故事”，它將持續存在30年。數字貨幣市場像新興市場。如果相信區塊鏈，那就必須相信比特幣、以太坊以及所有的公鏈。

5.Indiegogo股權眾籌和加密貨幣投資負責人：最終將需要與監管機構來一次有意義的、權威的對話。

6.Chain聯合創始人兼CEO Adam Ludwin：人們其實希望對數字貨幣進行監管；以加密方式上發行傳統貨幣以后將是這個領域中的很大一部分。

7.瑞波CEO：瑞波超過50%合作金融機構為日本公司，瑞波幣將在3-5年內成功；長期看好比特幣，認為比特幣不會滅亡，但也不會解決付款問題。

8.Goodwin Procter律所合伙人Grant Fondo：不管某個項目看起來有多好，別把雞蛋放在一個籃子里。

9.數字商會總裁Perianne Boring：數字貨幣投資者需要做好研究，同時要有批判性思維。[2018/2/8]

Ulvetanna

區塊鏈概念股漲跌盤點:

四方精創（300468）：現價42.80元，漲幅6.28%，成交額3.52億，流通市值28.62億；

飛天誠信（300386）：現價17.81元，漲幅1.77%；成交額4.60億，流通市值35.28億；

贏時勝（300377）：現價13.37元，漲幅1.67%；成交額7.64億，流通市值68.15億；

第一創業（002797）：現價9.87元，漲幅0.82%；成交額8.99億，流通市值189.35億；

廣電運通（002152）：現價7.52元，漲幅0.82%，成交額3.56億，流通市值146.99億；

北大荒（600598）：現價11.30元，漲幅0.53%；成交額1.54億，流通市值20.88億；

新國都（300130）：現價25.61元，跌幅0.27%；成交額1.08億，流通市值40.25億；[2017/12/20]

Ulvetanna 是一家構建硬件以提高零知識證明（ZKP）生成效率的初創公司，以5500 萬美元估值完成了 1500 萬美元的種子輪融資，Bain Capital Crypto 和 Paradigm 共同領投了種子輪融資，Jump Crypto 參投。

Ulvetanna正在構建旨在加速生成 ZKP 過程的硬件，Ulvetanna 的團隊包括來自 Coinbase、微軟和英特爾的程序員和工程師。

隨著未來ZKP需求的的增加， ZKP 需要大量計算，這就需要強大的硬件并消耗大量電力。 Ulvetanna認為ZKP生成在專門設計的硬件上要高效得多，因此Ulvetanna組建了一支由應用密碼學家、軟件和硬件工程師、數據中心和云架構師以及加密原生投資者組成的經驗豐富的團隊，通過結合密碼學和高性能計算來提供高效的ZKP硬件計算服務。

Cysic

ZK硬件初創公司 Cysic 于2022 年 12 月完成了 600 萬美元的種子輪融資，由 Polychain Capital 領投，其他投資者包括 Hashkey、SNZ Holding、ABCDE 和 Web3.com 基金會。

Cysic 旨在為 ZK 證明提供硬件加速解決方案。 目前Cysic 的合作伙伴包括 Scroll、Nil Foundation 和 Hyper Oracle。

Cysic 團隊開發了多標量乘法 (MSM) 的 FPGA 原型（ 比在CPU 上運行 MSM省電）， FPGA 是一種可編程硬件，類似于 CPU 和 GPU 芯片。

Hyper Oracle

ZK預言機網絡Hyper Oracle最近完成了由 dao5 和紅杉中國種子基金共同領投的 300 萬美元種子輪融資，Foresight Ventures、FutureMoney Group等跟投。

Hyper Oracle正在基于zkWASM 虛擬機開發ZK中間件協議和 ZK預言機zkOracle 的開發，以解決區塊鏈中間件的安全性、去中心化、計算完整性和性能方面的挑戰。

Polyhedra

最近 ZK基礎設施初創公司Polyhedra Network 完成了由Binance Labs 和 Polychain Capital 共同領投的1000 萬美元融資，Animoca Brands 和 Dao5 參投。

Polyhedra 目前基于ZK技術開發了3款ZK產品：包括用于L1 和L2 資產傳輸的ZK橋（zkBridge）；采用零知識證明技術保護隱私的用戶身份解決方案ZK-DID ；一種可編程的 NFT 協議ZK-NFT， 該產品采用了零知識證明技術，以保護用戶資產的隱私。目前，zkBridge 的測試網已經上線。 除此之外，Polyhedra還開發了一種名為ParaPlonk的擴容方案，可使用大規模分布式證明生成網絡來加速ZK rollups。Polyhedra 計劃集成更多區塊鏈，并通過 API 和 SDK 工具讓開發人員便于訪問，以吸引更多的 ZK-rollup 開發人員。

RISC ZERO

RISC Zero（暫未公布融資信息）是一個開源的通用型ZK-VM，該項目的名字起源于流行的RISC（Reduced Instruction Set Computer 精簡指令集計算），RISC Zero采用目前最新的第5代RISC-V，RISC-V指令集的理念是最大化的精簡指令集，它僅包含40多條指令集。因為采用RISC-V指令集，因此RISC Zero支持C++、Rust和Go等高級編程語言，開發者無需學習新的語言就可以使用ZK-VM。

RISC Zero產品增長VP Manasi（前Uniswap增長主管）表示，RISC Zero也將會支持Solidity，因此RISC Zero對原生以太坊開發者將會更加友好。在語言編譯方面，RISC ZERO 采用了被很多大廠使用的LLVM架構。從技術路線來看，因為采用了比較成熟的編譯和指令集方案，RISC ZERO有可能成為ZK-VM賽道的典型項目。

去年，ZK賽道的項目主要集中在兼容以太坊的ZK-EVM上，比如Starknet、zkSync、Scroll等熱門項目。從近期融資的ZK項目類型來看，基本還是以基礎設施層面為主，比如ZK電路編譯器、ZK硬件加速、ZK預言機和橋。

同時，這些項目也呈現出一個趨勢，即ZK-VM類的項目數量開始增多。其實，通過引入ZK證明系統，ZK-VM可以幫助大量Web2.0的應用結合零知識證明進入Web3。比如目前Gamefi后端管理用戶數據的服務是中心化的，如果后端采用ZK-VM，這樣游戲可以實現真正的去中心化。以此類推，在有必要的前提下，很多Web2.0的應用都可以實現去中心化。

ZK-EVM和ZK-VM哪個才是未來？雖然以太坊上的應用會逐漸支持ZK-EVM，但Web3不僅只有以太坊，因為ZK-VM支持更多的高級語言，而且相對于ZK-EVM來說更容易搭建（ZK-VM可以采用成熟的編譯器和指令集架構），如果ZK-VM也可以很好的支持Solidity，也許ZK-VM才是Web3的未來。

PANews

媒體專欄

閱讀更多

金色財經 善歐巴

金色早8點

Odaily星球日報

歐科云鏈

Arcane Labs

深潮TechFlow

MarsBit

BTCStudy

澎湃新聞

Tags：區塊鏈ISCPOLERO區塊鏈的未來發展前景肖磊ISCPPOLT價格Herobattle

比特幣交易