STARK:有關zkEVM，你需要知道的一切（三）_Benchmark

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

Blur創始人：NFT地板價變化根本原因與流動性有關:金色財經報道，針對“Blur正在殺死NFT敘事”，NFT聚合市場Blur創始人Pacman在社交媒體發文稱，我通常不會回應這樣的爭議，但這件事還是想說一下，Blur于2022年10月22日推出，從那時之后，一些NFT項目的地板價上漲，也有一些NFT項目地板價下跌。其中NFT市場地板價上漲的原因可能與Blur空投給NFT市場注入流動性有關，而NFT地板價下跌或因Azuki鑄造移除了4000萬美元流動性有關，我們不是在落井下石，NFT市場只會根據流動性而非其他因素變化。當資產價格上漲時，人們并不會關注根本原因（即Blur注入了流動性），但當資產價格下跌時就會議論紛紛，好事不出門壞事傳千里，我覺得也許這就是創業做生意的成本。[2023/7/6 22:20:15]

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

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

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

扎克伯格：元宇宙與地塊/地點無關，而與“時間點”有關:金色財經報道，Meta（原 Facebook）首席執行官馬克·扎克伯格在接受科技播客 Lex Fridman 最新采訪被問到“元宇宙奇點時刻”的問題時表示，元宇宙與地塊/地點無關，而與“時間點”（a point of time）有關，將元宇宙作為一個時間而不是一個地方是一個“合理的結構”，他解釋說：“很多人認為元宇宙是關于某一個地方，而且對元宇宙的定義是沉浸式數字世界，并希望這個世界成為人們生活和消磨時間的主要方式，許多人是在數字世界中生活，但還沒有在虛擬世界中生活。”至于何時在虛擬世界中生活會發生，馬克·扎克伯格表示這取決于許多不同的用例如何發揮作用，包括游戲和社交體驗。（ businessinsider）[2022/3/3 13:34:17]

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

安全研究員：Twitter攻擊事件或與SIM卡交換攻擊有關:據知名安全研究員Brian Krebs稱，此次的Twitter攻擊事件可能是由SIM卡交換社區發起的。第一條釣魚推文來自幣安，幾分鐘后，其他幾十個賬戶也紛紛中招，黑客從中獲利超過13萬美元。然而在此之前，有另一個賬戶也被劫持，這可能是發現誰是幕后黑手的關鍵。

據Krebs稱，SIM卡交換社區將所謂的“OG”社交媒體賬戶視為獎品，可以在地下市場上以數千美元的價格出售。這類賬戶只有一個或兩個字母，如@B。在一個專門劫持賬戶的論壇上，一個名為“Chaewon”的用戶宣稱他們可以更改任何Twitter賬戶的電子郵件，并提供直接訪問賬戶，費用在2000美元到3000美元之間。

在幣安賬戶被黑之前，一個OG賬戶@6被黑，該賬戶屬于現已去世的黑客Adrian Lamo，他因侵入《紐約時報》網絡而聞名。該賬戶由安全研究員Lucky225管理，他表示收到了@6賬戶的密碼確認碼。SIM卡交換攻擊成功更改了該賬戶綁定的電子郵件，并禁用了2FA。他進一步探查后發現，攻擊者化名PlugWalkJoe，來自英國利物浦，現年21歲，真名叫Joseph James Connor。（CryptoGlobe）[2020/7/17]

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

動態 | BTC-e創始人孩子向希臘法院提起有關侵犯人權的訴訟:金色財經報道，BTC-e創始人Alexander Vinnik的律師已向希臘法院提起訴訟，指控Vinnik被侵犯人權。該投訴是代表Vinnik尚年幼的孩子提出，以防止將Vinnik引渡到法國和美國。[2020/1/21]

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

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

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

聲音 | 央行穆長春：人民銀行數字貨幣是對M0的替代 應遵守現行的所有關于反洗錢等規定:據中國證券報報道，人民銀行支付結算司副司長穆長春8月10日在第三屆“中國金融四十人伊春論壇”上表示，因為人民銀行數字貨幣是對M0的替代，所以對于現鈔是不計付利息的，不會引發金融脫媒，也不會對現有的實體經濟產生大的沖擊。此外，應遵守現行的所有關于現鈔管理和反洗錢、反恐融資等規定，對人民銀行數字貨幣大額及可疑交易應向人民銀行報告。人民銀行數字貨幣必須有高擴展性、高并發的性能，適用于小額零售高頻的業務場景。為了引導人民銀行數字貨幣用于小額零售場景，不對存款產生擠出效應，避免套利和壓力環境下的順周期效應，可以根據不同級別錢包設定交易限額和余額限額。另外，可以增加一些兌換的成本和摩擦，以避免在壓力環境下出現順周期的情況。[2019/8/10]

總結，以太坊的開發者最多，開發資源最豐富，將是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%。

數據來源：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：ARKSTASTARKSTARBenchmarkDefi Shopping StakeStarkMetaFootballStars

火幣交易所