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

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。

報告：四月份38%的鏈上交易與游戲有關:金色財經報道，數據公司DappRadar在一份四月份市場數據報告中表示，區塊鏈游戲繼續占所有鏈上交易的很大一部分，4月份38%的加密貨幣鏈上交易與游戲有關，盡管與上個月相比，每日活躍錢包減少了10%（約672,000個）。報告表示，Splinterlands和Alien Worlds所在的區塊鏈WAX繼續占據榜首，但以太坊側鏈網絡Polygon可能會爭奪它的寶座。根據報告，Polygon是第二受歡迎的游戲區塊鏈。DappRadar報告稱，以太坊擴展解決方案Arbitrum在4月份的用戶數量也出現激增，與上個月相比增長了118%以上，而Immutable X增長了約9%。[2023/5/12 14:58:21]

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”的爭論。

俄羅斯憲法法院預計將面臨與加密貨幣有關的案件:金色財經報道，俄羅斯聯邦憲法法院院長最近表示，該法院將不得不越來越多地處理涉及新型個人權利的案件。該官員認為，其中一些將與加密貨幣和區塊鏈技術有關。俄羅斯憲法法院主席Valery Zorkin承認，就保護人權而言，憲法司法將越來越受到新一代權利出現的影響。這些是各種權利，包括環境權、生殖權和信息權。認識到這一點后，這位俄羅斯司法機構的高級代表指出，在不久的將來，憲法法院在審查向該機構提出的申訴時，將不得不考慮這些源于科技革命的個人新權利。（news.bitcoin）[2021/10/31 6:22:38]

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

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

比特幣中國聲明：公司與BTCC沒有關系 楊林科無權代表BTCC和ZG.COM:針對市場上傳播的一些不實信息，比特幣中國官方發布聲明稱：1.關于比特幣中國（BTCChina）與BTCC。二者名稱盡管相似，但股東結構、主體完全不同。2018年年初，BTCC即被一家香港投資公司所全資收購，比特幣中國(BTCChina) 與BTCC無任何隸屬關系，也沒有任何股權關系。楊林科先生不是BTCC的員工，也沒有擔任BTCC的管理層、董事，且不是直接或間接股東及最終受益人，楊林科先生的各類行為均不能代表BTCC，也無權代表BTCC。

2.關于比特幣中國（BTCChina）與ZG.COM。比特幣中國公司與ZG.COM公司是投資關系，ZG.COM是由CKong先生創辦，在美國、新加坡、愛沙尼亞、塞舌爾等地有注冊備案的完全獨立經營的公司。楊林科本人不是ZG.COM的員工，也沒有擔任ZG.COM的管理層、董事，且不是ZG.COM的股東。楊林科先生的各類行為均不能代表ZG.COM，也無權代表ZG.COM。

聲明還指出，近期，部分公眾號在網上散布關于比特幣中國的不實言論，并且對比特幣中國的商譽進行惡意詆毀，已經造成了惡劣的社會影響，我們強烈譴責這種惡意抹黑損害個人及公司形象的不良行為，我司將保留追究其法律責任的權利[2020/7/12]

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

華科大博士一篇有關區塊鏈的論文被IEEE ICDCS 2018錄用:近日，國際學術會議The 38th IEEE International Conference on Distributed Computing Systems (ICDCS 2018)錄用結果揭曉，華中科技大學實驗室有4篇論文被錄用。其中一篇是戴小海的論文“Towards A Novel Architecture for Enabling Interoperability Amongst Multiple Blockchains”主要研究區塊鏈的跨鏈交互問題。據悉，ICDCS是分布式計算與系統領域享有盛譽和重要影響力的頂級國際學術會議，本屆ICDCS在全球378篇投稿中錄用78篇論文，錄用率僅約20%。[2018/4/26]

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

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

印度最大的稅務申報平臺正在幫助投資者提交有關比特幣收益的文件:主流加密貨幣交易所Zebpay和稅務申報平臺Cleartax的新合作伙伴計劃旨在幫助加密貨幣投資者申報他們的加密貨幣利得稅收。由于印度當局在加密貨幣領域模糊的監管態度，加密貨幣在印度法律界定不明,但是印度稅收當局對于加密貨幣利得收稅一事卻規定的很清楚。[2018/3/28]

目前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這兩種系統。

在去年和今年上半年，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：ARKSTA以太坊STARKark幣最新消息Future Star Coin以太坊交易軟件StarkMeta

Gate交易所