去年以來?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。
金色午報|12月18日午間重要動態一覽:7:00-12:00關鍵詞:SBI Holdings、智聯招聘、灰度
1.印度儲備銀行贊成全面禁止加密貨幣;
2.SBI Holdings推出首個面向投資者的加密貨幣基金;
3.Revolut獲準通過歐洲銀行牌照推進信貸業務;
4.智聯招聘推出虛擬形象“小智”,進軍職場元宇宙;
5.SEC將Bitwise和灰度比特幣ETF申請的決定推遲至2022年2月;
6.數字銀行Tymebank獲得7000萬美元B輪融資 騰訊領投;
7.Adidas Originals在首次NFT投放后獲得2300萬美元的收入。[2021/12/18 7:47:45]
NilFoundation的全名是“=nil;Foundation”,有點像亂碼,其實這個奇怪的名字來源于一個?SQL?注入玩笑。
成立于2018年的?NilFoundation?最初是做數據庫管理系統。去年底以?2.2?億美元的估值完成了?2200?萬美元的融資,由?PolychainCapital領投,BlockchainCapital、Starkware、MinaProtocol、IOSGVentures?等參投。
金色晨訊 | 7月11日隔夜重要動態一覽:21:00-7:00關鍵詞:韓國、日本、紐約、中科院
1.韓國銀行將與現有的加密貨幣交易合同延長至9月;
2.比特幣和狗狗幣是45%的年輕英國人的第一筆投資;
3.檢察官:以太坊開發者Virgil Griffith應該返回監獄等待審判;
4.日本有近350萬公民交易數字資產;
5.美國康涅狄格州的 Coinstar 客戶可以使用零錢購買 BTC;
6.紐約一發電廠開始采用多余的能源開采比特幣;
7.擁有10萬至100萬BTC的最大比特幣錢包占比處于27個月高位;
8.中科院軟件所區塊鏈應用研究聯合實驗室海南分中心正式授牌。[2021/7/11 0:42:53]
NilFoundation?在?LLVM?的基礎上構建了一個?ZK?電路編譯器,該編譯器可以將?C、Rust?等高級語言編寫的程序編譯生成為適當的中間表達(IR),以供?ZK?系統證明。即?NilFoundation?是一個電路編譯器,而不是虛擬機。
LLVM(LowLevelVirtualMachine)是構架編譯器的一種框架系統,可以優化?Rust?和?C等高級語言編寫的程序的編譯和運行時間。LLVM?最初由伊利諾伊大學的?ChrisLattner?博士于?2000?年主持開發。2006?年?ChrisLattner?加盟?Apple?后開始致力于?LLVM?在開發系統中的應用,目前?LLVM?已經被?Apple、Microsoft、Google、Facebook?等各大公司采用。
金色午報 | 7月8日午間重要動態一覽:7:00-12:00關鍵詞:Facebook、以太坊、薩爾瓦多
1.Facebook穩定幣Diem旗下支付部門Novi Financial數字錢包開放注冊;
2.以太坊測試網Rinkeby已于區塊高度8897988處激活倫敦升級;
3.加拿大比特幣ETF Purpose資產管理規模達22,411.202 BTC,創歷史新高;
4.美國SEC延長對天橋資本的比特幣交易所交易基金ETF申請的審查;
5.韓國銀行提升網絡安全以應對與加密相關的風險;
6.金融時報:全球監管壓力下新加坡成為加密行業避風港;
7.Bitfury創始人:薩爾瓦多的比特幣礦場未來每年可賺取超過2萬枚BTC。[2021/7/8 0:36:19]
除此之外,NilFoundation?有個比較特別的地方是建立了一個“證明市場”,通過?ProofMarket?用戶可以付費請擁有硬件的人為他們驗證,證明者競相為支付給他們的用戶證明計算,這種自由市場動態將使證明者優化最有價值的證明任務。
SovereignLabs
專注于構建?ZK-RollupSDK?的SovereignLabs?今年?1?月完成了?740?萬美元種子輪融資,該輪融資由?HaunVentures?領投,Maven11、1KX、RobotVentures?和?PlaintextCapital?參投。
金色晚報 | 8月28日晚間重要動態一覽:12:00-21:00關鍵詞:北京、ETC、Bitfinex、Visa、Cosmos、Filecoin
1. 北京數字貨幣研究中心在京成立。
2. ETC核心開發者將于明日凌晨舉行會議,討論挖礦算法變更事宜。
3. Bitfinex首席技術官:Bitfinex官方熱錢包USDT僅占總供應量的11%。
4. 中國貿易金融跨行交易區塊鏈平臺應用投產。
5. DeFi流動性挖礦項目Degen.Money被曝通過雙重授權漏洞獲取用戶資金。
6. Filecoin測試網全網有效算力突破30.03 PiB。
7. Cosmos生態基金會ICF宣布與Cdot合作,將資助其開發Substrate IBC模塊。
8. Visa高管抨擊美聯儲:建議“利用比特幣退出”。
9. 數據:以太坊鏈上比特幣錨定幣發行量突破5萬枚。
10. OpenEthereum官方:已推出v.2.5版本 且此前受影響的節點并未離線。[2020/8/28]
SovereignLabs?計劃構建一個軟件開發工具包(SDK),幫助開發人員創建安全且可互操作的零知識?Rollup。SovereignSDK旨在簡化ZK-Rollup的創建,就像CosmosSDK簡化?Layer?1?的創建一樣。它是第一個消除零知識復雜性的匯總框架,使開發人員可以輕松構建他們的應用程序,開發人員無需成為密碼學專家。使用SovereignSDK,開發人員將能夠使用慣用的Rust編寫應用程序,SDK將自動將其編譯為高效的ZK?虛擬機。
金色晨訊 | 6月20日隔夜重要動態一覽:21:00-7:00關鍵詞:DeFi、詹克團、港交所、錢包漏洞
1. DeFi代幣總市值突破50億美元。
2. 詹克團:作廢公章不能代表比特大陸,非法使用需承擔法律責任。
3. 港交所總裁:港交所從來沒有要進軍數字貨幣領域。
4. 非洲已成為第二大比特幣P2P交易市場。
5. 歐科云鏈信托注冊為信托公司申請獲批。
6. 研究人員發現以太坊錢包Argent出現高危漏洞。
7. 青島工業樓宇重點發展區塊鏈等新興產業。[2020/6/20]
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的未來。
Tags:ISCERO以太坊比特幣DisCas Visiondero幣挖礦以太坊價格今日行情分析比特幣價格行情走勢圖歷年
游戲作為數字時代人們娛樂的最主要方式之一,正在創造極大的產值。據全球資訊公司Bain的調查研究顯示,到2025年,游戲市場的價值將增長50%以上,超過3000億美元.
1900/1/1 0:00:00簡單來說以太坊開發者在2023年3月1日的雙周會議上宣布,他們將于2023年3月14日在Goerli測試網上部署上海升級.
1900/1/1 0:00:001.統一賬戶現貨杠桿交易的起始保證金率調整為提高統一賬戶資金利用率,Gate.io已將統一賬戶中現貨杠桿交易的起始保證金率從之前的50%調整為33.00%,允許用戶獲得更多可借額度.
1900/1/1 0:00:00AlexLabs是一個開源平臺,支持比特幣上的智能合約、DeFi和NFT,藉由比特幣Layer2區塊鏈Stacks,AlexLabs能夠提供兩個主要功能.
1900/1/1 0:00:00金色財經報道,SilvergateBank周三宣布將推遲提交年度報告,導致其股價在盤后交易中暴跌10%以上.
1900/1/1 0:00:00原文作者:kydo 原文編譯:深潮TechFlow編者注:Eigenlayer提出的再質押方案,允許用戶將ETH、lsdETH及LP代幣質押在其他公鏈、預言機、中間件等,作為節點并得到驗證獎勵.
1900/1/1 0:00:00