萬一 Vitalik 錯了呢?是否我們都對 Layer2 的敘事產生了不切實際的期待?
作者: Jessie
編輯: penny
排版:海外獨角獸團隊
原用標題: StarkWare:以太坊擴容最佳團隊,80 億美元高估了嗎?
如果說上一個牛市最後的敘事是公鏈,那麼在本輪牛市最後的謝幕表演中,Layer2 尤其是 zk Rollups 是當之無愧的主角。
zk rollups 被業內公認為區塊鏈擴容的終極解決方案,而 StarkWare 則是公認的目前全球最好的 zk rollups 團隊之一,聯合創始人 Eli Ben-Sasson 是世界頂級的密碼學科學家,Uri Kolodny 則是具有成熟商業素養的連續創業者,團隊能力全面,長板超長。目前公司已經估值 80 億美元,獲得了 Vitalik、Paradigm、Sequioa 等資本的傾力支持,是擴容領域估值最高的團隊。
不同於 L2 領域普遍通過運營節點收費,StarkWare 通過提供擴容技術解決方案 StarkEx 創立了擴容即服務(scaling as a service)的商業模式,曾服務業內頭部客戶 dYdX、Sorare、ImmutableX、DeversiFi 等。值得一提的是,StarkEx 技術的支持直接促成了 Tiktok 和 ImmutableX 的合作,在其合作聲明中,Tiktok 特別提到:“StarkWare 是首個碳中和 Layer2 擴容方案。”
二層網絡 StarkNet 也正在開發測試中,有望將節點下放給社區運營,成為完全去中心化的版本。
然而,占到 StarkWare 90% 收入來源的 dYdX 在 6 月 22 日宣布離開 rollups,遷移到 Cosmos 生態開發獨立的應用鏈。dYdX 創始人 Antonio Juliano 曾公開表達目前人們對於 rollups 過於樂觀:“我們已經是 rollups 上最大的 dapp,非常了解它。儘管它有可能會是最終勝出的技術,但當下並不好用。” 這一事件直接影響了投資者對於 Layer2 的敘事信心,Layer2 的估值可能會整體下調。
儘管我們仍然相信 zkRollup 是區塊鏈擴容最終勝出的技術路線,但當下 StarkWare 80 億美元的估值顯得太高,我們認為在這個高賠率的賽道,應在早期佈局。
以下為本文目錄,建議結合要點進行針對性閱讀。
01. 看好 StarkWare 的邏輯
02. 背景
03. Starkware 是什麼
04. 客戶與生態
05. 市場競爭
06. 風險
07. 估值
08. 結論
01. 看好 StarkWare 的邏輯:
市場層面:
- 以太坊是最大的下一代 web3 平台。目前以太坊占到全部 Layer1 網絡 64.86% 的 TVL,我們認為以太坊將持續保持這種碾壓級的市場份額。
- “去中心化”、“安全”、“可擴展性” 是所有公鏈都必鬚麵對的 tradeoff,擴容是以太坊的最大挑戰。正是在以太坊暫時無法擴容的窗口期,誕生了一系列以 “擴容” 為主要目標的公鏈,但在去中心化和安全性上進行了妥協。這部分公鏈市值總和約為 370 億美元,我們認為,倘如以太坊的擴容問題解決,這部分的市值有可能面臨大幅縮水,更多的 dApp 將傾向於選擇以太坊生態。
- 長期來看 Layer1 只起到共識層和保證安全的作用,Layer2 將承擔所有運算,類似一個去中心化的雲計算服務商。假設去中心化的 “雲計算” 也會是一個和公有云同等重要的事,這裡蘊含的市場機會能達到千億美金。
競爭力層面:
- StarkWare 採用基於 STARK 的 zk rollups 技術,相比起 optimistic rollups,zk rollups 以其更快的提款時間帶來更好的用戶體驗,以太坊創始人 Vitalik 認為,長期來看,zk rollups 將會成為擴容領域的最大贏家。而 StarkWare 團隊具有最好的 zk rollups 技術,也是最主流的零知識證明技術 zk SNARK 和 zk -STARK 的發明者。
- StarkWare 已經證明了其突出的商業能力,目前 StarkEx 已服務 dYdX、ImmutableX、Sorare、DeversiFi 等客戶,總鎖倉量達到 10 億美元,處理交易量高達 1.73 億筆,累計交易額達到 6020 億美元,Minted NFT 價值超過 5620 萬美元。和 DeFi、NFT 頭部去中心化交易所達成合作,旗下產品 StarkEx 為 dYdX 節約了近 3 億美元的成本,獲得了 7200 美元的年收入。不過最近 dYdX 的出走在一定程度上說明實力強勁的頭部客戶可能會有自己開發擴容方案、自己捕獲底層協議價值的傾向。
- StarkWare 的社區建設相比起競爭對手顯得沒那麼強,但我們認為,這和 StarkWare 的階段性目標有關,STARK 技術開發週期長,暫時還無法達到完全去中心化版本,前期通過 StarkEx 產品為客戶提供技術服務,採用中心化的運作模式。目前,StarkWare 已經進入了完善去中心化的 StarkNet 階段,社區也在建設中。隨著技術的的成熟,任何人都可以自主在其之上部署合約,社區會將會發揮更大的作用、更加繁榮,儘管速度可能會比較慢。
團隊層面:
團隊專業技術能力突出,綜合素質全面。團隊核心人物 Eli 擔任團隊首席科學家,他曾是以色列理工學院的教授、世界上最傑出的密碼學專家之一,也是 zk STARK 的發明者;CEO Uri 是一個連續創業者,他具有敏銳的商業嗅覺和資本合作能力。目前公司估值 80 億美元,獲得了 Vitalik、Paradigm、Sequioa 等資本的傾力支持。
02. 背景
以太坊的擴容問題
以太坊是下一代 web3 平台。然而長期以來面臨的 “不可能三角” 問題,即在 “去中心化”、“安全性”、“可擴展性” 三個維度的 tradeoff,讓以太坊長期承受著無法擴容的擁堵和高昂的 gas 費。在以太坊被容量限制的窗口期,跑出了一系列以 “高擴容性” 著稱的公鏈,他們在 “去中心化” 和 “安全性” 方面進行了一定程度的妥協,隨著 NFT、GameFi 市場的火爆,這些公鏈吃掉了以太坊的一部分市場份額。
儘管如此,以太坊依舊佔有全部 Layer1 網絡 64.86% 的 TVL,比起排名第二的 BSC(7.78%)、第三的 Tron(5.68%)、第四的 Solana(3.56%),以太坊以其突出的安全性和去中心化,將長期保持絕對碾壓級的第一名優勢。
區塊鏈的大規模應用勢必要解決以太坊的擴容問題,因而產生了一系列圍繞以太坊擴容的解決方案。rollups 以其高安全性和可擴展性,被認為是所有擴容解決方案中最好的技術路線,也是 Layer2 最主流的解決方案。
最主流的技術路線 Rollup
首先,什麼是 Rollup?
Rollup 將多個交易 “卷” 起來打包,按批次向以太坊發送一個交易。交易的計算在鏈下完成,之後向主鏈發送一個證明和計算完成之後的數據狀態 calldata,這有點類似於參加數學考試時,將繁冗的計算過程都寫在草稿紙上,而只將正確答案寫在考卷上。通過一次驗證多個交易,極大地提高了效率,同時它繼承了以太坊的安全性,在不犧牲安全的情況下,tps 從當前的 15 提高到上百、上千。
作為考生,你當然可以信任自己草稿紙上的計算過程,但 L1 要如何信任獨立的 L2 呢?如何知道這些新的數據狀態是正確的呢?如果任何人都可以在沒有任何後果的情況下,提交任何數據,那麼他們就可以把 rollup 中的所有資產都轉給自己。為了解決這個問題,就產生了兩種基於不同的證明機制的 rollup。
按照證明機制的不同,Rollup 主要分為兩類:Optimistic Rollups 和 zk Rollups。
- Optimistic Rollups:使用欺詐證明(fraud proofs),Rollup 合約跟踪狀態根的整個歷史記錄和每個批次的哈希值。如果有人發現了某個批次具有不正確的新狀態根,他就可以發布一個證明到鏈上,證明這個批次計算錯誤。合約驗證該證明後,則恢復該批次。並對欺詐者進行處罰、對舉報者進行獎勵。
- zk Rollups:使用有效性證明(validity proofs),每個批次都包含了一個叫做 zk-SNARK 的密碼學證明,證明新狀態根是執行批次後的正確結果。無論計算量多大,這個證明都可以在鏈上快速驗證。
Rollup 中可能會出現的三種角色,我們也一併在此解釋:
Sequencer:Rollup 系統中的特權參與者,它們從用戶那裡收到交易,對它們排序並將交易的 Merkle 根(一種狀態表達形式)分批傳到 Layer1 上,提供數據可用性,類似於礦工的角色。
Prover:這一小部分的節點負責大量工作,需要計算所有的交易,並將它們聚合到一個簡潔的 zk proof 中。他們在特殊的硬件上運行,從數學層面無法偽造虛假的 zk 證明。
Verifier:驗證這些由 Prover 提交的 proof 的有效性,即對數據樣本進行抽查,以確保其提供了計算誠實性所需的所有的信息。每個人都可以運行這種節點,無需特定的硬件。
目前,Layer2 的 sequencer 都是項目方自己在運行,也因此常被詬病 sequencer 不夠去中心化。但未來有希望將這些節點運營都下放到社區,通過發行 token 來驅動生態發展,捕獲網絡價值。
儘管目前 optimistic rollups 佔據了市場的主流,但 zk rollups 仍然有 2 點突出的結構性優勢:
- 同時支持鏈上和鏈下數據模式的擴容,尤其是後者提供的吞吐量遠高於任何 rollup,而且費用低得多,而 optimistic rollups 的交易費用遠高於側鍊或其他的 Layer1
- 不需要欺詐證明,提款速度快,沒有延遲
Vitalik 曾在 An Incomplete Guide to Rollups(2021 年 1 月)一文中做出如下判斷:“短期內,optimistic rollups 會因為其 EVM 的兼容性勝出,zk rollups 更有可能在一些簡單的支付、交易之類的用例中勝出。在中長期來看,隨著 zk-SNARK 技術的改進,zk rollups 會贏得所有的用例。”
接下來,我們來詳細解釋一下 zk Rollup,即基於零知識證明的 rollup。零知識證明是密碼學概念,即一方(證明者)向另一方(檢驗者)證明某命題的方法,特點是過程中除 “該命題為真” 之事外,不洩露任何資訊。因此,可理解成 “零洩密證明”。zk 證明由 “verifier” 和 “prover” 組成,prover 從系統的輸入中創建證明,vefifier 確認 prover 已經上傳真實計算,而不需要重新再計算一遍。
用 StarkWare CEO Uri 的話來說:“它提供了無需信任的計算誠信(computational integrity),它是這樣一種能力—— 即便沒有人監督也能確信該計算被正確地執行。”(doing the right thing even when no one's watching)
目前市場上最主流的兩種生成零知識證明的證明系統分別是 ZK-SNARK 和 ZK-STARK。Zk SNARK 最早由以色列理工學院的 Eli Ben-Sasson 教授聯合發明,zk STARK 是同一團隊針對 zk SNARK 技術進行的改進。
ZK STARK 基於 ZK SNARK 的優越性主要體現在以下三個方面:
- 透明度(transparency):使用 zk-SNARK 必須進行強制性的初始信任設置,但這存在隱藏的風險,比如參與系統設置的各方遭到破壞,那麼破壞者就有能力創造虛假證明偽造交易,這是 SNARK 受到的最大質疑。而 zk-STARK 不需要外部的信任設置,它通過隨機公共驗證,防止任何一方破壞或修改參數。
- 擴展性(Scalability):ZK STARK 降低了算術複雜性,就生成證明的計算量而言,ZK STARK 比 ZK SNARK 快 8-10 倍,大大提高了擴展性。
- 抗量子攻擊的安全性:理論上,ZK STARK 使用抗衝突的哈希函數提高了抵禦量子攻擊的能力,但事實上,一旦量子計算機大規模使用,那麼基於密碼學的整個加密行業都將會造成巨大的衝擊。因此這一優勢我們不做過多贅述。
但 SNARKs 被採用的速度遠遠快於 STARKs。SNARKs 比 STARKs 早幾年被發現,最早期 Zcash 項目在開發者社區中普及了 SNARKs 的使用,相比起來,STARKs 缺乏開發者資源,開發者更加難以使用 STARKs。所以短期內零知識擴容領域 SNARKs 仍是主流,但我們相信基於 STARK 的 zk rollups 是解決以太坊擴容問題的最終勝出者。
3.StarkWare 是什麼
StarkWare 是 zk rollups 賽道內最好的公司之一,由前面提到的以色列理工學院的 Eli Ben-Sasson 教授(zk SNARK & zk STARK 的聯合發明者)聯合創立,它為區塊鏈行業提供基於 STARK 技術的解決方案。
產品與商業模式
該團隊目前開發了兩款產品:StarkEx & StarkNet,擁有兩種不同的商業模式:
- 出售定制化技術引擎服務 StarkEx,直接向有擴容需求的客戶收取服務費,本質上是定制化的 2B 服務。
- 打造去中心化的 Layer2 網絡 StarkNet,支持 dApp 自主部署,這部分的商業模式會和其他 Layer2 項目類似,可以向用戶收取 Layer2 的交易費用,也可以通過 sequencer 的拍賣機制獲取 MEV 的價值,還可以在未來發 token,用技術和資金孵化 StarkNet 項目,通過 tokenomics 驅動生態發展。
StarkWare 聯合創始人 Eli Sabasson 曾將 StarkEx 和 StarkNet 的區別比作為計算機和雲的區別,購買 StarkEx 就像擁有自己的定制化計算機,每個客戶都擁有自己的擴容計算機,並且只有該客戶可以使用自己的計算機。而 StarkNet 更接近以太坊本身,每個人都可以自主在網絡上部署合約。
自 2020 年 6 月以來,StarkWare 產品正式上線以來,通過 STARK 技術累計交易結算達 1000 億美元,處理了數千萬筆交易。第一代 STARK 解決方案批量打包單個 dapp 中的數千筆交易, 並用 1 個證明處理它們。現在的 STARK 將多個不同應用的批次打包到 1 個證明中。這相當於和別人拼車以提高效率。
StarkEx:擴容即服務(scaling as a service)
StarkEx 是一款 Layer2 擴展引擎,為 dApp 提供技術服務,可以將數十萬筆交易 “rollup” 成一個 80 KB 的證明—— 遠遠小於智能手機照片的大小。
不同於其他 rollups 大多通過運營節點來盈利,通過定制化的擴容服務獲取頭部客戶是 Starkware 在發展路徑上的一個特色。可能團隊認為在發展初期,健康的現金流和明確的客戶反饋更重要。也因為 Starkware 所採用的技術路線和語言在一開始很難讓開發者上手,所以定制化服務對客戶更友好,dYdX、ImmutableX 等客戶的擴容方案代碼都是 StarkWare 團隊幫忙寫的。
StarkEx 的工作原理
- 最左邊的黃框中的鏈下組件接收用戶交易,並定義業務邏輯和執行順序。它將交易傳遞給 StarkEx 服務。這個組件是應用程序的中心化前端,通常是網頁或桌面客戶端。
- 淺藍色方框中的 StarkEx(即 Sequencer)負責批量處理和協調。它將對於每個批次的操作(在 Cairo 語言中執行,並首先將 Solidity 的字節碼轉換成 Cairo 語言中的智能合約,在 Cairo 語言環境中運行)發送給 SHARP 以證明其有效性。一旦證明被驗證,它將在鏈上發布一個新的狀態,該狀態由 Merkle 樹表示。
- SHARP —— 共享驗證器(shared prover,由 StarkWare 定制)。SHARP 是 Cairo 語言的一個共享證明服務。它接收來自不同 app 的證明請求,並輸出證明以證明 Cairo 代碼執行的有效性。目前,它將被部署在 StarkWare 的中心化服務器上。
- StarkEx 合約(verifier 合約)是以太坊上的一個智能合約,負責狀態更新、存款和提款。
編程語言 Cairo
以太坊原生的編程語言 Solidity 非常適合那些 EVM 兼容的區塊鏈,但其常見的數據結構要轉譯成 STARK 兼容的格式非常昂貴。所以 StarkWare 團隊採用 Cairo 語言。一個 Cairo 程序的執行會產生一個記錄,然後被發送到驗證者(prover),驗證者(prover)會產生一個 STARK 證明,證明 Cairo 程序所代表的指令或計算的有效性。然後,該證明會被 verifier 檢查。
這門語言目前還比較新,會用這門語言的開發者還比較少,也並不兼容 EVM,dApp 很難將以太坊上現有的合約搬過來。
不過 Cairo 具有非常突出的優勢:除了支持零知識證明系統,它還將程序的執行減少到幾組多項式方程組,專門編寫可證明的程序。這些特點使得 Cairo 的開發者可以將業務邏輯(business logic)從智能合約抽像到鏈外執行環境中,支持編寫那些成本巨大、重執行的 app(這些 app 甚至可能比整個 Layer1 的 gas 消耗量還要大),同時保留了以太坊的安全和結算保證,不受 gas 和 Layer1 的限制。
我們可以這樣簡單理解:對於零知識證明技術,如果說 Solidity 是諾基亞手機,支持簡單的交易,那麼 Cairo 就像是智能的蘋果手機,支持更多計算需求更大的應用,比如游戲——由於 STARK 數據結構在重執行環境中得到了更好的支持,使用 Cairo 在 StarkNet 上構建的遊戲現在可以在鏈上存儲所有遊戲狀態,而不僅僅是分數。這為下一代鏈上游戲開闢了一個充滿可能性的世界。
數據可用性
StarkWare 傾向於將其解決方案稱為 Validity Rollups,因為解決方案中不一定使用 zk rollups。StarkWare 根據數據在鏈上還是鏈下存儲的區別支持三種數據可用性方案,均屬於 Validity Rollups:
- Rollup:數據儲存在鏈上
- Validium:數據儲存在鏈下
- Volition:允許用戶在每次交易時自行選擇將數據存儲至鏈上或者鏈下
為了消除用戶對 StarkEx 運營商進行鏈下存儲的信任問題,StarkWare 成立了一個數據可用性委員會(Data Availability Committee ,DAC),由 ConsenSys、Infura 等第三方組成。DAC 成員受託保存鏈下數據的副本,並在緊急情況將其放回公共領域,緊急情況一般是 StakEx 運營商不為用戶的提款請求提供服務的情況。
從數據安全性角度來看,zk rollups 在鏈上存儲數據可以保護用戶資金不被沒收、審查和黑客攻擊;但會降低吞吐量,zk rollups 目前在以太坊上每秒可以處理交易量的上限是 2000,而 Validium 每秒交易量可達到 9000+。從交易成本角度來看,即便是複雜的永續交易成本也會比在 Layer1 完成便宜 100 倍,在 Validium 模式下,成本會更低。
總的來說,數據儲存在鏈上,安全但是貴,適合大資金、不緊急的情況;數據存儲在鏈下,不夠安全但是便宜,適合小資金、遊戲類交易。
目前 StarkEx 總鎖倉量達到 10 億美元,處理 1.73 億筆交易,累計交易額達到 6020 億美元,Minted NFT 價值超過 5620 萬美元。客戶有 dYdX、Sorare、ImmutableX、DeversiFi、Celer 等。
StarkNet:去中心化的二層網絡
StarkNet 是一款無需 StarkWare 許可的去中心化的 zk rollup。它是運行在以太坊之上的 Layer2 網絡,開發者可以通過申請自主地在 StarkNet 上部署合約,具有高擴展性,同時保持以太坊的可組合性和安全性,計劃在年底上線第一個去中心化的版本。
StarkNet 從 2 個層面實現去中心化:
- StarkWare 計劃將 sequencers 和 provers 下放給社區,每個人都可以運行這些節點,從而實現去中心化和抗審查。
- STARK 證明的使用確保了每個人都能夠以較低的硬件要求驗證(verifiers)完整的 StarkNet 鏈,也不需要信任任何外部實體。
StarkNet 的交易成本和收入
StarkNet 目前涉及到的費用以 ETH 支付。一般來說,一項交易成本取決於幾個因素:
- 數據更新成本:由發送到 Layer1 的數據量決定
- 狀態差異信息
- L2 → L1 之間傳輸的信息數量
- 被消耗的 L1 → L2 信息
- 計算成本
- L1 證明驗證
- L2 計算成本(SHARP)
- 存儲成本:在執行交易過程中進行了多少次讀/寫操作
- L2 網絡交易傳輸成本:傳輸 calldata 等
如果我們在 L1 上做交易,則以上成本全部在 L1 生成,由於交易的執行需要花費昂貴的成本去維護,所以 2、3 的成本是非常高的。而使用 L2 交易時,計算和存儲被轉移鏈下,只需要 calldata 正確就能獲得正確狀態,因而 2、3 不需要花費昂貴的維護成本,所以價格更加便宜。
從用戶在每一筆交易上付出的 fee 來看:1 和 4 的成本都會通過將多個交易打包從而讓用戶分攤,2、3 的價格也比較便宜,因而用戶所需付出的 fee 比以太坊上降低了許多。
從 StarkNet 收費的角度來看:除了向 L1 上傳交易的 gas 費用,從用戶手中收到的 fee 還包括為用戶計算、存儲、交易打包的服務費用,這部分也是 StarkNet 的收入核心來源。
另外,sequencer 還可能會有 MEV 收入:當網絡變得去中心化,將 sequencer、prover 等節點下方給社區,團隊會考慮引入市場機制,其細節目前正在研究中,例如進行費用拍賣(fee auction),允許排序者(sequencer)挑選最高價費用的交易。已經有 Optimism 和 zkSync 採取了這樣的實踐。
StarkNet 目前不兼容 EVM,不能用 Cairo 寫合約直接部署在 StarkNet 上。Starkware 的合作夥伴 Nethermind 的 Warp 團隊正在開發一種從 Solidity 到 Cairo 的轉譯語言:Warp,幫助開發者可以將以太坊的合約翻譯到 StarkNet 上。目前已經有多個項目正在開發部署中。
聯合創始人 Eli 認為,即便等到 StarkNet 發展到相當規模,StarkEx 仍舊會有相當長的生命力。有一些項目需要更高的擴展性,StarkNet 無法滿足,那麼 StarkWare 團隊將會通過 Layer3、Layer4...... 不停地嵌套,形成一個遞歸結構,從而持續為生態項目提供超級可擴展性。
團隊
目前團隊共有 80 人,是密碼學尤其是零知識技術領域最好的技術團隊:
- Eli Ben-Sasson:Co-Founder &首席科學家,以色列理工學院計算機專業的教授。Zcash 的創始科學家,zkSNARKs 的發明者。
- Alessandro Chiesa:Co-Founder &首席科學家,加州大學伯克利分校計算機專業的教授。Zcash 的創始科學家,zk-SNARKs 的聯合發明者,libsnark 的核心開發者。
- Uri Kolodny:Co-Founder & CEO,Uri 是一個商業經驗豐富、善於合作的連續創業者。
- Michael Riabzev:Co-Founder &首席架構師。以色利理工學院的博士,曾在 Intel、IBM 工作。
- Oren Katz:工程副總裁。Hebrew 大學計算機專業畢業,Tel Aviv MBA,20 年經驗的資深工程師。
創立之初,團隊並沒有選擇 ICO 的方式來獲得收入,而是在去中心化的 Layer2 尚無法實現的時候,選擇為其他項目提供擴容技術服務,應用於具體的商業場景,從而獲得健康的現金流,也體現出團隊具有非常成熟的商業思維和踏實做事的長期主義心態。
融資
StarkWare 在種子輪受到了 Pantera 以及 Vitalik、Elad Gil、Naval 等知名人士的青睞,並且得到了以太坊基金會 1200 萬美元的捐贈。隨後的幾輪中,Paradigm、Sequoia、Multicoin 等頂級風投加入,其中幾家接連多輪重註。
最新一輪估值已高達 80 億美元,為所有擴容項目中估值最高。
04. 客戶與生態
StarkEx 客戶
StarkWare 目前的收入主要依賴於 StarkEx 的技術服務,客戶的主要需求是,希望保持以太坊級別的安全性,同時減少 gas 成本。官網顯示目前有 6 位客戶。分為 2 類:
- 去中心化交易所,例如 dYdX、DeversiFi
- 去中心化 NFT marketplace,例如 sorare、ImmutableX
相比起其他的 L1 或者 L2,為什麼 StarkEx 是他們最好的選擇?
- 安全性:作為要處理巨額資金的交易所平台,在安全性上絕不能做任何妥協
- 流動性:以太坊上具有最高的流動性,這是交易平台最重要的需求之一
- 隱私性:對於 DeFi 用戶而言,zk-STARK 技術可以保護用戶隱私,避免被中心化交易所操控的風險
- 低成本:高頻的交易需要有較低的 gas 和順滑的交易速度,尤其是 NFT 玩家,其資產交易需要更高的 gas。越是頭部、交易量大的平台,要消耗的 gas 成本越高,使用 StarkEx 越是划算
Eli 曾說過:“StarkEx 適合非常具體的商業應用,尤其是那些大量支付、大量交易、大量 Mint 和交易 NFT 的場景。但如果想要建立遊戲類應用,例如生成藝術、可以進化的加密貓等等,無法通過 StarkEx 實現。”
從去年的收入構成來看,dYdX 是 StarkWare 的最大客戶,佔 StarkWare 總收入的 90%。一方面,作為去年最大的去中心化交易所項目,dYdX 的選擇證明了 StarkWare 解決的需求巨大,其團隊能力也得到了頭部項目的認可和青睞。但另一方面,對於單一客戶的過度依賴,讓我們不禁擔憂,一旦 dYdX 採用其他團隊的解決方案,或者自建 Layer2 平台,這將會對 StarkWare 的收入造成重大衝擊。這一擔憂很快應驗,dYdX V4 版本計劃推出基於 Cosmos SDK 的獨立區塊鏈。
dYdX
dYdX CEO Antonio Juliano 透露,2020 年中,去中心化交易所 dYdX 的 gas fee 高達收入的 90-100%,於是選擇 StarkEx 擴展引擎,於 2020 年底,dYdX 推出 zk Rollup 版,每天處理數十億美元的交易,將 gas 費降至原來的 1/50,促進業務增長了 500 倍。
在 dYdX 這個單一客戶上,StarkWare 在過去一年獲得了超過 5000 萬美元收入。相比起 StarkWare 為客戶所節省的成本,這樣的收入無疑是值得的:按照 4.5 億美元的年收入,在與 StarkWare 合作之前,dYdX 的 gas fee 高達 4.05-4.5 億美元,合作後 gas fee 降至收入的 3-5%,大約為 1350-2250 萬美元,這意味著,StarkWare 幫 dYdX 至少節約了約 3 億美元的成本。
然而,2022 年 6 月 22 日,dYdX 宣布 V4 版本將會基於 Cosmos SDK 和 Tendermint PoS 共識協議開發一條獨立的區塊鏈,通過完全去中心化的鏈下訂單簿和擴展引擎,從而獲得比其他區塊鏈高幾個數量級的擴展性。
IOSG 曾做過這樣一個生動的比喻:
以太坊 Rollup 好比是市中心的舊樓盤,優點是周邊有繁華的商圈與交通設施(可組合性),缺點是裝修破舊(基礎設施迭代慢)、不允許業主裝修(不支持應用自定制節點)。dYdX 是這座樓盤的大租客,平常沒有社交(不依賴可組合性),因此決定搬到郊區建一套小別墅。這時碰巧遇到不錯的裝修隊(Cosmos SDK),曾經在郊區有過大製作(Terra),因此一拍即合,把 Rollup 甩在一邊。
dYdX 創始人 Antonio Juliano 這樣認為:“當選擇一條鏈的時候,我認為人們不應該思考這條鏈上有怎樣的用戶,反而應思考該鏈能實現怎樣的產品體驗。” 這也就意味著,StarkEx 的體驗可能並不如想像中那樣美好。對於訂單簿而言,吞吐量至關重要。然而 dYdX founder “吐槽” 當下 rollup 的 tps 更像是 30,而不是人們以為的 1000+。Layer2 節點運營的去中心化尚有很長一段路要走,StarkWare 目前 sequencer 個數非常少,並且全部由自己部署,這也是 rollup 的普遍現象。這會帶來 2 個問題:
- 中心化機構作惡的風險,或者開發進度需要受制於 StarkWare 的節奏
- Token DYDX 將無法參與節點運營、鎖定 dYdX 的協議價值
dYdX 是以太坊的頭部原生項目,並且是 Layer2 的早期應用者,其構建應用鏈的做法也會被其他項目作為效仿,轉而搭建自己的應用鏈。如果這成為一種趨勢,那麼我們也許應當適當下調對 Layer2 估值的預期。
ImmutableX
ImmutableX 是一個 Layer2 NFT 交易所,最開始通過區塊鏈卡牌遊戲 God Unchained 獲得廣泛應用。God Unchained Genesis 賣掉了 600 萬張卡牌,總價值達 620 萬美元。但巨大的成功也帶來了巨大的成本——由於 ImmutableX 會對持有 NFT 資產的玩家發放獎勵,所以不得不花價值 600 萬美元的 gas。隨著 gas 價格的不斷上漲,他們必須為 NFT mint 和交易採取擴容措施。
注:
ImmutableX 會從平台的每筆交易中抽成 2%,2% 中的 20% 會作為對活躍玩家的獎勵發放,80% 作為自己的主要收入來源。
Starkware 將 ImmutableX 的交易 gas 降至美分級別,這一解決方案最終促成了 ImmutableX 與 tiktok 的合作,在其合作聲明中,Tiktok 特別提到:“StarkWare 是首個碳中和 Layer2 擴容方案。”
注:
Gods Unchained 鑄造 800 萬張 NFT 交易卡在以太坊上消耗大約 4.9 億千瓦時。ImmutableX 通過 zk rollup 壓縮鑄造,僅使用 1,030 千瓦時就能鑄造相同數量的 NFT,能耗降低 475,000 倍。
據 Growjo 的數據,Starkware 從 ImmutableX 處收到了 100 萬美元的年收入,預計 2022 年會有 300-500 萬美元年收入。
Sorare
Sorare 是一個聚集了粉絲、運動員、俱樂部的足球平台。在和 StarkWare 合作之前,Sorare 也接洽了許多其他更高擴展性的區塊鏈項目,但吞吐量的增加是以犧牲安全性和去中心化為代價的,用戶體驗也並不好,取款有延遲。
Sorare 不希望犧牲安全性,他們認為以太坊具有其他區塊鏈不可比擬的互操作性和網絡效應,而且它是 “中立” 的,不受任何盈利組織的控制,它最合適讓粉絲們擁有自己遊戲的開放平台。Sorare 通過和 StarkWare 的合作,每週節省上百萬美元的 gas 費。
DeversiFi
DeversiFi 是一個專業級的去中心化交易所。一直以來,提款速度是去中心化交易所大規模被採用面臨的關鍵挑戰之一,執行、結算、取款和 API 速度是盈利交易策略不可或缺的一部分,不能被犧牲。
借助 STARK 支持的批量結算,DeversiFi 支付的 tps 達到 1.8 萬,能夠和最快的中心化交易所競爭,提供快速且可靠的取款服務(尤其有利於套利者)。與其他的去中心化交易所不同,交易者余額及時更新,沒有回滾或交易失敗的風險。
另一個優勢是隱私性,這一點常常只有中心化交易所具備。交易者通常不希望他們的交易策略對所有人都透明可見,這會使他們有被操縱的風險。而 DeversiFi 所有的交易數據都在鏈下處理,只有狀態更新發佈到區塊鏈,為交易者保持交易歷史的隱私性。合作,將 zk rollups 引入 MetaMask 和 Infura。
據 Growjo 數據,2021 年 DeversiFi 年收入為 420 萬美元,StarkWare 在該客戶上的收入約為 63 萬美元。
StarkNet 生態
除了作為技術引擎提供商,StarkWare 最重要的產品是去中心化、可擴展的二層網絡 StarkNet。目前剛剛上線主網,還不對公眾開放,不過它已經邀請了一系列知名的項目方在 StarkNet 上進行開發。昨日最新宣布了和 ConsenSys 的合作,將 zk rollups 引入 MetaMask 和 Infura。
StarkWare 募集的 80 億美元融資最重要的作用之一就是建設生態,為在 StarkNet 上開發的項目提供資金孵化或者進行技術支持,未來,這也會成為 StarkNet 一部分收入來源。目前,StarkWare 還運營著 Sequencer、Prover 等關鍵節點,會獲得收益,但為了保證不出現單點故障和數據上的監管壓力,最後協議一定會去中心化,把這部分收益給社區。
以太坊本身並非一個完美的設計,存在許多對開發者生產力的限制,因而適應以太坊標準的原生語言 Solidity 也存在依賴的數據結構低效等問題。StarkWare 使用的 Cairo 語言擺脫了以太坊的歷史包袱,有望實現如今以太坊還無法做到的事情,比如和 AI 的結合,比如需要更高計算能力支持的遊戲。其他聲稱 EVM 兼容、EVM 等效的 Layer2 在這一點上未必更有優勢,以太坊的天花板就是他們的天花板。因此,StarkNet 上還出現了和以太坊或其他 Layer2 完全不同的生態:
1. zk 本身的證明機制,即通過生成 zk proof 的機制實現驗證同時保護原始信息
- 隱私:基於以太坊安全性的大額隱私交易
- onchain 的信息不對稱的策略遊戲:例如 darkforest
- 驗證系統:比如和中心化實體交互在保護隱私的同時生成 proof 的 protocol(比如 DECO),給 web2/web3 的證明體系搭建渠道(信用體系搭建,身份驗證,鏈上信用體系的搭建,和對應的工具的開發),甚至是替代所有涉及收集數據到中心託管的做法
2. 共享 L1 安全的高擴容
- 娛樂:高擴容下可能產生高性能的遊戲,例如實時對戰、通訊和結算,NFT 的組合性玩法,娛樂比主網上面創新很多。目前 Starknet 上 gamefi/NFT 生態是最豐富的,有物理引擎項目、機器學習平台以及遊戲可組合性協議(BRIQ)之類的新項目
- 金融:流動性聚合,Starkware 提出了聚合跨鏈流動性的構想,所有流動性存儲在 Layer1,但是可以在 Layer2 中進行使用
- 高性能計算:鏈上機器學習平台 giza,基於此可能產生鏈上 quant、AI 智能合約等新機制
05. 市場競爭
目前的以太坊擴容賽道並不大,但競爭已然非常激烈。整個 Layer2 賽道目前總鎖倉量達 49.5 億美元,占到以太坊總鎖倉量(680.7 億美元)的 7%。Starkware 支持的應用總市場份額占到整個 Layer2 的 21.32%,相比之下,Arbitrum 作為當下最主流的 optimistic rollups 方案,占到 Layer2 總市場份額的 53.54%,可見,擴容領域競爭之激烈,Polygon 的 co-founder Mihailo Bjelic 曾用 “讓一千朵花綻放” 來比喻這個行業的競爭格局。StarkWare 主要有 4 類競爭對手:
1. Polygon 這樣的 all-in-one 解決方案
Polygon 於 2017 年成立於印度,最開始叫作 Matic Network。最開始採取的擴容路線是 Plasma,隨著 Plasma 的式微,它開始探索其他更多的擴容方案,更名為 Polygon,變成了一個支持多種擴容解決方案的開發者平台。
Polygon 的產品線包括 PoS 側鍊和 6 個 zk 項目。其中 3 個——Hermez、Miden 和 Zero 是 ZK Rollup,另一個 Nightfall 是混合 Optimistic-zk rollup,而其餘 2 個 Avail 和 Edge 是旨在幫助構建 zk 和模塊化基礎設施。
Polygon 具有 EVM 兼容性,有良好的社區開發氛圍。在今年 2 月 Polygon 最新一輪融資(紅杉印度領投 4.5 億美元)結束後,估值已經達到 200 億美元。Polygon 代幣市值達到 50 億美元,在加密市場大跌前,其市值曾高達 156 億美元。該平台上目前有超過 19,000 個 dApp。
如果說 StarkWare 的社區只有 2 分,那麼 Polygon 的社區可以打 10 分。Polygon Hermez 是目前唯一一個不需要中心化運營商的去中心化 Layer2 網絡,不過它只能作為支付層,功能有限。
Polygon 生態目前總鎖倉量為 18.1 億美元,其中 AAVE、Quickswap、Curve、Meshswap 四個項目鎖倉量達 1 億美元以上。按照 DeFiLllama 統計的 249 個協議來看,其中半數以上是 DeFi 項目。
2. 以 Arbitrum 和 Optimism 為代表的 Optimisitic rollup
Optimistic rollups 由於技術上比 zk rollups 更容易實現,在市場上更早獲得主流應用,也更成熟。該賽道的頭部玩家有 Arbitrum 和 Optimism。
Arbitrum 由 Offchain Labs 開發,創始團隊包括普林斯頓大學計算機專業的資深教授 Ed Felten,目前估值 12 億美元,投資方包括 Lightspeed、Polychain、Pantera 等。生態目前總鎖倉量達 10.6 億美元,佔 Layer2 總鎖倉量的 53.54%,是市場份額最大的 Layer2。其中有 5 個項目鎖倉量達到 1 億美元以上,包括 SushiSwap、GMX、Curve、dForce、Stargate、Uniswap、AAVE 等。
Optimism 超越了簡單的 EVM 兼容性,轉向了 EVM 等效性。目前的估值為 16.5 億美元,最新一輪融資由 a16z 和 Pantera 領投。其生態總鎖倉量為 2.56 億美元,佔 Layer2 總鎖倉量的 12.65%,唯一用戶地址數達 34 萬。生態項目包括 Synthetix、Perpetual、Uniswap、Curve、AAVE 等頭部項目。Optimism 通過承擔 Sequencer 的角色,向用戶收取 Layer2 執行費用(其中 99% 是將批量交易發佈到以太坊的成本),據 Messari 披露,其收入約 2450 萬美元。
注:
EVM 等效性:在與 EVM 兼容的鏈上,開發人員仍然需要修改他們的 web3 應用程序以使用不同的架構。此外,隨著時間的推移,為以太坊構建的工具不一定適用於其他與 EVM 兼容的鏈。Optimism 的 EVM 等效性幾乎等同於在以太坊主網上執行來解決這個問題,允許一鍵移植應用程序和所有工具工作。與其他擴展解決方案相比,這種方法將幫助 Optimism 更快地發展開發者社區,並且出現更少的漏洞。
3. zk Rollup 賽道內的強勁對手
ZkSync 是 zk Rollup 賽道最強勁的對手之一,背後的開發團隊是 Matter Labs,成立於 2019 年 12 月。zkSync 同樣受到頂級資本的支持,包括:以太坊基金會、a16z、USV、1kx 等等,其生態目前共有 70 多個項目。
和 StarkWare 不同的是,zkSync 採用基於 SNARK 技術的 zk 系統。zkSync 2.0 支持具有鏈上數據可用性的 zkRollup 和具有鏈下數據可用性的 zkPorter 兩種模式,並且能兼容 EVM。
除此之外,還有 zk rollup 領域的後起之秀 Scroll,目前估值 20 億美元,投資方包括以太坊社區的核心成員,具有 EVM 等效性,技術更加開源、也有更好的社區氛圍。
4. Cosmos 等支持 appchain 的生態
Cosmos SDK 為開發者設計了一套便捷的公鏈開發方案,為超級應用自建 appchain 提供了強有力的基礎設施支持。相比起從頭搭建一條獨立的鏈,Cosmos 生態有更好的安全保障。dYdX 的離開可能會引領以太坊原生項目出走的趨勢。
06. 風險
- 從收入構成角度看:收入來源對於單一頭部項目(dYdX)依賴性過高,我們曾擔憂,一旦重要客戶選擇其他解決方案或自建擴容方案,將對 StarkWare 的收入造成劇烈衝擊。現實也應驗了我們的隱憂—— 二層網絡上最大的應用 dYdX 將推出基於 Cosmos SDK 的定制應用鏈,這有可能會讓其他以太坊原生項目紛紛仿效。但這一點將會在 StarkNet 生態繁榮後得到改善。
- 從產品完成度看:StarkNet 網絡處於極早期,費用模型尚不清晰,去中心化版本尚未發布,所以還有許多不確定的技術細節。但用 Sorare CEO Nicolas Julia 的話來說:“StarkWare 是過去十年裡我看到的唯一一個按照路線圖發布產品和功能的技術團隊”,我們相信這是一支履約能力強、值得信任的團隊
- 從社區建設角度看:目前中心化較為嚴重。如果說 StarkWare 的技術能打 10 分,那麼社區建設只有 2 分。這其中有幾方面的因素:
- StarkWare 過去的產品 StarkEx 為客戶提供技術服務,而並非開源產品,StarkWare 的時間精力也一直專注於技術研發和客戶服務,社區建設不是他們工作的優先級
- Cairo 是一門很新的語言,會使用這門語言的開發者很少;而且它不兼容 EVM,以太坊上現有的合約很難直接部署過來,開發者社區氛圍相對冷清
- 目前重要節點例如 sequencer、prover 還沒有向社區開放,還是由 StarkWare 中心化運營
- 從 rollup 的落地情況來看:rollup 的實際體驗並不如各大項目方 “吹噓” 得那麼美好。
- 假的 L1 上鍊確認:數據被上傳到以太坊上才算真的上鍊,但 rollup 的立即確認並不是真的上鍊,只是通過 rollup 周轉進行的臨時性 soft confirmation
- 誇大的 tps:dYdX 創始人 Antonio 曾 “吐槽” 目前的 rollups 的 tps 更像是 30,而不是聲稱的 1000+
- MEV 風險:sequencer 下放社區之後為了更好地捕獲網絡價值,很可能採用 MEV 等競價模式,這可能會讓 rollup 的 gas 費用變得非常高,用戶體驗不佳
- 從市場競爭角度看:zk 賽道競爭激烈,原本採用 zk 路線和原本不採用 zk 路線的團隊都可以加入這個賽道中來,並且 Cosmos、Polkadot 等支持超級 app 自建 appchain,尤其是 dYdX 的離開可能會推動這一趨勢。
- 從行業周期看:StarkWare 獲得 80 億美元估值的時機正處於行業泡沫高點,存在估值虛高的風險。
- Key person risk:雖然包括 Vitalik 在內的一眾加密領袖認為,未來的區塊鍊是以基於 rollup 的以太坊為核心的,但畢竟 V 神不是神,萬一 Vitalik 錯了呢?如果未來就是由超級應用驅動的多鏈生態呢?是否我們都對 Layer2 的敘事產生了不切實際的期待?
07. 估值
PS 倍數角度
本研究撰寫時,dYdX 還沒有宣布離開,距離 dYdX V4 版本上線尚需要一段時間,所以我們估計 StarkWare 今年的收入是 5000 萬美元,並且提供一個估值的思路和邏輯。相比起當前的 80 億美元估值,P/S 約為 160 倍。通過將頭部 Layer2 項目的各個 PS 倍數取平均數,為 198 倍,StarkWare 的 160 倍 PS 與之相比,目前屬於很貴但並不算最高。不過 StarkEx 部分作為技術提供商,其商業模式與其他 L2 生態不同,這個數字僅作參考。
去中心化雲計算角度
考慮到 zk rollups 技術對整個區塊鏈生態的革命性影響,純粹使用金融角度的估值是有失偏頗的。按照以太坊目前的官方佈局路線,以太坊將成為 Consensus Layer,即負責安全與共識的 “共識層”,而 Layer2 將發展為 Excution Layer,即處理各種交易和計算的應用層。這相當於一個去中心化的雲計算服務市場,StarkWare 作為一個主流 Layer2 捕獲的是以太坊的一部分價值,相當於雲計算領域的 AWS。
根據目前公有云的格局,推測 Layer2 最後可能也是穩定在 3-4 家左右提供服務(類似現在 AWS、Azure、Google Cloud 的格局),StarkWare 如果能作為行業第一名占到 50% 的市場,市值達到以太坊的一半,約千億美元的市值。如果不能作為行業第一名,但仍是核心提供商,市值可能佔以太坊的 10-20%,大約在 200-500 億美元之間。從這個角度來看,StarkWare 未來還有會至少一倍以上的增值空間。但由於加密市場的不穩定性,以太坊市值也波動劇烈,這也只是一個粗糙的估計。
08. 結論
我們看好 StarkWare 最強的 thesis 仍然是來自於其遙遙領先的擴容技術。要使區塊鏈世界的體驗變得接近 web2 世界那樣的流暢,團隊的擴容技術能力是重中之重,僅僅達到當下的 Layer2 狀態的擴容能力是遠遠不夠的。在這一點上,只有 StarkWare 的超級可擴展能力讓我們看到了更多的可能性。但不可否認的是,在可預期的未來,Layer2 生態會經歷一場類似於上個週期中的 “公鏈大戰”,會有多個技術方案和項目生態佔據一定的市場份額。
不過無論如何,我們仍舊認為從長期來看,StarkWare 是目前可見的視野中,以太坊擴容領域內最好的投資標的之一。但短期內,可能發展並不如預期那樣美好,80 億美元的估值很可能高估了。
Reference
https://vitalik.ca/general/2021/01/05/rollup.html
https://academy.binance.com/en/articles/zk-snarks-and-zk-starks-explained
https://cairo-lang.org/docs/hello_starknet/
https://www.cairo-lang.org/resource-guide/
https://medium.com/starkware/starkex-now-for-nfts-bfdc9f4655a2
https://medium.com/sorare/scaling-sorare-on-ethereum-with-starkware-ccb1b0338ad3
https://deversifi.com/blog/introducing-deversifi2-0/
https://decrypt.co/95371/ethereum-startup-optimism-1-6-billion-valuation
免責聲明:作為區塊鏈信息平台,本站所發布文章僅代表作者及嘉賓個人觀點,與 Web3Caff 立場無關。本文內容僅用於信息分享,均不構成任何投資建議及要約,並請您遵守所在國家或地區的相關法律法規。