去年以來?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。
金色晚報 | 11月14日晚間重要動態一覽:12:00-21:30關鍵詞:以太坊2.0、Genesis Mining、Galaxy Digital、PlanB
1. 以太坊2.0存款合約積累近6.59萬ETH,完成度約12.56%。
2. xBTC將使用Chainlink預言機決定代幣供應變化。
3. 山西忻州破獲“SZSE數字貨幣交易所”詐騙案 涉案金額1000余萬元。
4. Genesis Mining挖礦業務主管:中國在比特幣礦業的領導地位將受到挑戰。
5. PlanB:比特幣分形進入第五階段并有可能變得非常看漲。
6. Akropolis重入攻擊事件:攻擊者使用自己構造token導致合約使用相同差值鑄幣兩次。
7. 數據:加密貨幣交易所持有以太坊的百分比降至近2年低點。
8. Galaxy Digital獲5000萬美元投資,資產管理規模為4.074億美元。
9. V神:從1.0到2.0是從一個共識引擎系統到另一個的狀態轉換。[2020/11/14 20:49:53]
NilFoundation的全名是“=nil;Foundation”,有點像亂碼,其實這個奇怪的名字來源于一個?SQL?注入玩笑。
金色晨訊 | 10月10日隔夜重要動態一覽:21:00-7:00關鍵詞:數字人民幣、以太坊2.0、USDT增發、援助法案
1.CME比特幣期貨10月合約收報11110美元。
2.以太坊2.0開發者推出初始0階段新漏洞賞金計劃。
3.國家電網董事長:將加快能源區塊鏈等數字新基建發展。
4.西南財經大學陳文:數字人民幣需要明確自身場景應用定位。
5.國海證券:央行數字貨幣是人民幣國際化的重要工具。
6.日本金融巨頭SBI Holdings將進軍STO業務。
7.美股三大股指收盤均上漲 區塊鏈概念股普遍收漲。
8.Tether在波場網絡增發1.5億USDT(已授權未發行)。
9.美財長將向眾議院議長提交1.8萬億美元援助法案提案。[2020/10/10]
成立于2018年的?NilFoundation?最初是做數據庫管理系統。去年底以?2.2?億美元的估值完成了?2200?萬美元的融資,由?PolychainCapital領投,BlockchainCapital、Starkware、MinaProtocol、IOSGVentures?等參投。
NilFoundation?在?LLVM?的基礎上構建了一個?ZK?電路編譯器,該編譯器可以將?C、Rust?等高級語言編寫的程序編譯生成為適當的中間表達(IR),以供?ZK?系統證明。即?NilFoundation?是一個電路編譯器,而不是虛擬機。
金色午報 | 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]
LLVM(LowLevelVirtualMachine)是構架編譯器的一種框架系統,可以優化?Rust?和?C等高級語言編寫的程序的編譯和運行時間。LLVM?最初由伊利諾伊大學的?ChrisLattner?博士于?2000?年主持開發。2006?年?ChrisLattner?加盟?Apple?后開始致力于?LLVM?在開發系統中的應用,目前?LLVM?已經被?Apple、Microsoft、Google、Facebook?等各大公司采用。
獨家 | Bakkt期貨合約數據一覽:金色財經報道,Bakkt Volume Bot數據顯示,本周Bakkt比特幣月度期貨合約總交易額為8900萬美元,環比上升9%,最大未平倉合約量為1200萬美元,環比下降34%。[2020/3/8]
除此之外,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?虛擬機。
金色晚報 | 2月13日晚間重要動態一覽:12:00-21:00關鍵詞:FCoin、Coinbase、ETC、芝商所
1. 甘肅省召開省政府黨組(擴大)會議,強調探索區塊鏈等技術。
2. FCoin:已開始處理提現申請。
3. 2019年區塊鏈安全事件177起,經濟損失高達76.79億美元。
4. 三星新Galaxy S20將繼續支持加密貨幣。
5. 加密貨幣總市值逼近3100億美元。
6. 加密貨幣交易所Coinbase宣布已對其手機應用程序進行更新。
7. ETC官方:Aztlan和Phoenix硬分叉將在同一主網區塊上進行升級。
8. 騰訊御見:Nemty勒索病借Phorpiex僵尸網絡傳播,可監視剪貼板劫持虛擬幣交易。
9. 芝商所和Bakkt比特幣期貨本周交易量和持倉量均突破2020年高點。
10. 比特幣日內震蕩,最低跌至10090.99美元,最高漲至10485美元,現報10214美元。[2020/2/13]
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:ISCEROPOL以太坊Biscuit Farm FinanceCryptoHeroespolkadotstingray以太坊幣價格今日行情價格
KuCoinisextremelyproudtoannounceyetanothergreatprojectcomingtoourtradingplatform.
1900/1/1 0:00:00原文作者:DonovanChoy原文來源:Bankless 原文編譯:DeFi之道 OpenSea多年來的市場主導地位幾乎是絕對的,這使得Blur的驚人崛起更加令人印象深刻.
1900/1/1 0:00:00以太坊(ETH)將在下個月進行另一次關鍵升級。這個名為Shanghai的更新將首次允許解鎖抵押的以太幣。投資者和用戶對升級將如何影響ETH的價格感到不安,許多人預計會出現拋售.
1900/1/1 0:00:00尊敬的XT.COM用戶:XT.COM現已開放HIFI充提業務。給您帶來的不便,請您諒解!感謝您對XT.COM的支持與信任!XT.COM團隊2023年03月01日Line Next的NFT平臺DO.
1900/1/1 0:00:00簡單來說XRP似乎已進入看漲趨勢,因為Ripple與SEC的訴訟懸而未決。交易量在兩周內首次突破6億美元。自2月中旬以來,加密鯨魚現在已經積累了3億個XRP.
1900/1/1 0:00:00gz呺Web3團子 比特幣2月份的表現表明投資者對長期前景持樂觀態度。比特幣開局看漲,但交易所資金流入表明更多的拋售壓力可能會抑制短期反彈.
1900/1/1 0:00:00