一覽近期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。

金色午報 | 10月31日午間重要動態一覽:7:00-12:00關鍵詞：C羅、比特幣ETF、數字人民幣

1.曼聯球星C羅NFT交易卡將于11月在Bonhams拍賣；

2.Glassnode：比特幣ETF推動芝商所BTC期貨未平倉合約和交易量均創新高；

3.央行：數字人民幣與現金將長期并存；

4.數據：本月發生較典型安全事件超22起；

5.Solana鏈上NFT市場Solanart交易總額突破5億美元；

6.以太坊銷毀的ETH總價值突破30億美元；

7.支付和金融服務技術解決方案提供商Fiserv與數字資產平臺Bakkt達成合作；

8.北京外匯管理部開展區塊鏈平臺資本項目收入支付便利化真實性審核應用場景實地調研；[2021/10/31 6:22:56]

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

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

金色晨訊 | 10月27日隔夜重要動態一覽:21:00-7:00關鍵詞：肯尼亞、三菱、Tether、MakerDAO

1.肯尼亞央行正在探索央行數字貨幣。

2.經濟參考報：數字貨幣成推動拉美發展“利器”。

3.匿名比特幣持有者以3.58美元轉移88857枚BTC。

4.三菱、MUFG銀行等投資利用區塊鏈的貿易管理系統。

5.CME比特幣期貨10月合約收報13045美元。

6.美股三大股指收盤均下跌 區塊鏈概念股普遍收跌。

7.Tether向以太坊網絡新增發1.5億枚USDT。

8.Tether：將升級EURt ERC20合約 不影響總供應量。

9.MakerDAO發起有關添加GUSD和PAXG為抵押資產的投票。

10.比特幣寬幅震蕩，日內最低跌至12768.48美元，最高報13060美元。[2020/10/27]

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

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

獨家 | Bakkt期貨合約數據一覽:金色財經報道，Bakkt Volume Bot數據顯示，5月27日，Bakkt比特幣月度期貨合約單日交易額為2794萬美元，同比下降23%，未平倉合約量為744萬美元，同比下降2%。[2020/5/28]

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

SovereignLabs

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

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

金色晨訊 | 3月29日隔夜重要動態一覽:21:00-7:00關鍵詞： FCoin、TON、V神

1.FCoin在湖南被刑事立案。

2.一律師警告TON社區不要貿然啟動區塊鏈網絡TON。

3.畢馬威報告：2019年全球區塊鏈和加密貨幣投資總額47億美元。

4.V神：去中心化技術可在經濟上降低依賴中介機構的風險。

5.報告：礦工在比特幣減半后投降會降低比特幣的拋售壓力。

6.比特幣倡導者：美國經濟已病入膏肓比特幣是為金融危機而誕生的。

7.桑坦德銀行將推出區塊鏈支付應用程序OnePayFX。

8.比特幣夜間小幅震蕩，最低跌至6024.58美元，最高漲至6294.10美元。[2020/3/29]

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

Ulvetanna

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

金色晚報 | 3月5日晚間重要動態一覽:12:00-21:00關鍵詞：封號、特別金融法、算力新高

1.韓國國會全體會議通過特別金融法修訂案。

2.印度央行行長：正在研究最高法院對加密貨幣的命令。

3.孫宇晨新微博賬號再次被封。

4.何一新微博再次被封。

5.CoinMarketCap上線衍生品數據服務。

6.比特幣算力一度超150 EH/s 創歷史新高。

7.Tether 遷移OMNI網絡2億枚USDT至以太坊網絡。

8.比特幣和黃金月度及年度相關性有所回調。

9.比特幣日內持續上漲，最高漲至9140美元。[2020/3/5]

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：比特幣ISCEROOLY比特幣美元指數HondaisCoinMetahero UniversePolygen

狗狗幣