ISC:一覽近期ZK賽道值得關注的重點融資項目

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

ZK、ZK-VM?及?ZK-EVM

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

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

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

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

金色晨訊 | 1月29日隔夜重要動態一覽:21:00-7:00關鍵詞：橋水基金、Micro Strategy、Coinbase、日本

1.橋水基金正為兩只新基金而研究加密貨幣；

2.MicroStrategy首席執行官：將繼續將公司多余現金注入比特幣;

3.Coinbase宣布將通過直接上市的方式成為上市公司;

4.新加坡金融管理局主席：數字貨幣會使傳統風險變得更加明顯;

5.朱民：數字人民幣的未來將在很大程度上由市場決定;

6.湖南省首批區塊鏈安全技術測評地方標準已正式實施;

7.灰度BTC信托持倉量增加14枚 ETH信托持倉量減少203枚;

8.美國內華達州里諾市市長敦促政府采用Chainlink;

9.日本SBI和三井住友將于2022年春季推出數字證券交易所。[2021/1/29 14:17:19]

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

成立于2018年的?NilFoundation?最初是做數據庫管理系統。去年底以?2.2?億美元的估值完成了?2200?萬美元的融資，由?PolychainCapital領投，BlockchainCapital、Starkware、MinaProtocol、IOSGVentures?等參投。

金色晚報 | 12月5日晚間重要動態一覽:12:00-21:00關鍵詞：以太坊、數字人民幣、歐央行、工程院

1. 以太坊開發者計劃將EIP-1559遷移到主網，大多數研究問題已解決；

2. 數字人民幣“雙離線”功能將在蘇州紅包試點中首次曝光；

3. 韋氏評級：加密貨幣將不再是邊緣貨幣；

4. 數據：比特幣活躍度創7個月新高，長期持有者正在平倉；

5. CEO Global：因公司核心創始人被有關部門帶走調查，暫停幣種充提、OTC交易；

6. 歐央行計劃在四方面進行數字歐元的準備性試驗；

7. 中國工程院院士沈昌祥：區塊鏈安全需要主動免疫可信計算。[2020/12/5 14:08:05]

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

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

金色午報 | 8月29日午間重要動態一覽:7:00-12:00關鍵詞：Filecoin、火幣CFO、鐘惟德

1.Filecoin官方降低各大洲獎勵解鎖基準線。

2.原嘉楠副總裁張麗擬擔任火幣新任CFO。

3.加密挖礦公司Cryptologic第二季度凈虧損140萬美元。

4.3月初以來中心化交易所ETH余額增加BTC余額有所下降。

5.倪光南：自主安全可控的分布式存儲全系列解決方案為新基建所需。

6.國務院特殊津貼專家鐘惟德：區塊鏈技術可以實現臨床和實驗數據的共享。[2020/8/29]

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

SovereignLabs

專注于構建?ZK-RollupSDK?的SovereignLabs?今年?1?月完成了?740?萬美元種子輪融資，該輪融資由?HaunVentures?領投，Maven11、1KX、RobotVentures?和?PlaintextCapital?參投。

金色午報 | 2月27日午間重要動態一覽:7:00-12:00關鍵詞：央行、伊朗、江蘇銀行、FTX

1. 央行數字貨幣產業鏈梳理：20多家公司參與 大多已上市；

2. 伊朗將軍提倡用加密貨幣促進國際投資以應對制裁；

3. 2月26日BitMex上清算了價值超過1.9億美元的比特幣頭寸；

4. 江蘇銀行推出區塊鏈品牌“蘇銀鏈2.0”；

5. FCoin及FMex重啟工作正式開始；

6. Bitfinex排行榜顯示FTX CEO賬面浮虧超1200萬美元；

7. 體育總局經濟司副司長：鼓勵企業利用區塊鏈等新技術培育體育行業新業態；

8. 美國開發針對暗網市場的加密貨幣情報程序；

9. BTC現報8728.19美元，日內跌幅2.94%，前十主流幣普跌。[2020/2/27]

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

每日播報 | Bakkt期貨合約數據一覽:金色財經報道，Bakkt Volume Bot數據顯示，12月10日，Bakkt BTC期貨單日交易量為2274枚BTC，環比下跌10%，交易額為1641萬美元；Bakkt BTC期貨單日交易量峰值發生在11月27日，達到5671枚BTC。昨日未平倉量為532萬美元，與前日持平。[2019/12/11]

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

Ulvetanna

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

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

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

Cysic

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

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

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

HyperOracle

ZK?預言機網絡HyperOracle最近完成了由dao?5和紅杉中國種子基金共同領投的300萬美元種子輪融資，ForesightVentures、FutureMoneyGroup?等跟投。

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

Polyhedra

最近ZK?基礎設施初創公司PolyhedraNetwork?完成了由?BinanceLabs和PolychainCapital共同領投的?1000萬美元融資，AnimocaBrands和Dao?5參投。

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

RISCZERO

RISCZero是一個開源的通用型?ZK-VM，該項目的名字起源于流行的?RISC，RISCZero?采用目前最新的第?5?代?RISC-V，RISC-V?指令集的理念是最大化的精簡指令集，它僅包含?40?多條指令集。因為采用?RISC-V?指令集，因此?RISCZero?支持?C、Rust?和?Go?等高級編程語言，開發者無需學習新的語言就可以使用?ZK-VM。

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

ZK?賽道發展方向

去年，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?也可以很好的支持?Solidity，也許?ZK-VM?才是Web3的未來。

Tags：ISCEROOLYPOLYDisciplinaHEROESpolydoge幣銷毀機制polydoge幣項目方最新消息

Uniswap