一覽近期ZK賽道值得關注的重點融資項目
一級標題
一級標題
一級標題
ZK、ZK-VM 及ZK-EVM
ZK-VM 是基於零知識證明的虛擬機，它將零知識證明ZK 和虛擬機VM（Virtual Machine）結合起來。 ZK-VM 一般包含2 個重要組成部分：一個是編譯器（Compiler），它可以將C++、Rust 等高級語言編譯生成中間表達(IR)，以供ZK 系統證明；一個是指令集框架ISA（Instruction Set Architecture），指令集主要對CPU 運算進行指令，是用來引導CPU 進行運算的一系列指令集合。
一級標題
一級標題
Nil Foundation
Nil Foundation一級標題
近期值得關注的ZK 賽道新融資項目
的全名是“=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 是一個電路編譯器，而不是虛擬機。
Sovereign Labs
LLVM(LowLevelVirtualMachine)是構架編譯器的一種框架系統，可以優化Rust 和C++等高級語言編寫的程序的編譯和運行時間。 LLVM 最初由伊利諾伊大學的Chris Lattner 博士於2000 年主持開發。 2006 年Chris Lattner 加盟Apple 後開始致力於LLVM 在開發系統中的應用，目前LLVM 已經被Apple、Microsoft、Google、Facebook 等各大公司採用。Sovereign Labs除此之外，Nil Foundation 有個比較特別的地方是建立了一個“證明市場”（Proof Market），通過Proof Market 用戶可以付費請擁有硬件的人為他們驗證，證明者競相為支付給他們的用戶證明計算， 這種自由市場動態將使證明者優化最有價值的證明任務。
專注於構建ZK-Rollup SDK 的
今年1 月完成了740 萬美元種子輪融資，該輪融資由Haun Ventures 領投，Maven 11、1KX、Robot Ventures 和Plaintext Capital 參投。
Ulvetanna
Ulvetanna Sovereign Labs 計劃構建一個軟件開發工具包(SDK)，幫助開發人員創建安全且可互操作的零知識Rollup。 Sovereign SDK 旨在簡化ZK-Rollup 的創建，就像Cosmos SDK 簡化Layer 1 的創建一樣。它是第一個消除零知識複雜性的匯總框架，使開發人員可以輕鬆構建他們的應用程序，開發人員無需成為密碼學專家。使用Sovereign SDK，開發人員將能夠使用慣用的Rust（或是C++）編寫應用程序，SDK 將自動將其編譯為高效的ZK 虛擬機。
Sovereign Labs 的路線圖分為3 個部分，第一階段是在2023 年第二季度完成研究設計原型，當前的原型集成了用於數據可用性的Celestia 和用於證明的Risc 0 。第二階段是Sovereign SDK 的部署，包括點對點網絡、RPC 節點、核心API 以及默認存儲和排序模塊。第三階段是進行代碼清理、測試、模糊測試和審計。
是一家構建硬件以提高零知識證明（ZKP）生成效率的初創公司，以5500 萬美元估值完成了1500 萬美元的種子輪融資，Bain Capital Crypto 和Paradigm 共同領投了種子輪融資，Jump Crypto 參投。
Cysic
Ulvetanna 正在構建旨在加速生成ZKP 過程的硬件，Ulvetanna 的團隊包括來自Coinbase、微軟和英特爾的程序員和工程師。Cysic隨著未來ZKP 需求的的增加， ZKP 需要大量計算，這就需要強大的硬件並消耗大量電力。 Ulvetanna 認為ZKP 生成在專門設計的硬件上要高效得多，因此Ulvetanna 組建了一支由應用密碼學家、軟件和硬件工程師、數據中心和雲架構師以及加密原生投資者組成的經驗豐富的團隊，通過結合密碼學和高性能計算來提供高效的ZKP 硬件計算服務。
ZK 硬件初創公司
於2022 年12 月完成了600 萬美元的種子輪融資，由Polychain Capital 領投，其他投資者包括Hashkey、SNZ Holding、ABCDE 和Web3.com 基金會。
Hyper Oracle
Cysic 旨在為ZK 證明提供硬件加速解決方案。目前Cysic 的合作夥伴包括Scroll、Nil Foundation 和Hyper Oracle。Hyper OracleCysic 團隊開發了多標量乘法(MSM) 的FPGA 原型（ 比在CPU 上運行MSM 省電）， FPGA 是一種可編程硬件，類似於CPU 和GPU 芯片。
ZK 預言機網絡
Polyhedra
最近完成了由dao 5 和紅杉中國種子基金共同領投的300 萬美元種子輪融資，Foresight Ventures、FutureMoney Group 等跟投。Polyhedra Network Hyper Oracle 正在基於zkWASM 虛擬機開發ZK 中間件協議和ZK 預言機zkOracle 的開發，以解決區塊鏈中間件的安全性、去中心化、計算完整性和性能方面的挑戰。
最近ZK 基礎設施初創公司
RISC ZERO
RISC Zero完成了由Binance Labs 和Polychain Capital 共同領投的1000 萬美元融資，Animoca Brands 和Dao 5 參投。
RISC Zero 產品增長VP Manasi（前Uniswap 增長主管）表示，RISC Zero 也將會支持Solidity，因此RISC Zero 對原生以太坊開發者將會更加友好。在語言編譯方面，RISC ZERO 採用了被很多大廠使用的LLVM 架構。從技術路線來看，因為採用了比較成熟的編譯和指令集方案，RISC ZERO 有可能成為ZK-VM 賽道的典型項目。
一級標題
一級標題
ZK 賽道發展方向
去年，ZK 賽道的項目主要集中在兼容以太坊的ZK-EVM 上，比如Starknet、zkSync、Scroll 等熱門項目。從近期融資的ZK 項目類型來看，基本還是以基礎設施層面為主，比如ZK 電路編譯器、ZK 硬件加速、ZK 預言機和橋。
