盤點近期ZK賽道重點融資項目：ZK-VM將如何構建Web3的未來_加密貨幣

作者：李科

去年以來ZK賽道受到了大家的廣泛關注，特別是采用ZK-EVM技術的Starknet、zkSync、PolygonEVM、Scroll等明星項目成為大家談論最多的話題，那ZK-VM又發展如何呢？本文將通過介紹近期新出現的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。

Cointelegraph盤點波場TRON 2022年度22大成就:1月8日消息，日前，區塊鏈行業媒體Cointelegraph發布波場TRON 2022年度的22大成就， 主要包括：TRON DAO成為世界上最大的DAO、擴大與火必的合作、推出穩定幣USDD、TRX和USDD獲得更多應用場景、成為多米尼克國家公鏈、建成行業第二大穩定幣生態系統、被評為最環保區塊鏈、TVL規模僅次于幣安以及用戶帳戶從6900萬增長到1.32億等。

Cointelegraph在文中稱，2022年是波場TRON歷史性增長的一年，全年累計新增用戶6300萬。作為加密行業的全球潮流引領者，波場TRON正在打造一個可以為每個人服務的生態系統基礎設施。[2023/1/8 11:00:51]

近期值得關注的ZK賽道新融資項目

NilFoundation

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

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

動態 | 澳媒盤點12國加密貨幣稅制 日本稅率最高:7月23日，澳大利亞加密貨幣媒體Mickey發文盤點各國加密貨幣稅制，并指出日本加密貨幣稅率非常高。根據2017年4月實行的資金結算法修訂版，加密貨幣交易所產生的利益所得劃分為雜項收入，所得稅最高可達45%，作為伴隨著損失的交易市場稅率來說非常高。此外，該媒體列舉了以下幾個國家的加密貨幣稅制：1、德國：加密貨幣交易免除附加稅，持續保有加密貨幣一年以上可免除轉讓所得稅。全部歐洲市民向德國轉移資產時可免除轉移稅。2、新加坡：長期投資加密貨幣的企業和個人免除轉讓所得稅。3、葡萄牙：不像加密貨幣征收附加稅和所得稅，但企業通過加密貨幣交易所得的收益需要課稅。4、馬耳他：加密貨幣的日交易作為法人稅征收稅金，但個人投資者購買和擁有加密貨幣不用繳納稅金。5、馬來西亞：不需要繳納轉讓所得稅。6、白俄羅斯：對加密貨幣挖礦和對加密貨幣的投資不征收稅金。7、瑞士：對專業投資者的加密貨幣交易征收法人稅，挖礦被視為個人營業收入，但個人投資者的投資及交易不需繳納轉讓所得稅。8、加密貨幣被認為是資產，納稅方式和股票一樣；如果購買加密貨幣并保留一年以上，根據收入水平征收0%至20%的稅金。9、澳大利亞：當所有交易均被視為轉讓收入，并且兌換為澳元時要求保留所有準確的交易記錄；如果進行加密貨幣投資獲得的利潤，就要交納與個人所得稅相同速率的稅金。但如果持有1年以上的加密貨幣，將減免50%的稅金。10、以色列和瑞典：如果納稅人不能證明他們購買的加密貨幣的購買額，將會征收百分之百的稅金。[2019/7/23]

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

動態 | 老貓盤點2018年個人經歷：披露“李笑來欠3萬個比特幣”事件進展:12月31日訊，硬幣資本（INBlockchain）管理合伙人老貓發文回顧2018年個人經歷。文章中，老貓透露2018年由經濟下行個人資產也縮水一大半，但相對而言可能還說得過去，因為堅持3個投資方法：第一是不加杠桿，第二是主要持有主流品種，第三是配置。 文章中，老貓還就此前外界盛傳的“李笑來欠了3萬個比特幣”事件進行回應，同時披露最近進展。老貓表示，該事件最初源于2013年面向熟人圈開展的代理投資，當時所有合同以人民幣計價投資，每份10萬人民幣，但有的人當時給的是比特幣，“這個事情被一些黑子刻意的改頭換面，最后就變成笑來欠了30000個幣”。老貓透露，此事在2018年8月26日畫上了句號。[2018/12/31]

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

雅虎財經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]

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

午間大盤點：數字貨幣普漲 :比特幣（BTC）最新成交價格為124392.34元，最高價格為126651.25元，最低價格為11955.86元，24小時漲幅為0.23%，成交量達4.06萬個BTC；

以太坊（ETH）最新成交價格為5376.49元，最高價格為5416.12元，最低價格為4630.90元，24小時漲幅為11.79%，成交量達44.44萬個ETH；

以太經典（ETC）最新成交價格為261.83元，最高價格為277.40元，最低價格為216.07元，24小時漲幅4.92%，成交量達224.56萬個ETC；

量子鏈（QTUM）最新成交價格為429.11元，最高價格為475.50元，最低價格為186.82元，24小時漲幅40.32%，成交量達102.26萬個QTUM；

萊特幣（LTC）最新成交價格為2410.11元，最高價格為2449.01元，最低價格為2010.44元，24小時漲幅15.29%，成交量達62.98萬個LTC；

瑞波幣（XRP）最新成交價格為5.40元，最高價格為5.53元，最低價格為4.51元，24小時漲幅14.14%，成交量達16663.58萬個XRP；

達世幣（DASH）最新成交價格為7912.81元，最高價格為8013.21元，最低價格為6816.38元，24小時漲幅11.96%，成交量達3.01萬個DASH；

EOS最新成交價格為67.01元，最高價格為71.00元，最低價格為51.81元，24小時漲幅24.64%，成交量達1456.01萬個EOS；

ZEC最新成交價格為3764.07元，最高價格為3896.96元，最低價格為2972.32元，24小時漲幅7.52%，成交量達8.78萬個ZEC；

OMG最新成交價格為136.05元，最高價格為136.05元，最低價格為102.38元，24小時漲幅21.88%，成交量達319.63萬個OMG。[2017/12/19]

SovereignLabs

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

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

SovereignLabs的路線圖分為3個部分，第一階段是在2023年第二季度完成研究設計原型，當前的原型集成了用于數據可用性的Celestia和用于證明的Risc0。第二階段是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最近完成了由dao5和紅杉中國種子基金共同領投的300萬美元種子輪融資，ForesightVentures、FutureMoneyGroup等跟投。

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

Polyhedra

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

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：加密貨幣ISCEROPOLY個人交易加密貨幣違法嗎aisc幣最新價VERO價格Monopoly Millionaire Game

BNB價格