買比特幣 買比特幣
Ctrl+D 買比特幣
ads

STARK:有關zkEVM,你需要知道的一切(三)_Park Star

Author:

Time:1900/1/1 0:00:00

TL;DR

zkEVM與zkVM差異主要在于對EVM的兼容以及對零知識證明的支持。在開發者與開發資源方面,以太坊擁有最多的開發者、最完整豐富的開發資源與基礎設施,以太坊的開發者與開發資源更方便轉移到zkEVM上。而StarkNet與zkSync等zkVM的開發者與開發資源遠遠落后于以太坊。在應用生態方面,以太坊擁有最多的DApp數量與高達58%的DeFi份額,以太坊上的既有應用都將是zkEVM的發展紅利,zkVM由于EVM兼容性差將難以移植這些既有應用;但zkVM更兼容零知識證明使得zkVM更有可能涌現出應用創新。在技術上,1)在算法方面,STARKs有更高的安全性和擴展性,但STARKs的證明規模更大,驗證時間更長,且STARKs仍處于初始階段,基礎設施和代碼庫不如SNARKs完善;2)在語言方面,zkEVM可能由于短期內兼容技術不成熟使得Solidity語言在編寫過程中可能產生未知漏洞,zkVM的語言更加適配零知識證明;3)在架構方面,EVM串行狀態機的架構天然不適配零知識證明,zkVM則是為零知識證明量身定制的虛擬機。本文屬于《一文看懂zkEVM》系列文章的第三篇,第一篇介紹了zkEVM的基本原理和細分層次,第二篇盤點了行業中主流的zkEVM項目,本篇文章將說明zkEVM和zkVM兩種不同ZKR項目的基本差異。為什么要了解zkEVM和zkVM的差異

幣安否認有關中國市場900億美元交易的報道:金色財經報道,盡管《華爾街日報》報道稱中國市場約占幣安交易量的20%,但其在一封電子郵件中表示,其網站在中國被屏蔽,中國用戶無法使用其平臺。

今天早些時候,《華爾街日報》報道稱,中國仍然是幣安最大的市場,5月份中國貢獻價值超過900億美元的現貨和期貨交易量。該報告引用了幣安一個名為“Mission Control”的內部平臺,并補充說大部分交易量來自期貨交易。

截至5月,該交易所在該國擁有560萬注冊用戶。與此同時,報告指出,幣安在韓國、土耳其、越南和英屬維爾京群島的交易量很大。[2023/8/2 16:13:44]

zkEVM和zkVM是ZKR項目的兩種不同發展方案,二者沒有絕對的優劣,只是在生態兼容和技術性能上有不同的權衡,把握二者的差異,有助于把握不同ZKR項目的優劣以及長期發展的基本面。

需要注意,zkVMZKR常特指那些專門設計了zkVM的ZKR,但有時一定程度的兼容EVM也被歸到zkEVM的類別中。基本介紹

zkEVM是通過零知識證明驗證程序正確性的以太坊虛擬機,旨在以支持零知識技術的方式執行智能合約,優點是兼容EVM。而zkVM,是用于零知識證明系統電路實現的虛擬機,優點在于更加兼容ZK。

Terra 2.0 社區已啟動就有關如何分配 0.5% 應急資金提案的投票:6月9日消息,Terra 2.0 社區已啟動就有關如何分配 0.5% 應急資金提案的投票,該提案建議將這部分資金分配給在 Terra Classic 上推出過符合市場需求的產品,包括產生了一定量的 TVL 和沒有產生 TVL 的項目以及尚未推出過符合市場需求產品的項目,并提議向以上三類項目分別分配 250 萬枚 LUNA、100 萬枚 LUNA 和 150 萬枚 LUNA。此外,該提案建議組件一個由部分 Terra 社區的長期成員組成的理事會監督分配工作。[2022/6/9 4:13:09]

zkEVM相對遵循EVM操作碼和字節碼規范,zkVM則設計新的虛擬機,因此zkEVM也被叫做原生EVM,zkVM也被叫做自定義EVM。對比

zkEVM和zkVM兩種方案,代表著ZKR發展的兩個方向。在前文zkEVM和zkVM定義下,嚴格來看,ZKR中的zkEVM包括Scroll、PolygonHermez、PolygonNightfall、PolygonZero,zkVM包括StarkNet、zkSync、PolygonMiden。我們將在開發者與開發資源、應用生態、技術前景等方面對比zkEVM和zkVM兩種ZKR方案的差異。開發者與開發資源

動態 | 區塊鏈研究所發布有關區塊鏈對金融影響的新書:金色財經報道,區塊鏈研究所(Blockchain Research Institute)今日宣布,在加拿大和美國發布其新書《金融服務革命:區塊鏈如何改變貨幣,市場和銀行業務》。該書探討了區塊鏈對金融的影響,現已在Amazon Canada和Amazon US以及北美的精選書店上市。[2020/2/7]

zkEVM可以繼承以太坊開發者與開發資源,而zkVM則難以繼承。在開發者方面,ElectricCapital編撰的《DeveloperReport2021》中的數據顯示以太坊月活開發者于2021年達到4011,在所有區塊鏈中排名第一且并遙遙領先其他區塊鏈。

《《DeveloperReport2021》》報告根據Github上以太坊,與StarkNet、zkSync等zkVM項目熱門代碼倉庫的數據,可以看出以太坊有非常龐大的開發者群體以及代碼資源,StarkNet與zkSync遠遠落后于以太坊。

StarkNet的開發資源盡管比較完善,但數量較少,也不如以太坊成熟。

動態 | IOTA官方宣布將引入與物聯網有關的NB-Pow共識:近日IOTA官方宣布將推出與物聯網相關的Azimuth共識(以前稱為NB-PoW),以作為IOTA長期愿景的一部分。[2019/6/25]

zkSync的開發資源相比以太坊與StarkNet一樣匱乏,但相比Starknet,zkSync的教程不夠系統與完善,對開發者不夠友好。

總結,以太坊的開發者最多,開發資源最豐富,將是zkEVM未來的發展紅利,StarkNet和zkSync等zkVMZKR面臨巨大的后發劣勢。應用生態

在應用生態方面我們將從應用移植與應用創新兩個角度對比zkEVM和zkVM。以太坊DApp總數達到2970,日活用戶達到5.2萬,遙遙領先所有其他區塊鏈。

數據來源:https://www.stateofthedapps.com/zh/stats在DeFi市場方面,根據defillama收錄的數據,截至8月11日,以太坊上部署的531個DeFi協議擁有約406億美元的TVL,占整個DeFi市場份額的58.37%。

動態 | 加密社區對彭博社有關比特幣價格飆升的觀點表示質疑:據bitcoinexchangeguide消息,彭博社今日報道稱,近期的比特幣價格飆升實際上是由摩根大通(JPM)目前正在開發JPM Coin的消息引起的。這促使加密社區認為彭博的觀點是錯誤的。即使有來自Bakkt和Fidelity的非常重要的公告,加密市場也沒有得到提振,因此比特幣價格上漲是由JPM Coin的消息導致的可能性并不大,特別是因為價格飆升發生得相當晚。在摩根大通宣布當天,加密貨幣總市值實際上下降了0.6%。反而在幾天后,加密市場才開始再次上漲,比特幣突破4000美元。此外,JPM Coin并不是真正的加密貨幣,而是一種將在內部使用的中心化數字令牌。[2019/2/21]

數據來源:https://defillama.com/chains以太坊的DApp和DeFi具有非常龐大的市場,zkEVM在應用移植方面具有非常良好的發展前景。應用創新

在應用創新方面,zkVM相對于zkEVM缺失了大量EVM兼容性,導致zkVM難以承接以太坊的應用紅利。但zkVM項目由于為零知識證明量身定制了虛擬機,使得zkVM涌現出許多zkEVMZKR不能實現的創新。比如StarkNet的團隊Topology宣稱實現了全鏈游戲Issac。

Issac的資產交易、狀態存儲、邏輯執行全部在鏈上。

全鏈也意味著游戲符合區塊鏈的基本屬性,去中心、免許可、可組合。沒有實體可以更改游戲基本規則,玩家和可以免許可地參與游戲并在其中創造,開發者可以根據合約自行創建出游戲前端以及游戲內的設施和資產。Topology團隊的一篇文章集中闡述了Issac的設計哲學。技術前景

在技術前景方面,我們將在算法、語言、架構方面來對比zkEVM和zkVM的優劣。在算法上,大多zkEVMZKR使用SNARKs算法,而StarkNet作為最極端的zkVM主義者使用STARKS算法,需要說明的是,SNARKs是包括Groth16、Halo、Fractal、Sonic在內的系列算法的統稱,STARKs是一種新興的特定SNARKs算法,我們將比較二者之間的優劣。

需要說明的是,可信設置意味著是否需要受信任的設置即可工作,如果不需要信任設置,會具備更高的安全性,量子安全意味著能否防止量子計算機暴力破解私鑰;遞歸意味著是否能證明自己,簡單來講就是可在L2上再實現一個L2,實現L3的效果,性能前景近乎無限。STARKs與SNARKs相比,有更高的安全性和擴展性,性能潛力更好,但目前STARKs的證明規模更大,驗證時間更長,且處于初始階段,基礎設施和代碼庫不如SNARKs完善。在語言方面,由于zkEVM的兼容EVM的方式是在字節碼、操作碼上對EVM預編譯。這會出現兩個問題。一方面,由于目前操作碼和字節碼兼容不完善,會造成Solidity代碼在移植、轉換電路的過程中出現未知漏洞,如PolygonHermez將EVM字節碼直接轉換為虛擬機的字節碼。

圖片來自:https://blog.hermez.io/introducing-hermez-zkevm/另一方面,隨著零知識證明技術的成熟,zkEVM必然出現為定制電路的需求,而Solidity等語言對零知識證明不友好,這將造成巨大的技術障礙。而StarkNet和zkSync這類zkVM設計了兼容零知識證明的語言如Cairo和Zinc。開發者可通過這些語言直接為自己的程序生成零知識證明,而不需要學習專業的零知識證明知識編寫一組多項式方程并轉化為電路。總結,zkEVM可能由于短期內兼容技術不成熟使得Solidity語言在編寫過程中可能產生未知漏洞,zkVM的編程語言相對于zkEVM更加適配零知識證明。在架構方面,按照以太坊黃皮書的規范,EVM是一個基于堆棧的、串行狀態機,簡單來講就是EVM天然與零知識證明不兼容。而zkVM則是為零知識證明量身定制的虛擬機,在底層架構更加適合零知識證明。zkVM極端主義者StarkNet發明的Cairo語言,是對CPU友好的適配零知識證明的高級語言,使得StarkNet在CPU層級上更加適配零知識證明,甚至可以為此定制零知識證明硬件。投資機構Paradium也注意到了零知識證明中的硬件機會,并為此撰寫了論文《HardwareAccelerationforZeroKnowledgeProofs》推薦下載Cairo白皮書以掌握更多設計細節《Cairo–aTuring-completeSTARK-friendlyCPUarchitecture》。綜合來看,zkVM相比zkEVM在算法、語言、架構上更加適配零知識證明,擁有更高的擴展性和安全性。未來展望

Scroll創始人YeZhang在推特上建議StarkWare通過zkEVM驗證StarkNet上用Cairo語言編寫的證明程序,簡單講就是在一個L2上建立另一個L2。這樣的提議在技術上是可行的,并且這一提議無疑也描述了一個更有想象力、包容性的L2世界。

各個zkEVM、zkEVM方案的ZKR都將在下半年開啟主網與測試網,可以預見,在明年我們就會見證多個ZKR網絡迎來大規模應用,以太坊生態逐漸向ZKR網絡遷移,區塊鏈可能迎來3G換4G的時代浪潮,網絡擴容增速將會為應用創新奠定基礎并開啟下一輪牛市,2022年的冬天可能是Crypto最后一個冬天。

Tags:ARKSTASTARSTARKBitmarkPark StarSTARLSTARK幣

比特幣價格今日行情
ADO:Crypto迎來「隱秘」之戰:USDC們正在反噬DeFi_Tornado Finance

就在以太坊測試網宣布合并成功這一喜大普奔消息的同時,加密世界也迎來了另一個歷史轉折點:因USDC發行方Circle凍結部分地址的資金訪問權,主流DEX協議dYdX出現用戶賬號屏蔽情況.

1900/1/1 0:00:00
區塊鏈:Foresight Ventures市場周報:沒有壞消息就是好消息_FOR

市場觀點 宏觀流動性 貨幣流動性整體緊縮。美聯儲如期加息75個基點,說明美聯儲對控制住CPI以及穩住GDP有實質性信心。鮑威爾放鴿談及放慢加息節奏,美元指數顯示出疲軟的最初跡象.

1900/1/1 0:00:00
STAR:梳理加密頭部VC共同投資的項目:有哪些潛力空投標的?_ENTONE

雖說加密熊市帶來漫長寒冬,但也帶來以相對較低價格入手“優質標的”的機會,同時還有助于普通用戶埋伏有潛力但尚未發行通證的項目。加密世界猶如黑暗叢林,如何篩選有潛力的空投標的是用戶面臨的首要問題.

1900/1/1 0:00:00
CEFI:Messari2022上半年加密融資報告:1199起融資事件,總募資303億美元_MES

加密研究機構Messari近日發布了與DoveMetrics團隊聯合推出的2022年上半年加密融資報告.

1900/1/1 0:00:00
NFT:?星球日報 | Acala攻擊者地址aUSD銷毀提案已通過;BitGo已收到新的收購要約,但正考慮IPO(8月17日)_ASUSD價格

頭條 BitGo:已收到新的收購要約,但正考慮IPOOdaily星球日報訊BitGo首席執行官MikeBelshe在接受采訪時表示,BitGo已收到新的收購要約.

1900/1/1 0:00:00
DEFI:EthCC5大會要點概覽:以太坊完成度僅有55%_以太坊官網地址

上周,以太坊社區大會EthCC5在法國巴黎舉行,包括以太坊聯合創始人VitalikButerin在內的許多加密領域大咖出席了本次大會并發表演講,現在就讓我們快速回顧下本屆大會的重要內容.

1900/1/1 0:00:00
ads