
TL,DR;
二級標題
二級標題
二級標題評價一個zkEVM 項目的因素包括:證明時間、驗證時間、證明大小、CRS、SRS、可信設置、遞歸支持、密碼學假設、量子安全、兼容等級。,Scroll 發展時間最短,但符合EVM 等效標準;Polygon Hermez 最快開源,但使用了不同於EVM “傳統” 的新彙編代碼,存在中立的不確定性;zkSync 計劃100 天后推出公共網,開發進度最快;StarkNet 堅持zkVM 路線兼容前景有限;Aztec 尚未完成Solidity 語言兼容,EVM 兼容進度落後;Loopring 兼容進度遙遙無期,暫未提上日程。本文屬於《一文看懂zkEVM》系列的第二篇,
關於zkEVM 的重要性不絕於耳,以V 神為代表的行業領袖認為:從中長期來看,隨著ZK-SNARK 技術(ZK 算法)的改進,ZKR 將在所有用例中勝出。而zkEVM 是ZKR 項目兼容以太坊的技術,zkEVM 項目即ZKR 項目,本文用最近在推特上廣為討論的zkEVM 代指ZKR 項目。
二級標題
二級標題
二級標題《FL Research | Incomplete Guide to ZK: Why ZK Matters? 》zkEVM項目的評價因素Community Proposal: A Benchmarking Framework for (Zero-Knowledge) Proof Systems在開始盤點具體項目之前,我們不可避免地會提出一個問題——評價zkEVM 項目的因素有哪些?
CTH 集團的Fundamental Labs 在本文主要從項目簡介和EVM 兼容進展兩個方面來盤點zkEVM 項目,包括Scroll、Polygon Hermez、zkSync、StarkNet、Aztec、Loopring。

二級標題

二級標題
二級標題《Introducing Scroll, a new layer2 solution》Scroll:行業黑馬
Scroll 的目標是完全兼容EVM,讓以太坊上的智能合約可以直接複製到Scroll,無需修改代碼就可以兼容以太坊基礎設施。
Scroll 聯創Ye Zhang 在21 年3 月的以太坊研究論壇ETH Research 上第一次提出了
初步介紹了Scroll 作為一種新的Layer2 解決方案的技術原理與未來路線。

融資方面,今年4 月22 日Scroll 完成3000 萬美元A 輪融資,Polychain Capital 領投,Bain Capital Crypto、Robot Ventures、Geometry DAO 等參投。以太坊基金會的Ying Tong 和Carlos Aria,以及以太坊社區的成員也參與了該輪融資。創始人Peng 表示,該項目此前已經從天使投資人那裡融資約300 萬美元。Ye Zhang 在推特上。
7 月20 日,因為和Polygon Hermez、zkSync 接連官宣zkEVM 測試網,推特上出現大量關於“誰是第一個zkEVM”的爭論。
Ye Zhang 在推特上
計劃下半年再次推出一次測試網,面向所有公眾,功能包括:允許開發人員部署智能合約;允許任何人運行歸檔Scroll 節點;生成和聚合更多在鏈上驗證的zkEVM 證明;在EVM 兼容方面,根據官方文檔,Scroll 已經實現了字節碼兼容EVM,及EVM 操作碼的子集。
二級標題
二級標題二級標題Polygon Hermez:最快開源
7 月20 日Polygon Hermez

官宣發布
並開源第一個EVM 等效的ZK L2 (ZKR)。但與其他項目不同,Polygon Hermez 項目並不是Polygon 獨立研發,而是Polygon 通過收購併合併一個叫做Hermez 的ZKR 項目而來。根據Coindesk 消息,2021 年8 月13 日,Hermez 團隊與項目被Polygon 以2.5 億美元的價格收購,Hermez 以Polygon Hermez 的名義併入Polygon 生態系統,並且兩個網絡進行了合併。這也是第一次一個區塊鍊網絡被完全合併到另一個區塊鍊網絡中。。關於Polygon Hermez 的EVM 實現,Ye Zhang 在推特上表示,“Polygon 使用一組新的彙編代碼來表達每個操作碼,即人類可讀的字節碼翻譯,這可以讓代碼在EVM 上的行為有所不同,可以實現“字節碼級別”的兼容性,但行為可能與EVM 不同,Polygon Hermez 的方案更簡單且可能更高效,也有可能出現一些未知的情況。”其實現了EVM 等效性,在開放測試網後,開發人員可以將任何以太坊智能合約無縫部署到Polygon Hermez。計劃就在下半年推出公共測試網。
二級標題

二級標題
二級標題
zkSync:行業老兵

zkSync 累計融資5800萬美元,Placeholder、1kx、Dragonfly Capital 全程參與3 輪融資,聯合廣場風投和a16z 參與了2 輪。
zkSync 是MatterLabs 於2019 年開始構建的、以用戶為中心的免信任二層協議,以ZKP 為核心技術,以安全、用戶體驗和開發者體驗為核心關注點。該項目傾向於增量協議開發,即按順序逐個引入功能,從而在每個步驟中為用戶帶來最有形的價值。他們從基礎(安全)開始,最初關注可擴展性(代幣轉移)的基礎,然後是可編程性(智能合約),最後是隱私。zkSync 的主要特點包括:極低的交易費用、加密安全、用戶控制以及無需許可的智能合約。
zkSync 已經開放測試網,計劃在11 月發布zkSync 公共網(原定於2023 年發布),在所有zkEVM 項目中開發進度最快。
二級標題
二級標題
二級標題
StarkNet:專注ZK

StarkNet 是一種無需許可的去中心化Validity-Rollup(也稱為“ZK-Rollup”)。它作為以太坊上L2 網絡運行,使任何dApp 能夠實現其計算的無限規模,而不會影響以太坊的可組合性和安全性,因為StarkNet 建立在最安全和最具可擴展性的加密證明系統STARK 之上。
截止目前,StarkWare (StarkNet 背後團隊)已經完成6 輪融資,共計2.73 億美元。尤其是最近一輪融資,融資金額達到1 億美元,使其估值直接翻了兩番,達到80 億,是所有L2 項目中估值最高的。 Vitalik是他們種子輪投資者,此外,投資方名單中還包括Paradigm 、紅杉資本、Pantera Capital 、Founders Fund 等多輪投資者。
StarkWare 主要由世界頂級密碼學家構成,如Eli Ben-Sasson,他聯合發明了目前最主流的兩種零知識證明系統ZK-SNARKs、ZK-STARK;Alessandro Chiesa,也是ZK-SNARKs 的聯合發明者, Zcash 聯合創始人。包括zkSync、Scroll、Hermez 在內的多個行業頭部zkEVM 項目在項目中構建的零知識證明系統都用到了ZK-SNARKs、ZK-STARK這兩種系統。在進展方面,關於開發語言,StarkNet 網絡上專有的Cairo 語言具有非常突出的優勢:除了支持零知識證明系統,它還將程序的執行減少到幾組多項式方程組,專門編寫可證明的程序。這些特點使得Cairo 的開發者可以將業務邏輯(business logic)從智能合約抽像到鏈外執行環境中,支持編寫那些成本巨大、重執行的app,同時保留了以太坊的安全和結算保證,不受gas 和Layer1 的限制。去中心化治理提案關於代幣與治理,StarkNet 提出了。
去中心化治理提案
併計劃在下半年發幣,推動二層節點去中心化運營,相關資料推薦看看
《StarkNet 發幣如何改變L2行業格局》
《zkSync vs. StarkWare - 頂尖的兩個ZK Rollup 到底有何區別? 》——Tokeninsight
《zkSync vs. Starkware》——Yilun Zhang
二級標題

二級標題
二級標題
圖片描述
圖片描述

圖片來源:
進展方面,7 月7 日,Aztec 在主網上推出隱私DeFi Aztec Connect——一套包括橋接合約和SDK 的隱私開發工具,以支持用戶在以太坊上使用隱私DeFi 應用。

圖片描述https://medium.com/aztec-protocol圖片描述
圖片描述
據官方,Aztec 預計在下半年推出Aztec 3 和隱私編程語言Noir,對Solidity 的轉譯器暫無規劃,也沒有兼容以太坊的虛擬機,EVM 兼容進展較其他項目較為落後。
二級標題

二級標題
二級標題
Loopring:自建生態
Loopring 是第一個基於以太坊的、專注DeFi 應用的ZKR,與其他將自己打造為孵化平台的L2(匯總)不同,Loopring 專注於在第2 層上構建自己的產品和功能。
融資方面,Loopring 在2017 年通過ICO 的方式籌款4500 萬美元。
與其他公共網絡不同,外部開發者無法在Loopring 上構建自己的通用協議或者產品,只能調用loopring 的API。而且由於Loorping 專注於自己構建產品,Loopring protocol 不僅僅是一個網絡,它是一個集體,它包含以下四個部分:
Loopring 錢包,是一款以太坊智能合約錢包——一款具有社交恢復、其他安全功能並內置Loopring L2 的移動錢包應用程序。

圖片描述
圖片描述
但截至完稿日,在
但截至完稿日,在官方網站官方網站


