去年以來?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。
金色晨訊 | 4月26日隔夜重要動態一覽:21:00-7:00關鍵詞:基建法案、央行數字貨幣、韓國
1.格雷厄姆:需要完成基建法案,或考慮同意規模在8000-9000億美元之間的基建法案;
2.螞蟻集團與央行數字貨幣研究所合作協議不涉及具體產品選擇;
3.Coinbase移動應用上周下載量及日活躍用戶數創下紀錄;
4.模特Emily Ratajkowski將出售NFT以收回其數字身份控制權;
5.前Coinbase首席技術官為印度新冠援救運動捐贈超5萬美元加密貨幣;
6.韓媒:第一季度韓國四大加密貨幣交易所交易額達1.33萬億美元;
7.韓國金融委員會正調查相關職員的加密貨幣投資現狀;
8.中國地方金融研究院莫開偉:法定數字貨幣將重構世界金融。[2021/4/26 20:58:22]
NilFoundation的全名是“=nil;Foundation”,有點像亂碼,其實這個奇怪的名字來源于一個?SQL?注入玩笑。
成立于2018年的?NilFoundation?最初是做數據庫管理系統。去年底以?2.2?億美元的估值完成了?2200?萬美元的融資,由?PolychainCapital領投,BlockchainCapital、Starkware、MinaProtocol、IOSGVentures?等參投。
金色晚報 | 11月23日晚間重要動態一覽:12:00-21:00關鍵詞:蘇州、中銀、Tether、OKEx、建行
1. 蘇州將于雙十二推出數字人民幣紅包;
2. 中銀全球策略證券投資基金曾于2019年購買1.3萬股灰度BTC信托;
3. 11月Tether新增印鈔12次共計20.2億USDT;
4. CryptoQuant CEO:0.02BTC從OKEx錢包轉出或正進行提幣測試;
5. Uniswap團隊未獲得提案否決權;
6. 東南亞第三大銀行大華銀行正招聘加密貨幣安全管理員職位;
7. 以太坊2.0存款合約地址突破30萬ETH,當前進度57.23%;
8. 周小川:中新兩國數字貨幣電子支付合作可從零售起步;
9. 建行納閩分行撤回數字債券發行,交易所已開始歸還投資者資金。[2020/11/23 21:49:37]
NilFoundation?在?LLVM?的基礎上構建了一個?ZK?電路編譯器,該編譯器可以將?C、Rust?等高級語言編寫的程序編譯生成為適當的中間表達(IR),以供?ZK?系統證明。即?NilFoundation?是一個電路編譯器,而不是虛擬機。
金色晨訊 | 8月21日隔夜重要動態一覽:21:00-7:00關鍵詞:以太坊2.0、DIA、納指新高、Tether
1.CME比特幣期貨8月合約收漲1.75%。
2.以太坊2.0測試網Medalla已啟動并運行。
3.DIA籌集1500萬美元以構建DeFi數據平臺。
4.納指再創收盤新高 美股區塊鏈概念股普遍收漲。
5.Tether 10億枚USDT遷移工作已完成。
6.泰國計劃將司法系統記錄移至區塊鏈。
7.Gemini聯合創始人:比特幣已經準備好要爆發。
8.Uber前首席安全官因試圖掩蓋黑客攻擊并向黑客支付比特幣而被捕。
9.比特幣夜間小幅震蕩,最低報11807.42美元,最高報11880美元。[2020/8/21]
LLVM(LowLevelVirtualMachine)是構架編譯器的一種框架系統,可以優化?Rust?和?C等高級語言編寫的程序的編譯和運行時間。LLVM?最初由伊利諾伊大學的?ChrisLattner?博士于?2000?年主持開發。2006?年?ChrisLattner?加盟?Apple?后開始致力于?LLVM?在開發系統中的應用,目前?LLVM?已經被?Apple、Microsoft、Google、Facebook?等各大公司采用。
獨家 | Bakkt期貨合約數據一覽:金色財經報道,Bakkt Volume Bot數據顯示,7月30日,Bakkt比特幣月度期貨合約日交易額為3885萬美元,同比下降37%,未平倉合約量為2199萬美元,同比上升27%。[2020/8/1]
除此之外,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?虛擬機。
金色晨訊 | 4月23日隔夜重要動態一覽:21:00-7:00關鍵詞:區塊鏈產業、寶馬、數字黃金、USDT銷毀
1.全球新冠肺炎累計確診病例超260萬。
2.人民網:2025年新基建中區塊鏈產業規模將達389億元。
3.深圳法院:盜竊ETH構成盜竊罪。
4.證券日報:未來資本市場對區塊鏈等具有重要推動。
5.CME比特幣期貨4月合約收漲3.27%。
6.寶馬集團在汽車行業推動區塊鏈擴展。
7.彭博社:比特幣將在2020年成為數字黃金。
8.XRP Markets負責人已離職。
9.Tether Treasury銷毀2.2億枚USDT。[2020/4/23]
SovereignLabs?的路線圖分為?3?個部分,第一階段是在?2023?年第二季度完成研究設計原型,當前的原型集成了用于數據可用性的Celestia和用于證明的Risc?0?。第二階段是?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最近完成了由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的未來。
上期實盤跟單活動“Gate.io實盤跟單:新秀交易員曝光大作戰!”已結束!我們已收到了很多優秀的交易員進行報名.
1900/1/1 0:00:00在2022年,Web3行業因智能合約漏洞、橋接黑客攻擊、網絡釣魚等安全問題所造成的損失創歷史新高.
1900/1/1 0:00:00ShibaInu:大量代幣轉移到加密交易所最新消息顯示,今天有1820億個SHIB代幣分別被轉移到Crypto.com和Gemini交易所,可能是為了出售.
1900/1/1 0:00:00金色財經報道,Avalanche宣布推出GlacierAPI測試版,GlacierAPI將提供來自Avalanche和以太坊的所有區塊鏈數據以及索引Avalanche子網的官方API服務.
1900/1/1 0:00:00尊敬的XT.COM用戶:受BSC鍊網絡波動影響,XT.COM當前BSC鏈上提現確認較慢,將出現延緩的情況,平臺其他服務均不受影響,用戶在平臺的資金和鏈上資金均不受影響,可以正常進行交易.
1900/1/1 0:00:00據媒體統計,隨著特斯拉股價周一漲超5%,馬斯克的身價達到1871億美元,超過奢侈品大亨貝爾納·阿爾諾重回世界首富的位置,據他上一次退下首富的位置剛過去兩個月.
1900/1/1 0:00:00