ARK:有關zkEVM，你需要知道的一切（二）_STAR

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。

北京：支持有關協會圍繞區塊鏈等優勢產業領域組建產業聯盟:金色財經報道，北京市商務局、北京市發展和改革委員會、北京市財政局聯合制定《關于北京市專業服務業助力“走出去”發展若干措施》，其中提出支持有關協會圍繞大數據、人工智能、生物醫藥、智能制造、數字安防、電子商務、區塊鏈等優勢產業領域及會計、法律、廣告、人力資源等專業服務重點領域組建產業聯盟，加強企業間交流，推動北京境外產業集群化發展，引導企業集約式、鏈條式“拼船出海”。[2021/11/24 7:07:42]

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

MakerDAO發起有關批準1月治理周期捆綁建議的執行投票:據官方博客消息，1月25日，治理促進者和Maker Foundation智能合約團隊已將一項執行投票納入投票系統，已決定是否批準1月治理周期捆綁建議。具體包括：1.MIP30，CropJoin將變為已接受狀態 ；2.MIP13c3-SP7，治理通信將進入接受狀態；3.MIP7c3-SP5，域團隊入職（??風險域團隊）將進入接受狀態，Sébastien Derivaux將作為風險域團隊促進者加入；4.MIP7c3-SP6，域團隊入職（??智能合約域團隊）將進入接受狀態，Sam MacPherson將作為智能合約域團隊協調員加入。5.MIP28c7-SP2，運營支持域促進者入職的子提議將變為接受狀態，JuanJuan將被任命為業務支持協調人。[2021/1/26 13:29:52]

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

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

MakerDAO發起有關增加YFI-A債務上限等投票:金色財經報道，據官方博客消息，治理促進者和Maker Foundation智能合約團隊已將兩項執行投票納入投票系統：1.將YFI-A債務上限從700萬枚DAI增至2000萬枚DAI；2.將所有Vault庫的Dust參數從100枚DAI增加到500枚DAI。[2020/11/21 21:33:39]

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：行業老兵

動態 | 桑坦德銀行英國分行暫停提供Coinbase存款業務 或與欺詐行為增多有關:桑坦德銀行英國分行（Santander UK）暫停向用戶提供與加密貨幣交易所 Coinbase 相關的部分服務，用戶暫時無法向 Coinbase 賬戶內進行存款。Santander 英國分行做出該決定或與 Coinbase 上最近出現欺詐行為增多有關。

據了解，幾天前 Coinbase 宣布，某些員工收到了一封電子郵件，郵件內發送了一些鏈接，一旦打開，「就會安裝能夠接管某人電腦的惡意軟件」。該交易所稱這是一次復雜、針對性強、經過深思熟慮的攻擊，可能會使用復雜的黑客手段進入 Coinbase 的系統，偷走他們所擁有的價值數十億美元的數字資產。對于該攻擊 Coinbase 已經迅速做出反應，包括升級系統以及增強保護等。截止發稿時，Coinbase 與桑坦德銀行英國分行均未就暫停用戶存取款一事發出正式公告。（區塊律動）[2019/8/15]

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

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

突發 | 何一辟謠：市場流傳一份幣安股權轉讓的材料和幣安沒有關聯: 幣安何一發微博辟謠稱，市場流傳一份幣安股權轉讓的材料，和幣安沒有關聯，請投資者自行甄別。[2018/6/26]

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：ARKSTASTARKSTARSparksterethicalstandardsSTARK價格Ystar Farming

火必交易所