有關zkEVM，你需要知道的一切（二）_ARK

TL,DR;

評價一個zkEVM項目的因素包括：證明時間、驗證時間、證明大小、CRS、SRS、可信設置、遞歸支持、密碼學假設、量子安全、兼容等級。Scroll發展時間最短，但符合EVM等效標準；PolygonHermez最快開源，但使用了不同于EVM“傳統”的新匯編代碼，存在中立的不確定性；zkSync計劃100天后推出公共網，開發進度最快；StarkNet堅持zkVM路線兼容前景有限；Aztec尚未完成Solidity語言兼容，EVM兼容進度落后；Loopring兼容進度遙遙無期，暫未提上日程。本文屬于《一文看懂zkEVM》系列的第二篇，上一篇文章介紹了zkEVM的基本知識，本篇文章將盤點行業中主流的zkEVM通用網絡。關于zkEVM的重要性不絕于耳，以V神為代表的行業領袖認為：從中長期來看，隨著ZK-SNARK技術的改進，ZKR將在所有用例中勝出。而zkEVM是ZKR項目兼容以太坊的技術，zkEVM項目即ZKR項目，本文用最近在推特上廣為討論的zkEVM代指ZKR項目。zkEVM項目的評價因素

在開始盤點具體項目之前，我們不可避免地會提出一個問題——評價zkEVM項目的因素有哪些？CTH集團的FundamentalLabs在《FLResearch|IncompleteGuidetoZK:WhyZKMatters?》這份ZK研報中提出了評價ZK項目的十個因素，它們分別是：證明時間、驗證時間、證明大小、CRS、SRS、可信設置、遞歸支持、密碼學假設、量子安全、兼容等級。這份研報還參考了《CommunityProposal:ABenchmarkingFrameworkfor(Zero-Knowledge)ProofSystems》該論文提出的零知識證明系統的基礎框架。但縱觀zkEVM賽道，除了PolygonHermez之外都沒有完全開源代碼，因此本文主要從項目簡介和EVM兼容進展兩個方面來盤點zkEVM項目，包括Scroll、PolygonHermez、zkSync、StarkNet、Aztec、Loopring。

Mantle Network社區投票通過有關“設立Mantle生態基金”提案:7月16日消息，Mantle Network發起的“MIP-24：Mantle生態基金”提案已獲社區投票通過。

據悉，該提案提議社區授權Mantle Treasury提供1億美元設立Mantle生態基金、成立Mantal生態基金投資委員會、以及來自Mantle Treasury的1000萬枚USDC首次募集資金。

此提案旨在通過Mantle生態基金與戰略風險合作伙伴的努力，在未來3年內在Mantle生態系統中籌集2億美元資金池。這2億美元資金池由Mantle Treasury和Strategy Venture Partners與Mantle生態基金共同投資時的外部匹配資本組成。

生態基金的主要目標是支持創始人與協議技術伙伴在Mantle生態內建設、推動Mantle Network在開發者和DApp中的采用、激勵戰略風險合作伙伴對Mantle生態的支持與投資等。[2023/7/16 10:58:25]

Scroll：行業黑馬

Scroll的目標是完全兼容EVM，讓以太坊上的智能合約可以直接復制到Scroll，無需修改代碼就可以兼容以太坊基礎設施。Scroll聯創YeZhang在21年3月的以太坊研究論壇ETHResearch上第一次提出了《IntroducingScroll,anewlayer2solution》初步介紹了Scroll作為一種新的Layer2解決方案的技術原理與未來路線。根據官方消息，Scroll已經與以太坊基金會PSE）小組合作一年多。融資方面，今年4月22日Scroll完成3000萬美元A輪融資，PolychainCapital領投，BainCapitalCrypto、RobotVentures、GeometryDAO等參投。以太坊基金會的YingTong和CarlosAria，以及以太坊社區的成員也參與了該輪融資。創始人Peng表示，該項目此前已經從天使投資人那里融資約300萬美元。7月20日，因為和PolygonHermez、zkSync接連官宣zkEVM測試網，推特上出現大量關于“誰是第一個zkEVM”的爭論。

數據：Voyager正從熱錢包中轉出代幣，或與重新開放提款有關:6月21日消息，據Lookonchain監測，Voyager正在從熱錢包中轉出代幣，或與重新向客戶開放提款有關。據此前消息，Voyager將在6月20日至7月5日期間重新向客戶開放，債權人在此期間可以提取約35%的加密貨幣。[2023/6/21 21:50:58]

YeZhang在推特上認為Scroll與PolygonHermez有一些不同。Scroll和PolygonHermez都在證明原生EVM字節碼執行方面取得了巨大進展。但是實現有很大不同。簡而言之，Scroll更接近以太坊的實現，PolygonHermez使用一組新的匯編代碼來表達每個操作碼，然后證明新匯編在他們自己定義的狀態機上的執行。因此，它們也可以實現“字節碼級別”的兼容性，但行為可能與EVM不同，PolygonHermez的方案更簡單且可能更高效，也有可能出現一些未知的情況。

目前開放測試網，測試網為邀請注冊制，主要功能包括：允許運行常用應用程序，例如Uniswap和Metamask；通過區塊瀏覽器查看Scroll測試網的狀態；運行節點，該節點支持無限制的讀取操作和用戶發起的交易；Rollers將為部分zkEVM電路生成和匯總有效性證明，以確保穩定發布。計劃下半年再次推出一次測試網，面向所有公眾，功能包括：允許開發人員部署智能合約；允許任何人運行歸檔Scroll節點；生成和聚合更多在鏈上驗證的zkEVM證明；在EVM兼容方面，根據官方文檔，Scroll已經實現了字節碼兼容EVM，及EVM操作碼的子集。PolygonHermez：最快開源

MakerDAO發起有關提高ETH債務上限的投票:金色財經報道，據官方消息，Maker Foundation智能合約團隊已將一項執行投票納入投票系統。根據MakerDAO風險小組最近進行的民意調查，該提案詢問是否應該將ETH的債務上限從3.4億提高到4.2億。如果該執行建議通過，ETH-A債務上限將從3.4億增加到4.2億。執行投票將繼續進行，直到投票數超過此前執行投票的總票數。[2020/8/19]

7月20日PolygonHermez官宣發布并開源第一個EVM等效的ZKL2。但與其他項目不同，PolygonHermez項目并不是Polygon獨立研發，而是Polygon通過收購并合并一個叫做Hermez的ZKR項目而來。根據Coindesk消息，2021年8月13日，Hermez團隊與項目被Polygon以2.5億美元的價格收購，Hermez以PolygonHermez的名義并入Polygon生態系統，并且兩個網絡進行了合并。這也是第一次一個區塊鏈網絡被完全合并到另一個區塊鏈網絡中。

關于PolygonHermez的EVM實現，YeZhang在推特上表示，“Polygon使用一組新的匯編代碼來表達每個操作碼，即人類可讀的字節碼翻譯，這可以讓代碼在EVM上的行為有所不同，可以實現“字節碼級別”的兼容性，但行為可能與EVM不同，PolygonHermez的方案更簡單且可能更高效，也有可能出現一些未知的情況。”目前代碼已經開源。官方稱其實現了EVM等效性，在開放測試網后，開發人員可以將任何以太坊智能合約無縫部署到PolygonHermez。計劃就在下半年推出公共測試網。zkSync：行業老兵

zkSync累計融資5800萬美元，Placeholder、1kx、DragonflyCapital全程參與3輪融資，聯合廣場風投和a16z參與了2輪。zkSync是MatterLabs于2019年開始構建的、以用戶為中心的免信任二層協議，以ZKP為核心技術，以安全、用戶體驗和開發者體驗為核心關注點。該項目傾向于增量協議開發，即按順序逐個引入功能，從而在每個步驟中為用戶帶來最有形的價值。他們從基礎開始，最初關注可擴展性的基礎，然后是可編程性，最后是隱私。zkSync的主要特點包括：極低的交易費用、加密安全、用戶控制以及無需許可的智能合約。

肯尼亞加密貨幣搜索中94.7%與比特幣有關:金色財經報道，由Blockchaincenter.net創建的新的交互式地圖顯示，到目前為止，各國加密貨幣搜索量最高的是比特幣，占80.8%。以太坊排名第二名，搜索量僅占13.7%。比特幣搜索量主導地位最高的國家是肯尼亞，該國94.7%的加密貨幣搜索與比特幣有關。其他非洲國家也進入了前十，尼日利亞(89.4%)和南非(89%)分別位列第五和第六。[2020/6/16]

目前zkSync上已經建立起豐富的生態，zkSync也是Gitcoin上的主要捐贈手段之一。據官方公告，zkSync目前已經完成了以太坊Solidity語言與zkSync開發語言Zinc的轉譯/轉譯器開發；并且實現了EVM字節碼層次的兼容，但暫未開源，尚不能驗證其真實性以及比較其EVM兼容實現方式與其他項目的差異。zkSync已經開放測試網，計劃在11月發布zkSync公共網，在所有zkEVM項目中開發進度最快。StarkNet：專注ZK

StarkNet是一種無需許可的去中心化Validity-Rollup。它作為以太坊上L2網絡運行，使任何dApp能夠實現其計算的無限規模，而不會影響以太坊的可組合性和安全性，因為StarkNet建立在最安全和最具可擴展性的加密證明系統STARK之上。截止目前，StarkWare已經完成6輪融資，共計2.73億美元。尤其是最近一輪融資，融資金額達到1億美元，使其估值直接翻了兩番，達到80億，是所有L2項目中估值最高的。Vitalik是他們種子輪投資者，此外，投資方名單中還包括Paradigm、紅杉資本、PanteraCapital、FoundersFund等多輪投資者。StarkWare主要由世界頂級密碼學家構成，如EliBen-Sasson，他聯合發明了目前最主流的兩種零知識證明系統ZK-SNARKs、ZK-STARK；AlessandroChiesa，也是ZK-SNARKs的聯合發明者，Zcash聯合創始人。包括zkSync、Scroll、Hermez在內的多個行業頭部zkEVM項目在項目中構建的零知識證明系統都用到了ZK-SNARKs、ZK-STARK這兩種系統。

ING經濟學家：從美元的角度來看，與Libra有關的匯款是棘手問題:ING經濟學家Carlo Cocuzzo在倫敦區塊鏈周會議上對Facebook的Libra計劃發表了看法，他稱，從美元的角度來看，與Libra有關的匯款是一個很棘手的問題。（CoinTelegraph）[2020/3/6]

在去年和今年上半年，StarkWare通過提供擴容技術解決方案StarkEx創立了擴容即服務的商業模式，建立應用專有網絡，服務業內頭部客戶dYdX、Sorare、ImmutableX、DeversiFi等。而目前隨著StarkNet網絡基礎設施不斷完善，StarkNet逐漸將業務重心轉移到通用網絡。在進展方面，關于開發語言，StarkNet網絡上專有的Cairo語言具有非常突出的優勢：除了支持零知識證明系統，它還將程序的執行減少到幾組多項式方程組，專門編寫可證明的程序。這些特點使得Cairo的開發者可以將業務邏輯從智能合約抽象到鏈外執行環境中，支持編寫那些成本巨大、重執行的app，同時保留了以太坊的安全和結算保證，不受gas和Layer1的限制。關于代幣與治理，StarkNet提出了去中心化治理提案并計劃在下半年發幣，推動二層節點去中心化運營，相關資料推薦看看《StarkNet發幣如何改變L2行業格局》。StarkNet由于專注于zkVM，從虛擬機的角度嚴格來看，StarkNet不屬于zkEVM類項目，但從EVM兼容的角度看，StarkNet對EVM的兼容層次停留在Solidity與Cairo語言的轉譯/轉譯器，由于zkVM與EVM兼容的復雜性與矛盾性，預計StarkNet未來不會再有EVM兼容進展。在Scroll和PolygonHermez出現之前，zkSync和StarkNet是被寄予厚望的唯二兩個zkEVM網絡。關鍵不同在于，zkSync致力于等效EVM，允許以太坊上的應用、資產、用戶無縫遷移zkSync上。而StarkNet的目標不是實現EVM等效，而是致力于開發ZK技術的潛力，通過幾乎無上限的性能擴容為未來的創新應用打造去中心網絡的基礎。行業中有非常多將這兩個ZKR“雙王”放在一起對比討論的文章，Odaily星球日報在此分享一些對比StarkNet和zkSync的精品文章/信息源：《zkSyncvs.StarkWare-頂尖的兩個ZKRollup到底有何區別？》——Tokeninsight《zkSyncvs.Starkware》——YilunZhangAztec：主打隱私

Aztec創立于2017年，最初是一個區塊鏈上的機構融資平臺。2019年9月15日，A.Capital、Coinbase、LibertusCapital參與其一輪投資。2021年12月16日，Aztec完成1700萬融資，Paradigm領投，投資者還包括A.Capital、EtherealVentures和LibertusCapital，以及VariantFund、Nascent、IMToken、ScalarCapital、DefiAlliance、IOSGVentures和ZKValidator，其它個人投資人還包括AnthonySassano、StaniKulechov、Bankless、DefiDad、MarianoConti和VitalikButerin。關于Aztec的隱私原理，與常見的加密賬戶不同，Aztec使用類似比特幣UTXO模型來加密交易，地址下的余額無論數量多少都被轉換為一張票據，當發生交易時候，只有雙方知道具體交易額，從而保護了隱私。

圖片來源：https://medium.com/aztec-protocol/fully-confidential-ethereum-transactions-aztec-networks-privacy-architecture-274f968b13d4舉個例子，當小明有兩張價值50ETH的銀票，總共100ETH，而小紅有0張鈔票，小明需要向小紅轉賬20個ETH。小明的兩張50ETH銀票需要銷毀，并創建了兩張新銀票：一張80ETH銀票留在小明手中，一張20ETH銀票轉給它的新所有者小紅。在這個過程中只有小紅和小明知道銀票的價值。進展方面，7月7日，Aztec在主網上推出隱私DeFiAztecConnect——一套包括橋接合約和SDK的隱私開發工具，以支持用戶在以太坊上使用隱私DeFi應用。

圖自：https://medium.com/aztec-protocolAztecConnect就像一個VPN：通過使用Aztec的匯總合約作為代理，用戶從Aztec網絡內與以太坊服務進行交互。AztecConnect像一個DeFiVPN，用戶可以將AztecConnect作為代理，通過AztecConnect與以太坊上的DeFi進行交互，使Aztec上的合約能夠和以太坊上的DeFi協議相互操作。據官方，Aztec預計在下半年推出Aztec3和隱私編程語言Noir，對Solidity的轉譯器暫無規劃，也沒有兼容以太坊的虛擬機，EVM兼容進展較其他項目較為落后。Loopring：自建生態

Loopring是第一個基于以太坊的、專注DeFi應用的ZKR，與其他將自己打造為孵化平臺的L2不同，Loopring專注于在第2層上構建自己的產品和功能。融資方面，Loopring在2017年通過ICO的方式籌款4500萬美元。與其他公共網絡不同，外部開發者無法在Loopring上構建自己的通用協議或者產品，只能調用loopring的API。而且由于Loorping專注于自己構建產品，Loopringprotocol不僅僅是一個網絡，它是一個集體，它包含以下四個部分：Loopring協議，是一個開源的以太坊zkRollup協議——用于安全擴展交換和支付的第2層。Loopring中繼器，是一個封閉源代碼的zkRollup中繼器——執行所有鏈下職責以進行zkRollup滾動。Loopring交易所，是一種非托管的以太坊交易所——一種基于AMM和訂單簿的高性能交易所，具有100%的以太坊安全保證。它還充當支付平臺。Loopring錢包，是一款以太坊智能合約錢包——一款具有社交恢復、其他安全功能并內置LoopringL2的移動錢包應用程序。

數據來源：https://l2beat.com/Loopring的TVL在所有L2項目中排名第四，在ZKR中排第二。進展方面，去年7月LoopringCTOSteveGuo透露正與以太坊來基金會聯合開發zkEVM。但截至完稿日，在官方網站上沒有看到Loopring一年來關于zkEVM的任何進展信息，盡管Loopring在L2中占據較大的TVL份額，但其EVM兼容進展遠落后于Scroll、PolygonHermez和zkSync。

Tags：ARKSTASTARKSTARNFTBlackmarketFilcoin Standard Full Hashrate TokenStark ChainStartupersCoin

XLM