以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > FTT > Info

有關zkEVM,你需要知道的一切(三)_ARK

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的差異

美CFTC主席:2014年以來共計60多項加密執法行動,都與匿名舉報有關:10月25日消息,據外媒報道,美國商品期貨交易委員會(CFTC)主席 Rostin Behnam 表示,該機構“最大的成就”是其與加密相關的執法行動的記錄,CFTC 在執行針對加密貨幣公司的大宗商品法律時,并不打算“反復無常”,但他仍愿意在 CFTC 如何應用現有法律以鼓勵加密貨幣交易平臺進入監管范圍方面“保持創造性”。

Rostin Behnam補充道,CFTC自2014年以來采取的所有60多項與加密相關的執法行動,都是匿名舉報的結果,CFTC目前沒有資源進行自己的數據分析和調查。(CoinDesk)[2022/10/25 16:37:53]

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

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

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

Twitter向馬斯克提供有關垃圾郵件,虛假賬戶的內部數據:金色財經報道,Twitter發言人表示,他們將把內部垃圾機器人數據交給埃隆·馬斯克,他們打算敲定出售該平臺的交易。(華盛頓郵報)[2022/6/9 4:12:48]

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方案的差異。開發者與開發資源

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

MicroStrategy首席執行官反駁有關比特幣消耗能源的批評:據TheDailyHodl消息,MicroStrategy首席執行官Michael Saylor等人正在為比特幣反駁批評人士關于其消耗能源的指責。Michael Saylor表示,比特幣對能源的使用,是保持其去中心化網絡十多年安全的原因,并使其能夠在全球范圍內得到采用。他還指出,比特幣礦工正在使用原本會浪費的能源。Saylor認為礦工循環利用邊際能源,以創建能夠容納地球上所有資金的數字貨幣系統,這是完全合理的。[2021/3/20 19:02:30]

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

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

動態 | 歷經11個月,TurnKey Jet終獲SEC有關其代幣發行的無行動信函:據coindesk報道,美國證券交易委員會(SEC)今日首次通過發布“無行動”信函,解決了基于區塊鏈的籌款問題。這封信意味著佛羅里達州創業公司TurnKey Jet可以向客戶出售TKJ代幣。該公司合作律師James Prescott Curry表示,該公司昨日提交給SEC的信已經是第10個版本。Curry于2018年5月23日提交了該信函的初稿,還曾與SEC的代理人員打了多達50個電話,其中有四到五個電話持續了一個小時到90分鐘。[2019/4/4]

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

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

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

聲音 | 歐達禮:有關程序通過才會進入立法及發牌階段:香港證監會行政總裁歐達禮表示,今日將會就加密貨幣平臺推出兩份指引,以監管管理資產中超過10%投資于加密貨幣的基金及銷售經紀。目前加密貨幣尚未被納入投資者保護范圍,因此認為當局應加大范圍,以更好保障投資者。他又指出,加密貨幣交易由于具有匿名性,容易被用作洗黑錢及資助恐怖主義活動等不法行為。目前香港有相當數量的投資者投資于虛擬資產,需求亦一直上升。證監會將會先以沙盤試行指引內容,有關程序若然通過,才會進入立法及發牌階段,目前試行階段會否成功及發牌時間表尚言之過早。[2018/11/1]

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

數據來源: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:ARKSTASTARKSTARSouth ParkJUST StablecoinSTARK幣starlink幣值多少錢

FTT
從七個方面分析,誰是Layer2的贏家?_GON

我研究了所有與以太坊第二層解決方案相關的項目,包括廣義的L2和特定應用的L2,并從這些偉大的項目中選出了我心目中的前五名.

1900/1/1 0:00:00
消息人士:Messari尋求以3億美元估值融資3500萬美元_ESS

Odaily星球日報譯者|余順遂 摘要 Messari計劃以3億美元的估值籌集新的資金。大約一年前,Messari完成2100萬美元A輪融資,StevenCohen旗下Point72Ventur.

1900/1/1 0:00:00
?ArkStream Capital: 詳解zk在擴容和隱私保護賽道的投資機會 ( 二 )

相關閱讀 ArkStreamCapital:詳解zk在擴容和隱私保護賽道的投資機會(一)零知識證明和擴容目前來看,區塊鏈所有設計的出發點,本質都是圍繞區塊.

1900/1/1 0:00:00
全方位解析Web3社交:一個充滿身份危機的蓬勃發展領域_WEB

概括: 中間件:中間件是一種計算機軟件,為軟件應用程序提供服務。中間件通過簡化應用程序、應用程序組件和后端數據源之間的連接,加快去中心化應用程序的開發.

1900/1/1 0:00:00
如何通過Fracton協議買到打折Punks并獲得額外收益?_PUN

7月31日,Tiffany&Co.官方Twitter發布消息,決定將于8月5日在其NFT官網以30ETH的價格發售250個限量NFT——“NFTiff”.

1900/1/1 0:00:00
新項目 | Qoda:Moonbeam上的固定利率借貸協議_ODA

目前DeFi借貸市場形式較為單一,各大借貸協議基本是「可變利率」;反觀傳統借貸市場,則主要以「固定利率」貸款為主,固定利率也更受傳統用戶青睞,規模更大.

1900/1/1 0:00:00
ads