ARK:zk-rollup 爭奪戰：zkSync vs. StarkWare_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。

鏈游Abyss World將基于Polygon zk-EVM構建游戲:6月28日消息，鏈游Abyss World發推稱，將基于Polygon zk-EVM來構建游戲，這將使Abyss World中的智能合約執行更高效，并能夠處理更多的用戶交互。

Abyss World稱，希望雙方合作能夠釋放出Web3游戲創造力的全部潛力。[2023/6/28 22:06:23]

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

技術

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

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

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

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

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

歐易OKX通過zk-STARK技術升級POR系統:據公告顯示，歐易OKX正式升級儲備金證明POR系統，成為行業內首個將zk-STARK (零知識可擴展的透明知識論證)加密證明技術用在儲備金證明系統的交易平臺，并同步將系統開源。該技術由V神的理論發展而來，旨在通過區塊鏈確保計算的完整性和隱私。OKX在其中加入了余額總和約束、非負約束、包含性約束3項條件，以保證證明平臺持有的用戶資產數據的準確有效，持續引領行業透明度的標準。

同時，歐易OKX今日正式發布第六次儲備金證明（PoR），BTC、ETH、USDT儲備金率均超過100%，分別為103%、103%、103%，總計價值達104億美元，自 2023 年 1 月以來增長了 39%。除原有的BTC、ETH、USDT外，歐易OKX將公示幣種數量從3個增至21個，新增USDC、XRP、DOGE、SOL、OKB、APT、DASH、DOT、ELF、EOS、ETC、FIL、LINK、OKT、PEOPLE、TON、TRX、UNI，21個幣種的儲備金率均超過100%。[2023/4/28 14:33:21]

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

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

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

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

Taiko 已上線 ZK-EVM alpha-2 測試網:3月23日消息，基于 zkRollup 的以太坊二層網絡 Taiko 已上線 ZK-EVM alpha-2 測試網“Askja”，向所有開發人員開放以部署智能合約，部分集成了 ZKP 有效性證明，證明者現在無需許可即可生成證明，此外還啟用協議經濟學，對證明者進行真實獎勵以補償他們的資源消耗，對應的 L1 是以太坊測試網 Sepolia，并部署 Uniswap V2 分叉以支持兌換。[2023/3/23 13:21:25]

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

數據可用性(DA)

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

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

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

波卡二層擴容協議Plasm開始研究ZK-Rollups 并計劃于Q4公布相關信息:10月13日，波卡二層擴容協議Plasm發推公布項目周報。周報顯示，Plasm Network計劃將實現Rollup解決方案，并已開始著手研究ZK-Rollups。官方表示，這方面的信息應該將在2020年第四季度公布。此外，周報還提到，Plasm已集成以太坊虛擬機EVM并升級至Substrate 2.0。[2020/10/13]

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

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

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

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

動態 | Matter Labs推出ZK-Sync測試網:據Coindesk消息，加密研究中心Matter Labs今日發布了ZK-Sync的測試網，計劃于2020年1月全面啟動。該公司稱這是朝著使區塊鏈與集中式系統競爭以每天處理數百萬筆交易邁出的一步。據悉，該測試網基于開源ZK Rollup，作為最被看好的擴容方案之一，該機制構想最早由V神提出，由第二層擴展解決方案使用零知識證明（也稱為zk SNARKs）和最近從伊斯坦布爾硬分叉對以太坊網絡的更改來實現。[2019/12/5]

融資和背后的支持者

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：ARKSTARSTASTARKAlpha Quark Tokenstarl幣團隊跑路了嗎STACK價格StarkMeta

Filecoin