去年以來?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。
金色晚報 | 10月18日晚間重要動態一覽:12:00-21:00關鍵詞:以太坊橋、天貓、灰度CEO、ProShares、1inch
1. 數據:以太坊橋TVL達到154.3億美元;
2. 天貓上線元宇宙藝術展,參展品牌包括Burberry、五糧液等;
3. 灰度CEO評論比特幣期貨ETF:產品結構會對投資者產生影響;
4. ProShares比特幣期貨ETF將于周二在紐約證券交易所上市;
5. 數據:當前Polygon上總鎖倉量為42.9億美元;
6. 1inch在以太坊網絡總交易量超過850億美元,創歷史新高;
7. Gadze Finance推出2500萬美元的DeFi加密貨幣基金。[2021/10/18 20:38:05]
NilFoundation的全名是“=nil;Foundation”,有點像亂碼,其實這個奇怪的名字來源于一個?SQL?注入玩笑。
成立于2018年的?NilFoundation?最初是做數據庫管理系統。去年底以?2.2?億美元的估值完成了?2200?萬美元的融資,由?PolychainCapital領投,BlockchainCapital、Starkware、MinaProtocol、IOSGVentures?等參投。
金色晨訊 | 6月19日隔夜重要動態一覽:21:00-7:00關鍵詞:貴陽市、Reddit、DeFi代幣、IPFS、COMP
1. 貴陽市圍繞區塊鏈等基礎設施建設征集新基建工作建議和典型項目。
2. Reddit邀請開發人員為其代幣項目提交以太坊擴容提案。
3. 路虎廣告將比特幣誕生標為重要歷史事件。
4. DeFi代幣總市值突破40億美元。
5. Coinbase Pro將于6月24日開放COMP交易。
6. MyEtherWallet發布網站托管功能,可自動將網站上傳至IPFS。
7. BlockQuake與富達支持的機構數字資產安全平臺Fireblock達成合作。
8. 俄羅斯當局宣布取消對Telegram的禁令。
9. 上海經信委:推動工業互聯網平臺與區塊鏈等深度融合。[2020/6/19]
NilFoundation?在?LLVM?的基礎上構建了一個?ZK?電路編譯器,該編譯器可以將?C、Rust?等高級語言編寫的程序編譯生成為適當的中間表達(IR),以供?ZK?系統證明。即?NilFoundation?是一個電路編譯器,而不是虛擬機。
LLVM(LowLevelVirtualMachine)是構架編譯器的一種框架系統,可以優化?Rust?和?C等高級語言編寫的程序的編譯和運行時間。LLVM?最初由伊利諾伊大學的?ChrisLattner?博士于?2000?年主持開發。2006?年?ChrisLattner?加盟?Apple?后開始致力于?LLVM?在開發系統中的應用,目前?LLVM?已經被?Apple、Microsoft、Google、Facebook?等各大公司采用。
金色午報 | 3月15日午間重要動態一覽:7:00-12:00關鍵詞:特朗普、ETC減產、孔雀碼、Coinbase
1. 特朗普新冠病測試結果呈陰性。
2. 中國銀行前副行長:比特幣不可能成為“數字黃金”。
3. 云南省區塊鏈中心掛牌成立,區塊鏈溯源商品碼“孔雀碼”正式發布。
4. 聯通研究院完成“區塊鏈企業復工復產備案平臺”部署,推動復工。
5. ETC預計于2天后迎來減產。
6. 格魯吉亞將學歷證書納入Cardano支持的區塊鏈。
7. 荷蘭紅十字會接受比特幣捐款以抗擊新冠病。
8. Coinbase交易所12日交易量超過15億美元,創下該交易所2020年歷史新高。[2020/3/15]
除此之外,NilFoundation?有個比較特別的地方是建立了一個“證明市場”,通過?ProofMarket?用戶可以付費請擁有硬件的人為他們驗證,證明者競相為支付給他們的用戶證明計算,這種自由市場動態將使證明者優化最有價值的證明任務。
SovereignLabs
專注于構建?ZK-RollupSDK?的SovereignLabs?今年?1?月完成了?740?萬美元種子輪融資,該輪融資由?HaunVentures?領投,Maven11、1KX、RobotVentures?和?PlaintextCapital?參投。
金色晚報 | 3月1日晚間重要動態一覽:12:00-21:00關鍵詞:戰爭、轉賬、市值、傳銷
1. 土耳其稱,針對敘利亞的軍事行動已經開始,但不想和敘境內的俄方發生沖突。
2. 近860萬枚USDT轉入幣安 價值約862萬美元
3. 全球加密貨幣總市值已不足2200億美元
4. 濟南上線“身份健康碼” 區塊鏈為數據安全護航
5. 類DApp有8成交易量來自加密鯨魚
6. 當前BTC全網合約持倉總量為26.99億美元
7. 破獲Seal幣(希爾鏈)特大傳銷案[2020/3/2]
SovereignLabs?計劃構建一個軟件開發工具包(SDK),幫助開發人員創建安全且可互操作的零知識?Rollup。SovereignSDK旨在簡化ZK-Rollup的創建,就像CosmosSDK簡化?Layer?1?的創建一樣。它是第一個消除零知識復雜性的匯總框架,使開發人員可以輕松構建他們的應用程序,開發人員無需成為密碼學專家。使用SovereignSDK,開發人員將能夠使用慣用的Rust編寫應用程序,SDK將自動將其編譯為高效的ZK?虛擬機。
SovereignLabs?的路線圖分為?3?個部分,第一階段是在?2023?年第二季度完成研究設計原型,當前的原型集成了用于數據可用性的Celestia和用于證明的Risc?0?。第二階段是?SovereignSDK?的部署,包括點對點網絡、RPC節點、核心API以及默認存儲和排序模塊。第三階段是進行代碼清理、測試、模糊測試和審計。
金色午報 | 1月1日午間重要動態一覽:7:00-12:00關鍵詞:VeriBlock、工商銀行、富國銀行、交通部
1.VeriBlock在2019年完成BTC OP_Return輸出的57%;
2.工商銀行董事長:通過引入區塊鏈等前沿科技進一步提升服務質效;
3. 富國銀行分析師:區塊鏈等技術在未來十年將確保銀行效率和更好的回報;
4. 交通部公路局局長:利用區塊鏈等現代信息技術,加快車路協同;
5. 78萬EOS單筆大額委托買單在OKEx上出現;
6. 河北省委書記:深化完善產業規劃體系,突出區塊鏈等重點;
7. 比特幣過去十年上漲逾9萬倍 超過任何其他資產。[2020/1/1]
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的未來。
KuCoinisextremelyproudtoannounceanewNFTETFcomingtoourtradingplatform—hiBEANZ.
1900/1/1 0:00:00親愛的用戶: 為了給用戶提供更豐富的交易選擇,幣安閃兌交易平臺已上線LQTY、GFT、BNX新資產.
1900/1/1 0:00:00ForesightNews消息,歐易OKX宣布將升級其儲備證明以包括完整的MerkleTree披露和零知識證明(ZKP)以驗證PoR償付能力.
1900/1/1 0:00:00隨著2023年的第三個月已經過去,加密貨幣市場已經放緩了年初的漲幅,柴犬(SHIB)也不例外,導致加密貨幣交易者和投資者觀察其未來走勢的指標,包括機器提供的指標學習平臺.
1900/1/1 0:00:00BTC的價格走勢有可能與3月份通常的下跌趨勢背道而馳。過去十年中流通的代幣現在比交易所持有的多。比特幣多年來一直在3月表現不佳,使其成為多年來第二糟糕的月份,除2013年外.
1900/1/1 0:00:00原文來源:頭等倉 以太坊上海升級 上海升級是近期市場上的最大敘事和公眾預期。在主網進行上海升級前,會有3次測試網的升級測試.
1900/1/1 0:00:00