zk-rollup 爭奪戰：zkSync vs. StarkWare_ARK:STAR

就這么說zk-rollup將大獲成功，顯得過于輕描淡寫了。有兩個項目已經研究這項技術多年了，它們大放異彩的時刻即將來臨。這其中會有什么機會？它們之間有什么不同？什么時候發布代幣？這是一條對@zksync和@StarkWareLtd進行比較的推文：

事先聲明，這是一個如此大的話題，我正在盡力掌握這些知識。但我可能會走一些捷徑，或在解釋時會犯一些錯誤，請隨時在評論中糾正我的錯誤，讓這篇推文更加精確。

目前已經有大量詳細的資源解釋了什么是zk-rollup以及它與optimisticrollup的區別。所以在本文中，我主要關注zk-rollup背后的基本直覺原因以及零知識證明擴容解決方案賽道中兩個主要玩家之間的區別，即@zksync和?@StarkWareLtd。

直覺原因：以太坊就是我們所說的“單一型”(monolithic)區塊鏈。因為共識、執行和數據可用性都發生在以太坊區塊鏈上。這是不可持續的(因為這意味著所有節點必須執行這三個功能)，這也是為什么單一型的以太坊區塊鏈無法擴展的原因。

想要實現擴容，以太坊必須向“模塊化”(modular)的區塊鏈發展。這意味著只將區塊鏈用于其最擅長的領域：共識，并將執行和數據可用性(dataavailability,DA)的工作外包給鏈下。

但是，我們應該如何在保證其繼承L1安全性的同時將執行和數據可用性的工作轉移？通過zk-rollup，成千上萬的交易被打包成一個單一的、數學上可驗證的zk證明，并且只有這個證明被存儲在鏈上。

現在我們來比較一下@zksync和@StarkWareLtd。我會盡可能使用簡潔的語言，并從這幾個角度進行比較：團隊及成立初期、技術、數據可用性、融資和背后的支持者、當前產品和路線圖、個人的看法和我們的機會。

團隊和成立初期

StarkWare團隊成立于2018年5月。其團隊由世界級的密碼學家和科學家組成。核心成員是Zcash的前首席科學家，多年來在零知識領域開拓創新。他們發布了許多學術論文，并正將其實現成現實產品Starknet。

Vitalik：跨鏈證明是實現跨鏈社交恢復錢包的關鍵，ZK-SNARK等是可行選擇:6月20日消息，以太坊聯合創始人VitalikButerin在最新文章《更深入探討錢包和其他用例的跨L2讀取》中指出，實現跨鏈社交恢復錢包的一個可行方案是維護一個存放在特定位置的密鑰庫，以及多個不同位置的錢包，這些錢包可以讀取密鑰庫來更新自身的驗證密鑰視圖或在每次交易驗證過程中。跨鏈證明是實現這個功能的關鍵，需要對其進行深度優化，可能的方案包括零知識證明（ZK-SNARK）、等待Verkle證明或自定義KZG解決方案。

從長遠看，我們需要實現聚合協議，通過生成聚合證明來打包所有用戶提交的操作，以此來降低成本。這可能需要將其集成到ERC-4337生態系統中，可能需要對ERC-4337進行一些修改。同時，為了減少從L2內部讀取L1狀態的延遲，L2應被優化。

錢包不只可以放在L2上，也可以放在與以太坊連接程度較低的系統上，如L3或只同意包含以太坊狀態根的獨立鏈。然而，密鑰庫應放在L1或高安全性的ZK-rollupL2上。盡管這樣會增加復雜性，但從長期來看，可能在L2上設置密鑰庫才是成本更低的方案。在這個過程中，我們也需要致力于提供保護隱私的解決方案，并確保我們的方案可以與隱私保護方案兼容。[2023/6/21 21:50:47]

另一個就是@zksync，其團隊MatterLabs成立于2019年12月，AlexG.作為其聯合創始人。我無法找到更多關于其團隊成員背后的信息，但ZkSync2.0帶來的技術突破說明了這一點：他們有跨行業者的氣質，并且辦事效率高。

技術

這兩個項目都有一個類似的架構。會有一個rollup智能合約插入到以太坊區塊鏈中，用來存儲L2狀態轉換的zk證明。此外，會有兩種數據存儲方式可選，為網絡提供動力。

證明者(prover)：負責繁重工作的少量節點。他們負責計算所有交易，并將其聚合成簡潔的zk證明。他們在專門的硬件上運行(可以認為是黑匣子)。我們所知道的是，從數學層面上他們無法偽造假的zk證明。

V神：以太坊不需要為Layer 1使用單一的ZK-EVM實現進行標準化:金色財經報道，以太坊創始人Vitalik Buterin發文解釋了“不同類型的ZK-EVM和類似ZK-EVM的項目，以及它們之間的權衡”。V神例舉了描述了多個EVM等價的不同“類型”的分類，以及嘗試實現每種類型的好處和成本。

V神總結稱，就我個人而言，我希望隨著時間的推移，通過ZK-EVM的改進和以太坊本身的改進相結合，使其對ZK-SNARK更加友好，一切都將成為Type1。在這樣的未來，我們將有多個ZK-EVM實現，它們既可以用于ZK匯總，也可以用于驗證以太坊鏈本身。

從理論上講，以太坊不需要為Layer1使用單一的ZK-EVM實現進行標準化；不同的客戶可以使用不同的證明，因此我們繼續從代碼冗余中受益。但是，要實現這樣的未來，還需要相當長的時間。與此同時，我們將在擴展以太坊和基于以太坊的ZK-rollup的不同路徑中看到許多創新。[2022/8/4 12:02:16]

驗證者(validator)：負責抗審查的大量節點。他們驗證prover所提交的證明的有效性。每個人都可以運行這類節點，且不需要特定的硬件。

此外，這兩個項目都不得不競相克服一個主要的技術問題，即創建一個通用的zk證明系統。誰能提供一個最佳的解決方案，誰就是這個賽道的王者。因為直到現在所有的zk電路都是專用集成電路，即根據不同的應用實現不同的zk電路。這意味著每個應用都有一個zk-rollup，而且不兼容EVM。大家猜怎么著，@zksync和@StarkWareLtd都做到了，但使用了不同的技術。

StarkWare:他們使用基于STARKs證明的密碼學技術。這項技術由StarkWare團隊發明，與SNARKs證明(zkSync使用的技術)相比有兩個主要優勢：

"T"指的是"transparent"(透明的)，這意味著系統運行無需信任設置；

生成STARKs證明的速度比SNARKs的快10倍。

跨鏈DEX zkLink宣布在Solana上成功實現Groth16zk-SNARK證明系統:3月25日消息，跨鏈DEX zkLink宣布在Solana上成功實現了Groth16zk-SNARK證明系統。zkLink是一個基于ZK-Rollup技術的跨鏈交易平臺，旨在鏈接多鏈，聚合不同生態的流動性。現訂單簿模式的DEX Demo已上線測試網進行測試。[2022/3/25 14:17:51]

STARKs的問題在于其技術不如SNARKs成熟，并且如果它實現了圖靈完備，就很難與EVM兼容。StarkWare創建了一種特定的編程語言Cairo來運行由STARKs支持的自主型程序。但由于現在很少人愿意去學一門新的編程語言來執行智能合約，StarkWare團隊現在正與Nethermind團隊合作創建代碼轉譯器Warp，來講Solidity智能合約無縫轉換為Cairo，以便使其與EVM兼容。

zkSync使用基于SNARKs證明(尤其是PLONK)的zk系統。因此，該系統的整個安全性依賴于2019年秋天推出的一套信任設置(Multi-partyComputationCeremony)。其中涉及許多知名的加密圈內人，包括VitalikButerin。

至少有一個參與者是誠實的，那么這個系統才可以被證明是安全的。所以我不認為“可信設置”可以用來反駁zkSync的SNARKs比STARKs慢這一論點，盡管zkSync團隊做了許多優化。但zkSync系統實現EVM兼容的方式要比STARKs的要自然。事實上，智能合約(幾乎)可以由zkSync編譯器逐一轉換操作碼，這使得Solidity成為zkSync的”一等公民“。所以不需要一個中介語言或者專門的轉譯器。

數據可用性(DA)

zk-rollup將交易計算的壓力從L1中移除，允許以太坊擴容到最高2000-3000tps。這聽起來很棒，但還是不夠。在"只提供rollup"的方案下，DA的壓力仍然留在L1上，并且交易數據通過calldata寫入L1中。

Plasm Network已收到Web3基金會捐贈支持在Polkadot上部署ZK-Rollups:12月4日，波卡二層擴容協議Plasm Network官方宣布，團隊已收到Web3基金會的一筆公開捐贈，以用于在Polkadot上部署ZK-Rollups解決方案。[2020/12/4 13:59:17]

DA非常重要，有了它，用戶才能在Etherscan上看到自己的交易發生了什么。而如果沒有DA，用戶交易的執行就變成一個黑匣子。如果用戶更傾向于選擇便宜的交易費，而不需要可以直接在L1上追蹤交易的功能，這也沒問題。也就是說，必須給用戶提供選擇。

用戶要么選擇把其交易數據寫在L1上，但手續費會高一點；要么選擇尤其便宜的手續費，但需要信任L2上的一些實體來保證交易的數據可用性。這樣，L1存儲DA的壓力就沒了，zk-rollup可以擴容到2萬-3萬TPS。

StarkWare：通過Volition系統解決DA問題。Volition允許終端用戶每筆交易都可以在rollup方案(鏈上數據可用性)和validium方案(鏈下數據可用性)之間選擇。

在validium方案中，鏈下DA由一個中心化的"數據可用性委員會"(dataavailabilitycommittee,DAC)提供安全保證，而DAC由一些有聲望的加密實體組成。這聽起來確實很中心化，但是...這是一個供用戶自愿選擇的折衷方案，以滿足其對于超低交易費的需求。

而zkSync解決DA問題的用例是zkPorter。這是一個分片基礎設施，與zkSync的zk-rollup方案無縫且平行運作。將zkSyncrollup想象為保證鏈上DA的分片0。然后每個其他分片都可以選擇不同的DA策略和將交易數據存儲于鏈下。

聲音 | V神質疑Zcash ZK-SNARK技術:Zcash正式實施硬分叉升級后，以太坊創始人V神表對其ZK-SNARK 技術提出了一項問題：“如果有人破解了ZK-SNARK方案，并發行一些新的代幣怎么解決？”他認為“1、如果有N枚代幣進入Zcash的地址池內，將會有N枚流出，每個人交易的代幣比例都是1:1，除了最后一個；2、如果有 N枚代幣進入，但其中有C枚假幣，流出的代幣量依然是N枚，那么每個人提出的代幣量實際上是N/(N+C)枚；3、這樣一來就有C枚假幣被發行了，這將有可能導致擠兌風險。在這種攻擊嚴重的情況下，Zcash將有可能不得不放棄2100萬枚代幣總量的限制。”[2018/6/27]

StarkWare的Volition和zkSync的zkPorter之間的主要區別是：Volition方案中用戶可以基于每一筆交易選擇數據存儲方式，而zkPorter方案中用戶基于每一個賬戶選擇交易結算方式(zkPorter賬戶只能通過鏈下DA方式產生交易)。另外，zkPorter的鏈下DA系統更加去中心化，因為其DA由zkSync原生代幣激勵的”守衛者網絡“(Guardian)提供安全保障，而不是一個中心化的”DAC“。

融資和背后的支持者

StarkWare：

2018年5月進行的價值600萬美元的種子輪(Pantera/Naval/Vitalik)

2018年10月進行的價值3000萬美元的A輪融資(Paradigm/Sequoia/CbVentures)

2021年3月進行的價值7500萬美元的B輪融資(Paradigm/3AC/Alameda)

2021年11月進行的價值5000萬美元的C輪融資(Paradigm/3AC/Alameda)

目前為止，StarkWare估值20億美元。這是一個世界級的融資水平，有許多著名投資者。一些大亨和以太坊基金會的成員都有參與。Vitalik自己就審查了StarkWare發布的大部分文章。這怎么可能失敗呢？

zkSync：

2021年3月進行的價值600萬的A輪融資(Binance/CbVentures/AAVE/Balancer/Curve)

2021年11月進行的價值5000萬的B輪融資(Horowitz/Placeholder/Crypto.com等等)

和StarkWare相比，沒有那么多著名的投資者，并且看起來像一個大型的Defi/CEX加密家庭融資。我們認得每一個項目，并且他們聯合起來也很好。很重要的一點是，zk-rollup的成功將在很大程度上依賴于DeFi協議的加入和與CEX的直接集成。

所以我對zkSync生態系統的快速集合很看好。

當前產品和路線圖

StarkWare的演化讓人感到驚嘆，因為他們堅持不懈地將其頂級的密碼學論文變為現實的創新。他們的路線圖如下圖：

他們首先推出StarEx，我認為這相當于他們路線圖中的“行星”(Planets)階段，并允許創建由Cairo和STARKs提供支持的需許可的、應用專用型的zk-rollup。如果讀者還搞不清楚，想一下dydx、Immutable、Deversifi等。因為它們是由StarkEx的在產版本支持的3個主要應用。到目前為止，StarkEx已經通過這些應用處理了超過500萬筆交易，價值超過2500億美元。StarkEx的效率現已得到證實，并且StarkWare迅速向路線圖中的“星群”(Constellations)階段發展。

在2021年11月29日，他們發布了StarkNet的主網Alpha版本。StarkNet是我們所期待的無需許可、多應用的通用型zk-rollup。起初，StarkNet將由一個中心化的證明者驅動，應用程序將需要申請白名單按順序部署，像Optimism一樣。因此，他們的計劃是發展生態系統，并逐步將StarkNet去中心化以實現路線圖中的“宇宙”(Universe)階段。

zkSync的路線圖可以總結為下圖4個步驟。第一階段對應于2020年6月推出的zkSync1.0，大致相當于一個沒有智能合約集成的zk-rollup。用戶可以發送和接收代幣，盡管缺乏可組合性，但有前景的項目已經部署在1.0版本上了。所有參數都表示大家對zkSync1.0的興趣呈指數級增長。

路線圖的第二階段隨著zkSync2.0在主網上線而開啟，它包含了我們所期待的一切：完全兼容EVM的zk-rollup并且具有智能合約可組合性。ZkSync2.0最初計劃于8月在主網上推出，但由于一些技術難題而推遲了。那些難題現在正在測試網上得到解決，10月份zkSync宣布了其最近完成的一些技術細節和部署了一個類似AMM的測試網(uniswap)來驗證其EVM兼容性。MatterLabs為確保LLVM/Solidity兼容性而延遲發布，起初可能令人沮喪。但它將幫助每一個以太坊工具和依賴在zkSync2.0實現本地集成。

個人的看法和我們的機會

StarkWare確實讓人眼前一亮。這是我近期看到的最有前途的基礎設施項目。它具有明星團隊、世界級創新和頂級的資方陣容。還有就是，他們的目標不僅僅是創建一個zk-rollup，他們正考慮所有問題。我在上文談了Cairo和Warp。但他們也正努力通過Veedo為以太坊帶來真正的隨機性、通過條件式交易實現L1和L2的通信、batch-long閃電貸和其他天才級的技術。他們通過“分布式AMM”來解決L1和L2之間的流動性碎片化問題的想法讓人激動不已。他們看到了更加全局性的問題。

參考文章：

https://medium.com/starkware/damm-decentralized-amm-59b329fb4cc3

目前我發現StarkWare的唯一技術問題就是通過Warp轉譯器集成Solidity。StarkNet首先針對Cairo進行了優化，在此基礎上加入了Solidity轉譯器。我并不是一個搞技術的人，但我擔心“Solidity轉譯”不會那么方便，可能會對一些智能合約造成兼容性問題。其他問題有：對于我們普通用戶來說，它帶來了什么機會？StarkWare已經估值20億美元了，并且還沒有公平發布代幣的計劃。

另一方面，我很欣賞zkSync把社區放在第一位并且強調Solidity作為第一公民。他們整個技術依賴于EVM開發體驗，沒有任何取舍，這方面可能會讓他們獲得大量采用。

zkSync也與當前的DeFi/CEX市場深深地融合，這對未來的協議入駐和采用很有幫助。關于我們從中獲得的機會，zkSync已經宣布會選擇發布原生代幣，他們將在未來某個時候進行公平發布或可能會空投。這對社區來說當然是好事，但我感覺zk-rollup的原生代幣會被過度消費，因為每個人都在等著...我也期待StarkWare在”Universe“階段推出原生代幣，因為他們需要對網絡進行去中心化，并給證明者提供激勵。總之，我的觀點是，在zk-rollup方面，最令人印象深刻的是StarkWare。但zkSync具有草根社區/開源的氛圍，這對我更具吸引力。

最后一點個人說明：就機會而言，也許我們應該把注意力從rollup的原生代幣轉移到將在這些rollup上找到用戶群體的新興項目。以太坊是一個范式轉變，那些試圖在鏈上復制訂單簿模式的項目很快就被更適合這個新環境的AMM環境所取代。同樣地，zk-rollup也是以太坊的范式轉變，也許(只是也許)在rollup上復制AMM模式也是一個弱智的想法。也許鎖倉量不會成為rollup上的一個重要指標。也許CLOBs又是值得考慮的東西...

這些都是一些脫口而來的想法，但我想表達的是，也許最好的機會在于利用rollup做L1上不可能完成的事情，而不在于復制L1上已存在的東西。

來源|@dareal_sisyphe

作者|Supercycled

Tags：ARKSTARSTASTARKStarkMetaSatelStarSTAC價格starknet幣價分析

火幣下載