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

金色晨訊 | 11月9日隔夜重要動態一覽:21:00-7:00關鍵詞：Cred，Cobra，摩根大通、山寨幣

1.加密借貸平臺Cred申請破產；

2.數據：以太坊與比特幣關聯度降至2018年初水平；

3.Cobra：比特幣是對傳統金融體系崩潰的一種對沖；

4.報告：10月僅比特幣市值份額增加 山寨幣周期正在放緩；

5.摩根大通報告：金融機構放棄黃金ETF轉而購買比特幣；

6.數據監測：11月7日1000枚2010年開采的BTC首次發生轉移；

7.比特幣持續上漲，日內最低報15245.61美元，最高報15650美元。[2020/11/9 12:02:49]

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

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

金色晨訊 | 4月14日隔夜重要動態一覽:21:00-7:00關鍵詞：新冠肺炎、區塊鏈應用、技術委員會、USDT增發

1.全球新冠肺炎確診病例超過190萬例。

2.全國區塊鏈和分布式記賬技術標準化技術委員會組建公示。

3.國家信息中心：區塊鏈等蓬勃發展催生了網絡媒體發展新態勢。

4.經濟參考報：推動區塊鏈技術與實體經濟融合。

5.深圳前海蛇口自由貿易試驗片區：推動區塊鏈等技術廣泛應用。

6.Tether向以太坊網絡增發1.2億枚USDT（已授權未發行）。

7.CME比特幣期貨4月合約收跌6.58%。

8.比特幣巨鯨：傳統市場高波動性或在短期內推低BTC。

9.比特幣夜間持續上漲，最高漲至6891.14美元。[2020/4/14]

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

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

金色晨訊 | 3月28日隔夜重要動態一覽:21:00-7:00關鍵詞：世衛組織、中國銀行、甘肅、湖南

1. 世衛組織與IBM等開發基于區塊鏈的冠狀病數據中心；

2. 中國銀行：充分運用區塊鏈等新技術提高科技應用水平；

3. 甘肅14個市州全部完成區塊鏈服務網絡建設；

4. 湖南省人民政府：加快區塊鏈等應用，建設一批智慧農業示范基地；

5. 比特幣鏈上速度超過600％，或即將迎來牛市；

6. 光大銀行2019年度報告：區塊鏈等陸續應用到實際業務中；

7. Tether市值突破60億美元；

8. 北京市將利用區塊鏈推行增值稅電子專用發票等電子票據；

9. BTC現報6653.29美元，日內漲幅0.42%，前十主流幣普漲。[2020/3/28]

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

SovereignLabs

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

獨家 | Bakkt期貨合約數據一覽:金色財經報道，Bakkt Volume Bot數據顯示，3月15日，本周Bakkt比特幣月度期貨合約交易額為4600萬美元，環比下降11%，最高未平倉合約量為810萬美元，環比下降13%。[2020/3/16]

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

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

金色午報 | 3月2日午間重要動態一覽:7:00-12:00關鍵詞：廣西、比特大陸、央行、灰度

1. 廣西將推動區塊鏈等現代科技與司法行政工作深度融合；

2. 比特大陸即將發售新品螞蟻礦機K5；

3. 研報：中國央行即將發行的央行數字貨幣和Libra存在本質差別；

4. 分析：比特幣減半當年2月29日的歷史數據預示其價格將長期增長；

5. 數據：超5000種代幣日交易量之和只占市場2%；

6. 機構投資者為灰度以太坊信托支付高達426%的溢價；

7. BTC現報8618.99美元，日內漲幅0.74%，加密貨幣當前總市值為2454.45億美元。[2020/3/2]

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：區塊鏈ISCERO比特幣區塊鏈證據保全怎么操作的BISC幣NERO幣比特幣中國禁止后怎么提現

XMR