作者:李科
去年以來ZK賽道受到了大家的廣泛關注,特別是采用ZK-EVM技術的Starknet、zkSync、Polygon EVM、Scroll等明星項目成為大家談論最多的話題,那ZK-VM又發展如何呢?本文將通過介紹近期新出現的ZK融資項目,為大家梳理ZK賽道的關鍵概念和發展方向。
為了了解ZK賽道各個項目背后的技術特點,讓我們先來了解一下ZK相關的基本概念。
ZKP(Zero Knowledge Proof)表示零知識證明,是指通過數學密碼學的方式解決區塊鏈的隱私和擴展問題,主要是通過證明者和驗證者在不公開數據的情況下驗證數據的正確性。
ZK-VM是基于零知識證明的虛擬機,它將零知識證明ZK和虛擬機VM(Virtual Machine)結合起來。ZK-VM一般包含2個重要組成部分:一個是編譯器(Compiler),它可以將C++、Rust等高級語言編譯生成中間表達(IR),以供ZK系統證明;一個是指令集框架ISA(Instruction Set Architecture),指令集主要對CPU運算進行指令,是用來引導CPU進行運算的一系列指令集合。
ZK-EVM是ZK-VM的一種,主要特點是可以兼容以太坊EVM,支持用Solidity編寫的智能合約在其虛擬機上運行,以幫助以太坊二層擴容。Starknet、zkSync、Scroll、Polygon hermez都屬于ZK-EVM。
動態 | 中國知識產權報盤點2019專利領域大事件 其中一項與區塊鏈相關:近日,中國知識產權報盤點2019專利領域大事件,其中包括“”區塊鏈:專利布局駛入“快車道”。文章指出,區塊鏈是近幾年的科技熱詞。自中共中央局2019年10月24日下午就區塊鏈技術發展現狀和趨勢進行第十八次集體學習后,區塊鏈再度成為全社會關注的焦點,并登上了各大權威紙媒與電視媒體的頭版頭條。區塊鏈專利領域呈現出四個特點:第一,我國創新主體開展專利布局時間較晚,但是專利申請量呈現快速增長態勢;第二,中美兩國是重要的市場和技術原創國家,中國偏重于國內布局,美國多邊布局態勢明顯,區塊鏈技術申請人分布較為分散,初創公司較多,沒有明顯專利壁壘以及行業領軍企業;第三,針對業內非常關注的區塊鏈的安全性、同步效率問題,我國已探索解決方案并形成一批核心專利;第四,區塊鏈技術應用前景廣闊,但部分技術難題仍懸而未決,亟需突破。[2020/1/19]
Nil Foundation
Nil Foundation的全名是“=nil; Foundation”,有點像亂碼,其實這個奇怪的名字來源于一個SQL注入玩笑。
成立于 2018 年的Nil Foundation最初是做數據庫管理系統。去年底以2.2億美元的估值完成了2200萬美元的融資,由Polychain Capital 領投, Blockchain Capital、Starkware、Mina Protocol、IOSG Ventures等參投。
動態 | 封面盤點2019十大酷科技 區塊鏈上榜:1月5日,由封面新聞最新盤點的2019十大酷科技出爐,其中包括區塊鏈,代表企業:支付寶。過去一年,支付寶區塊鏈技術落地超過40多個場景,也從不同的場景給用戶帶來便利和安全。據公開信息顯示,支付寶與阿里巴巴已經蟬聯兩年全球區塊鏈技術專利申請量最多的互聯網公司,其在共識機制、智能合約、可信計算、隱私保護、跨鏈交互上都取得了突破。[2020/1/6]
Nil Foundation在LLVM的基礎上構建了一個ZK電路編譯器,該編譯器可以將C++、Rust等高級語言編寫的程序編譯生成為適當的中間表達(IR),以供ZK系統證明。即Nil Foundation是一個電路編譯器,而不是虛擬機。
LLVM(LowLevelVirtualMachine)是構架編譯器的一種框架系統,可以優化Rust和C++等高級語言編寫的程序的編譯和運行時間。LLVM最初由伊利諾伊大學的Chris Lattner博士于2000年主持開發。2006年Chris Lattner加盟Apple后開始致力于LLVM在開發系統中的應用,目前LLVM已經被Apple、Microsoft、Google、Facebook等各大公司采用。
除此之外,Nil Foundation有個比較特別的地方是建立了一個“證明市場”(Proof Market),通過Proof Market用戶可以付費請擁有硬件的人為他們驗證,證明者競相為支付給他們的用戶證明計算, 這種自由市場動態將使證明者優化最有價值的證明任務。
動態 | 老貓盤點2018年個人經歷:披露“李笑來欠3萬個比特幣”事件進展:12月31日訊,硬幣資本(INBlockchain)管理合伙人老貓發文回顧2018年個人經歷。文章中,老貓透露2018年由經濟下行個人資產也縮水一大半,但相對而言可能還說得過去,因為堅持3個投資方法:第一是不加杠桿,第二是主要持有主流品種,第三是配置。 文章中,老貓還就此前外界盛傳的“李笑來欠了3萬個比特幣”事件進行回應,同時披露最近進展。老貓表示,該事件最初源于2013年面向熟人圈開展的代理投資,當時所有合同以人民幣計價投資,每份10萬人民幣,但有的人當時給的是比特幣,“這個事情被一些黑子刻意的改頭換面,最后就變成笑來欠了30000個幣”。老貓透露,此事在2018年8月26日畫上了句號。[2018/12/31]
Sovereign Labs
專注于構建ZK-Rollup SDK的Sovereign Labs 今年1月完成了740萬美元種子輪融資,該輪融資由Haun Ventures領投,Maven 11、1KX、Robot Ventures和Plaintext Capital參投。
Sovereign Labs計劃構建一個軟件開發工具包(SDK),幫助開發人員創建安全且可互操作的零知識Rollup。Sovereign SDK 旨在簡化 ZK-Rollup 的創建,就像 Cosmos SDK 簡化Layer1的創建一樣。它是第一個消除零知識復雜性的匯總框架,使開發人員可以輕松構建他們的應用程序,開發人員無需成為密碼學專家。使用 Sovereign SDK,開發人員將能夠使用慣用的 Rust(或是 C++)編寫應用程序,SDK 將自動將其編譯為高效的 ZK虛擬機。
區塊鏈概念股漲跌盤點:
四方精創(300468):現價42.80元,漲幅6.28%,成交額3.52億,流通市值28.62億;
飛天誠信(300386):現價17.81元,漲幅1.77%;成交額4.60億,流通市值35.28億;
贏時勝(300377):現價13.37元,漲幅1.67%;成交額7.64億,流通市值68.15億;
第一創業(002797):現價9.87元,漲幅0.82%;成交額8.99億,流通市值189.35億;
廣電運通(002152):現價7.52元,漲幅0.82%,成交額3.56億,流通市值146.99億;
北大荒(600598):現價11.30元,漲幅0.53%;成交額1.54億,流通市值20.88億;
新國都(300130):現價25.61元,跌幅0.27%;成交額1.08億,流通市值40.25億;[2017/12/20]
Sovereign Labs的路線圖分為3個部分,第一階段是在2023年第二季度完成研究設計原型,當前的原型集成了用于數據可用性的 Celestia 和用于證明的 Risc0。第二階段是Sovereign SDK的部署,包括點對點網絡、RPC 節點、核心 API 以及默認存儲和排序模塊。第三階段是進行代碼清理、測試、模糊測試和審計。
Ulvetanna
區塊鏈概念股漲跌盤點:
贏時勝(300377):現價13.15元,漲幅10.04%;
御銀股份(002177):現價5.26元,漲幅10.04%;
高偉達(300465):現價9.98元,漲幅10.03%;
新晨科技(300542):現價32.29元,漲幅10.2%;
易見股份(600093):現價11.33元,漲幅10.00%;
四方精創(300468):現價40.27元,漲幅10.00%;
飛天誠信(300386):現價17.50元,漲幅9.99%;
博彥科技(002649):現價13.5元,漲幅9.76%;
海聯金匯(002537):現價10.53元,漲幅5.30%;
信雅達(600571):現價11.49元,漲幅4.93%。[2017/12/19]
Ulvetanna 是一家構建硬件以提高零知識證明(ZKP)生成效率的初創公司,以5500 萬美元估值完成了 1500 萬美元的種子輪融資,Bain Capital Crypto 和 Paradigm 共同領投了種子輪融資,Jump Crypto 參投。
Ulvetanna正在構建旨在加速生成 ZKP 過程的硬件,Ulvetanna 的團隊包括來自 Coinbase、微軟和英特爾的程序員和工程師。
隨著未來ZKP需求的的增加, ZKP 需要大量計算,這就需要強大的硬件并消耗大量電力。 Ulvetanna認為ZKP生成在專門設計的硬件上要高效得多,因此Ulvetanna組建了一支由應用密碼學家、軟件和硬件工程師、數據中心和云架構師以及加密原生投資者組成的經驗豐富的團隊,通過結合密碼學和高性能計算來提供高效的ZKP硬件計算服務。
Cysic
ZK硬件初創公司 Cysic 于2022 年 12 月完成了 600 萬美元的種子輪融資,由 Polychain Capital 領投,其他投資者包括 Hashkey、SNZ Holding、ABCDE 和 Web3.com 基金會。
Cysic 旨在為 ZK 證明提供硬件加速解決方案。 目前Cysic 的合作伙伴包括 Scroll、Nil Foundation 和 Hyper Oracle。
Cysic 團隊開發了多標量乘法 (MSM) 的 FPGA 原型( 比在CPU 上運行 MSM省電), FPGA 是一種可編程硬件,類似于 CPU 和 GPU 芯片。
Hyper Oracle
ZK預言機網絡Hyper Oracle最近完成了由 dao5 和紅杉中國種子基金共同領投的 300 萬美元種子輪融資,Foresight Ventures、FutureMoney Group等跟投。
Hyper Oracle正在基于zkWASM 虛擬機開發ZK中間件協議和 ZK預言機zkOracle 的開發,以解決區塊鏈中間件的安全性、去中心化、計算完整性和性能方面的挑戰。
Polyhedra
最近 ZK基礎設施初創公司Polyhedra Network 完成了由Binance Labs 和 Polychain Capital 共同領投的1000 萬美元融資,Animoca Brands 和 Dao5 參投。
Polyhedra 目前基于ZK技術開發了3款ZK產品:包括用于L1 和L2 資產傳輸的ZK橋(zkBridge);采用零知識證明技術保護隱私的用戶身份解決方案ZK-DID ;一種可編程的 NFT 協議ZK-NFT, 該產品采用了零知識證明技術,以保護用戶資產的隱私。目前,zkBridge 的測試網已經上線。 除此之外,Polyhedra還開發了一種名為ParaPlonk的擴容方案,可使用大規模分布式證明生成網絡來加速ZK rollups。Polyhedra 計劃集成更多區塊鏈,并通過 API 和 SDK 工具讓開發人員便于訪問,以吸引更多的 ZK-rollup 開發人員。
RISC ZERO
RISC Zero(暫未公布融資信息)是一個開源的通用型ZK-VM,該項目的名字起源于流行的RISC(Reduced Instruction Set Computer 精簡指令集計算),RISC Zero采用目前最新的第5代RISC-V,RISC-V指令集的理念是最大化的精簡指令集,它僅包含40多條指令集。因為采用RISC-V指令集,因此RISC Zero支持C++、Rust和Go等高級編程語言,開發者無需學習新的語言就可以使用ZK-VM。
RISC Zero產品增長VP Manasi(前Uniswap增長主管)表示,RISC Zero也將會支持Solidity,因此RISC Zero對原生以太坊開發者將會更加友好。在語言編譯方面,RISC ZERO 采用了被很多大廠使用的LLVM架構。從技術路線來看,因為采用了比較成熟的編譯和指令集方案,RISC ZERO有可能成為ZK-VM賽道的典型項目。
去年,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可以采用成熟的編譯器和指令集架構),如果ZK-VM也可以很好的支持Solidity,也許ZK-VM才是Web3的未來。
PANews
媒體專欄
閱讀更多
金色財經 善歐巴
金色早8點
Odaily星球日報
歐科云鏈
Arcane Labs
深潮TechFlow
MarsBit
BTCStudy
澎湃新聞
Tags:區塊鏈ISC300POLY區塊鏈dapp開發費多少錢aisc幣實時行情杭州女子花300萬買比特幣WEXPOLY幣
談論 Web3 產品時,你首先會聯想到什么?熱點敘事、新技術、經濟模型、去中心化或數據歸屬權....當這些詞語高頻出現時,一個更接近商業本質的詞語似乎被忽略了:收入.
1900/1/1 0:00:00整體而言,EthDenver整體感受非常好,遠勝Consensus,Token2049。 1. 全球性開發者文化 據說整個ETHDenver來了35000人,7500 hackers.
1900/1/1 0:00:00歷經多次推遲清算及數場官司,Mt. Gox被盜事件總算進入賠付階段,其債權人有望在今年3月獲得首批還款.
1900/1/1 0:00:00文/Jack Niewold,Crypto Pragmatist創始人;譯/金色財經xiaozou DeFi 1.0塑造了DeFi的支柱:AAVE、COMP、UNIDeFi 2.0被欺.
1900/1/1 0:00:002023年世界經濟論壇年會于2023年1月16日至20日在達沃斯舉行,這是世界經濟論壇時隔三年回歸線下。與1971年達沃斯論壇第一次舉辦時相比,如今達沃斯的雪量已經減少了40%以上.
1900/1/1 0:00:00撰文:Tanya Malhotra來源:Marktechpost 編譯:DeFi 之道 圖片來源:由無界版圖AI工具生成隨著生成性人工智能在過去幾個月的巨大成功.
1900/1/1 0:00:00