去年以來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。近期值得關注的ZK賽道新融資項目
金色晚報 | 10月8日晚間重要動態一覽:12:00-21:00關鍵詞:韓國、BitMEX、比特幣算力、ONT、USDC
1. 韓國財政部長:掌握加密貨幣交易明細則可以向其征稅并視為金融資產。
2. 菲律賓央行行長:菲律賓將繼續積極監管虛擬貨幣。
3. BitMEX高層變動,CEO、CTO等四名高管卸任。
4. 比特幣算力觸及170EH/s創歷史新高。
5. Ontology基金會決定解鎖近1500萬枚ONT,分發給生態合作伙伴。
6. Circle向以太坊網絡新增發5,515萬枚USDC。[2020/10/8]
NilFoundationNilFoundation的全名是“=nil;Foundation”,有點像亂碼,其實這個奇怪的名字來源于一個SQL注入玩笑。成立于2018年的NilFoundation最初是做數據庫管理系統。去年底以2.2億美元的估值完成了2200萬美元的融資,由PolychainCapital領投,BlockchainCapital、Starkware、MinaProtocol、IOSGVentures等參投。NilFoundation在LLVM的基礎上構建了一個ZK電路編譯器,該編譯器可以將C++、Rust等高級語言編寫的程序編譯生成為適當的中間表達(IR),以供ZK系統證明。即NilFoundation是一個電路編譯器,而不是虛擬機。LLVM(LowLevelVirtualMachine)是構架編譯器的一種框架系統,可以優化Rust和C++等高級語言編寫的程序的編譯和運行時間。LLVM最初由伊利諾伊大學的ChrisLattner博士于2000年主持開發。2006年ChrisLattner加盟Apple后開始致力于LLVM在開發系統中的應用,目前LLVM已經被Apple、Microsoft、Google、Facebook等各大公司采用。除此之外,NilFoundation有個比較特別的地方是建立了一個“證明市場”,通過ProofMarket用戶可以付費請擁有硬件的人為他們驗證,證明者競相為支付給他們的用戶證明計算,這種自由市場動態將使證明者優化最有價值的證明任務。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以及默認存儲和排序模塊。第三階段是進行代碼清理、測試、模糊測試和審計。UlvetannaUlvetanna是一家構建硬件以提高零知識證明生成效率的初創公司,以5500萬美元估值完成了1500萬美元的種子輪融資,BainCapitalCrypto和Paradigm共同領投了種子輪融資,JumpCrypto參投。Ulvetanna正在構建旨在加速生成ZKP過程的硬件,Ulvetanna的團隊包括來自Coinbase、微軟和英特爾的程序員和工程師。隨著未來ZKP需求的的增加,ZKP需要大量計算,這就需要強大的硬件并消耗大量電力。Ulvetanna認為ZKP生成在專門設計的硬件上要高效得多,因此Ulvetanna組建了一支由應用密碼學家、軟件和硬件工程師、數據中心和云架構師以及加密原生投資者組成的經驗豐富的團隊,通過結合密碼學和高性能計算來提供高效的ZKP硬件計算服務。CysicZK硬件初創公司Cysic于2022年12月完成了600萬美元的種子輪融資,由PolychainCapital領投,其他投資者包括Hashkey、SNZHolding、ABCDE和Web3.com基金會。Cysic旨在為ZK證明提供硬件加速解決方案。目前Cysic的合作伙伴包括Scroll、NilFoundation和HyperOracle。Cysic團隊開發了多標量乘法(MSM)的FPGA原型,FPGA是一種可編程硬件,類似于CPU和GPU芯片。HyperOracleZK預言機網絡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開發人員。RISCZERORISCZero是一個開源的通用型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賽道的典型項目。
金色晨訊 | 8月16日隔夜重要動態一覽:21:00-7:00關鍵詞:北斗、農行、醫療
1.中國衛星導航定位協會科學家:推進北斗時空與區塊鏈等融合
2.國家信息中心副主任:區塊鏈技術有望成為公共資源交易治理創新的變革力量
3.建議用區塊鏈記賬等模式改良預防重大疾病互助互保模式
4.農行金融科技子公司成立 招聘區塊鏈研發等崗位
5.BM:支持添加代幣符號拍賣和在不部署本機合約的情況下發出代幣
6.美國國會議員:Libra相關爭議不是關于加密貨幣本身
7.報告:DeFi推動以太坊gas費用飆升[2020/8/16]
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的未來。
金色午報 | 7月5日午間重要動態一覽:7:00-12:00關鍵詞:浙江、CBDC、Visa、Compound治理提案、Maker
1. 浙江省區塊鏈專業標準化技術委員會正式成立。
2. Compound治理提案012未通過,成為首個被社區否定的提案。
3. Visa加密貨幣負責人:CBDC是未來十年貨幣和支付領域最重要的趨勢之一。
4. HyperChain Capital首席執行官:DeFi領域有巨大的增長機會。
5. 數據:智能合約中的LINK供應量比例刷新兩年高點。
6. 騰訊云區塊鏈總經理:區塊鏈信任機制將使數據價值發揮最大化。
7. BSN全國首個省級主干網絡已啟動。
8. 分析:比特幣與股票市場的相關性出現打破跡象。
9. Maker 24小時漲超6.98%,重返DeFi項目市值首位。[2020/7/5]
金色晚報 | 6月25日晚間重要動態一覽:12:00-21:00關鍵詞:奧地利、摩納哥、Wirecard、歐盟
1. 奧地利監管機構對四家金融公司發警告 其中兩家提供數字貨幣交易服務;
2. 觀點:美國共和黨提議的加密數據法案將危及普通用戶的安全;
3. 國際清算銀行:私人機構穩定幣提案并非推動央行CBDC發行的關鍵因素;
4. 摩納哥開始批準證券代幣融資計劃以支持政府環境和社會治理項目;
5. Deribit持有約63%未平倉合約 占據BTC期權市場主導地位;
6. Cardano團隊建議繼續開發激勵測試網 將其用作快速測試網絡;
7. 上海將開展區塊鏈自主創新研發 籌建區塊鏈功能型服務平臺;
8. 億邦國際明日上市:Q1虧250萬美元 胡東有92%投票權;
9. 加密借記卡發行商Wirecard已申請破產;
10. 歐盟委員會計劃為Libra等全球加密貨幣制定強有力的監管規則。[2020/6/25]
金色晨訊 | 1月20日隔夜重要動態一覽:21:00-7:00關鍵詞:NBA、Libra、中科院、銀聯
1. NBA國王隊將在以太坊區塊鏈上拍賣籃球明星球衣;
2. 風投、金融服務和數字資產行業的多數受訪者認為Libra今年不會啟動;
3. 中科院王小云:我國亟待搶先制定區塊鏈等密碼協議標準與技術規范;
4. 銀聯在2019年申請涵蓋區塊鏈等方面的國內專利近1500項;
5. 鄭州市政府:到2022年區塊鏈等帶動跨界融合新業態新模式快速發展;
6. 田世宏:2019年我國籌建、成立區塊鏈等41個專業標準化技術組織;
7. BTC現報8655美元,近24小時下跌3.02%,市值為1574.22億美元。[2020/1/20]
ArbitrumFoundation宣布將于3月23日向其社區用戶空投$ARB治理Token,并啟動其第3層開發工具ArbitrumOrbit,這使Arbitrum離完全去中心化又近了一步.
1900/1/1 0:00:00整理:Babywhale,ForesightNews近期香港的政府和監管機構向Web3和Crypto世界遞來了越來越多的橄欖枝,從政策、資源、資金等各個方面大力支持Web3的發展與落地.
1900/1/1 0:00:00上周我們盤點了8個即將首發上線的項目,有些項目表現亮眼。比如,HALO在BitgetIEO價格為0.02美元,上線后一度飆升至1.5美元,目前穩定在0.3美元,較IEO價上漲1500%.
1900/1/1 0:00:00隨著埃隆-馬斯克最近接管了Twitter,關于從大型社交網絡遷移到獨立或開放的替代方案的討論已經越來越多,但是所有那些剛開始幻想在加入繁榮的Twitter前居民社區的人.
1900/1/1 0:00:00亮點 GPT-4可以接受圖像和文本輸入,而GPT-3.5只接受文本。GPT-4在各種專業和學術基準上的表現達到"人類水平".
1900/1/1 0:00:00對于剛進入Web3領域的用戶來說,創建錢包或許是他們遇到的第一層障礙。傳統的12位助記詞對于新人用戶來說過于繁瑣和危險,作為備份和恢復功能也過于復雜,可說是毫無用戶體驗優勢.
1900/1/1 0:00:00