去年以來?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月17日隔夜重要動態一覽:21:00-7:00關鍵詞:比特幣21500美元、以太坊期貨、幣安宕機
1.芝加哥交易所集團將于2021年2月8日推出以太坊期貨;
2.比特幣突破20000美元大關之際 幣安交易所APP出現宕機;
3.比特幣總市值突破3900億美元 續刷歷史新高;
4.美國運通投資加密貨幣交易平臺FalconX;
5.灰度資產管理總規模升至137億美元;
6.嘉信理財高管:比特幣已成為主流投資;
7.Filecoin將發布Lotusv1.3.0候選版本;
8.美股三大指數收盤漲跌互現 區塊鏈概念股普遍收漲;
9.Plasm官方:Plasm將在Polkadot上達成ETH2.0;
10.比特幣夜間持續上漲,日內最低報20550美元,最高報21563.83美元。[2020/12/17 15:28:49]
NilFoundation的全名是“=nil;Foundation”,有點像亂碼,其實這個奇怪的名字來源于一個?SQL?注入玩笑。
成立于2018年的?NilFoundation?最初是做數據庫管理系統。去年底以?2.2?億美元的估值完成了?2200?萬美元的融資,由?PolychainCapital領投,BlockchainCapital、Starkware、MinaProtocol、IOSGVentures?等參投。
金色晚報 | 11月30日晚間重要動態一覽:12:00-21:00關鍵詞:人民銀行、以太坊2.0、BitMEX、歐洲央行、美元指數
1. 數據:以太坊2.0存款合約地址余額突破85萬ETH
2. 中國人民銀行行長易綱:穩妥推進數字貨幣研發,健全法定數字貨幣法律框架。
3. 國家互聯網應急中心推出“區塊鏈之家”小程序“鏈查查”。
4. BitMEX母公司100x Group宣布將繼續資助開發者Alex Hultman。
5. 歐洲央行行長:數字歐元將是正在進行的歐洲一體化進程的象征,并最終有助于統一歐洲的數字經濟。
6. 美元指數DXY跌破前低91.73,刷新逾兩年半以來新低。
7. ECC執行董事:ETC并未遭51%攻擊 Kraken報告出錯。
8. Block.one:已有39個技術組織對EOS新資源模型提案作出回應。
9. 疫苗企業Moderna:初步分析顯示,新冠疫苗有效性為94.1%。[2020/11/30 22:37:01]
NilFoundation?在?LLVM?的基礎上構建了一個?ZK?電路編譯器,該編譯器可以將?C、Rust?等高級語言編寫的程序編譯生成為適當的中間表達(IR),以供?ZK?系統證明。即?NilFoundation?是一個電路編譯器,而不是虛擬機。
金色午報 | 9月26日午間重要動態一覽:7:00-12:00關鍵詞:中共中央、國務院、外灘大會、Sand Dollar、KuCoin
1.中共中央、國務院:用好區塊鏈等技術成果推動關鍵核心技術自主創新。
2.巴哈馬央行將于10月20日起逐步發行“Sand Dollar”。
3.井賢棟:正在探索利用區塊鏈技術建立個人碳賬戶自愿交易平臺。
4.V神:預測市場的結果解析層和市場層正在分離。
5.警惕釣魚網站uniswap.gg空投詐騙。
6.庫幣官方:監測到多筆熱錢包大額提現 用戶資產不會受損失。
7.標記為KuCoin交易所的地址出現大量代幣異常轉移。
8.異常代幣轉賬中的涉事代幣已經開始被拆分和轉移。
9.央行科技司司長李偉:利用區塊鏈等信息技術建立監管智能化的數字平臺。[2020/9/26]
LLVM(LowLevelVirtualMachine)是構架編譯器的一種框架系統,可以優化?Rust?和?C等高級語言編寫的程序的編譯和運行時間。LLVM?最初由伊利諾伊大學的?ChrisLattner?博士于?2000?年主持開發。2006?年?ChrisLattner?加盟?Apple?后開始致力于?LLVM?在開發系統中的應用,目前?LLVM?已經被?Apple、Microsoft、Google、Facebook?等各大公司采用。
獨家 | Bakkt期貨合約數據一覽:金色財經報道,Bakkt Volume Bot數據顯示,4月23日,Bakkt比特幣月度期貨合約單日交易額為1677萬美元,環比持平,未平倉合約量為735萬美元,環比上升7%。[2020/4/24]
除此之外,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?虛擬機。
金色晚報 | 今日重要動態一覽:1.國家外匯局將重點研究推進跨境區塊鏈平臺新場景建設
2.上海市委書記李強:促進區塊鏈等新技術應用
3.中國一汽董事長徐留平:區塊鏈等新技術推進汽車產業增長發展
4.海南區塊鏈試驗區將發布「鏈上海南」計劃
5.海南首現由政府、銀行、企業參與數據監管的區塊鏈積分發行監管系統
6.北京互聯網法院:“天平鏈”電子數據存證數量超過1000萬條
7.當前在全國18個自貿試驗區中,已有15個自貿試驗區展開區塊鏈實踐
8.軟銀推出內置區塊鏈錢包的借記卡 目前僅在日本發售
9.Telegram被要求在12月16日赴倫敦作證GRAM不具備證券產品屬性
10.BTC當前價格為7300美元,今日最低跌至7150美元,最高漲至7474美元[2019/12/2]
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的未來。
隨著上海的升級換代即將到來,LSD再次興起。其中一個項目,是一個撿拾和鏟除的游戲引起了我的注意,而且它遠不止于此。以下是我為什么相信$SSV能從眾多項目中脫穎而出,并擁有巨大的上升空間的原因.
1900/1/1 0:00:003月2日消息,OKX宣布將在未來幾個月內升級其儲備證明,包括fullliabilitytree披露和用于PoR償付能力驗證的零知識證明.
1900/1/1 0:00:0010:00數據BTC全網算力326.25EH/S當前挖礦難度43.05T理論收益0.00000292BTC/T/天FIL全網有效算力19.027EiB理論收益0.0124Fil/TiB1.
1900/1/1 0:00:00通常,擁有正催化劑的項目往往會在短/中期內將跑贏市場,本文將介紹五個即將迎來重大催化劑的項目,僅作為分享,不構成任何投資建議 Synapse Synapse是我認為用戶體驗最好的橋接協議.
1900/1/1 0:00:00親愛的CoinW用戶: CoinW將開啟新一期現貨交易開盲盒活動,活動期間用戶只要在現貨區進行交易,即可獲得交易盲盒獎勵.
1900/1/1 0:00:00Mt.Gox是2010年代最著名的比特幣(BTC)交易所之一。2014年,該交易所遭受黑客攻擊,導致數十億美元的BTC損失。這種情況使交易所破產,并使持有人從此陷入動蕩。近日,案件有了新的發展.
1900/1/1 0:00:00