13 日， StarkWare 發布 StarkNet Token 經濟模型，計劃 2022 年 9 月正式發行。那 StarkWare 究竟是一家怎樣的公司，在以太坊擴容世界中扮演著怎樣的角色？
（前情提要：盤點｜Bankless：近期值得關注的 5 個空投以及參與方式）
（相關補充：三箭 Su Zhu：與清算人合作誠意遭惡意誘導、StarkWare 代幣未行權致丟失）
2022 年5 月25 日，以太坊二層擴容方案 StarkNet 的零知識證明開發商 StarkWare 以 80 億美元估值完成 1 億美元 D 輪融資，在以太坊擴容方案的競爭中一騎絕塵。
要知道 2021 年 11 月 StarkWare 剛剛完成由紅杉資本領投的 5000 萬美元 C 輪融資，估值 20 億美元，也就是說僅僅半年的時間，StarkWare 便直接翻了4 倍，跳漲 60 億美元。
13 日， StarkWare 發布 StarkNet Token 經濟模型，計劃 2022 年 9 月正式發行。那 StarkWare 究竟是一家怎樣的公司，在以太坊擴容世界中扮演著怎樣的角色，如何能夠獲得如此高的估值和增長速度？
01 StakWare：技術氣息滿滿的「ZK」系旗手
2020 年1 月5 日，Vitalik Buterin Vitalik Buterin 在題為《Rollups 不完全匯總指南》（An Incomplete Guide to Rollups）的文章中表示「Rollups 是一種強大的 Layer 2 擴容範例，有望在中短期成為以太坊的關鍵擴容解決方案和以太坊擴容的基石」。
而 Rollup 根據驗證數據安全的不同形式，又可分為 Opitmistic Rollup 和 ZK Rollup，目前市場所謂「L2 四大天王」中，Optimism 和 Arbitrum 就屬於前者「OP」系。
而 ZkSync 和本文主角 StarkWare，就屬於後者「 ZK 系」——StarkWare 創建於 2018 年，技術團隊由 Eli Ben-Sasson、AlessandroChiesa 和 Michael Riabzev 負責，其中 AlessandroChiesa 在創立 StarkWare 之前是 Zcash 的共同創辦人，整體而言技術團隊在行業中的屬於相對豐富的從業經驗+專業技術學術背景。
StakWare 主要致力於為區塊鏈擴容和隱私保護提供解決方案，並在零知識證明算法基礎上提出了具有擴展性的零知識證明算法「zkSTARK」。
「zkSTARK」作為升級後的零知識證明算法，讓區塊鏈具備更強的可擴展性，採用該算法的區塊鏈底層，允許開發人員將鏈上的交易數據運算及部分數據的存儲轉移到鏈下來解決，鏈下批量處理後的數據可以打包生成一個 STARK 證明，將該證明發送到鏈上後，可供任何利益相關方驗證真偽。
STARK 相較於其他兩種零知識證明算法，證明大小大非常多，但在計算時的大小和證明速度上有很大優勢，同時 STARK 的安全性更高，可以抗量子攻擊。
融資方面，在 2018 年 SatekWare 完成種子輪融資時，Vitalik Buterin 就參投其中，後續以太坊基金會、Paradigm、紅衫等機構都相繼入局，目前其客戶也涵蓋 ConsenSys、Immutable、dYdX 和 Sorare 等加密產業知名項目。
按照 SatekWare 共同創辦人 Eli Ben-Sasson 的表述，「StarkWare 在所有 L2 解決方案的交易總額和承載量大，這個業務是具有先發優勢的」。
02 初具雛形的 StarkEx 與 StarkNet
總的來看，StarkWare 已將這一算法技術進行了產品化，形成了 StarkNet（Layer2 擴容網路）和 StarkEx（擴容引擎技術）兩個模塊，為有特定需求的區塊鏈應用程式提供服務。
1. 擴容引擎 StarkEx
其中 StarkEx 則偏向面向項目方的 To B 服務，而非一個 Layer2 網路。作為擴容引擎技術，它提供了一系列基礎組件，專門為以太坊鏈上 DApp 提供服務，但它的底層程式碼也不兼容以太坊虛擬機（EVM），因此以太坊應用方想要遷移，就需要改動底層程式碼。
StarkEx 特點包括快速提款、ERC-721 和 ERC-20 支持、L2 NFT Mint、DeFi Pooling、dAMM（分佈式AMM）、實時預言機價格流、跟蹤資金等，用例可以為現貨、衍生品以及 NFT 鑄造等。
同時它支持 zkRollup（數據在鏈上發布）和 Validium 模式部署（數據存儲在鏈下）兩種模式——像 dYdX 使用的就是ZK Rollup 模式，DiversiFi、Immutable X 和 Sorare 採用的是 Validium 模式。
2. Layer2 擴容網路 StarkNet
而嚴格意義上講，StarkWare 後來利用「zkSTARK 全透明式零知識證明」推出的 StarkNet，和 ZkSync 網路一樣，是其首個 ZK Rollup 類的 Layer2 網路，支持用戶隨意參與鏈上生態活動。
相比於 StarkEx，StarkNet 用例更廣，且兼具以太坊級別的可組合性以及 Layer1 和 Layer2 間的互操作性，當然也可以將 StarkEx 看作是 StarkNet 的一個複雜的應用場景。
此外 StarkNet 支持任何開發人員都可以在無需許可的情況下編寫和部署他們的智能合約，目前 StarkNet Alpha 已上線，支持開發者進行應用部署，用戶通過 Argent X 錢包可進入公共測試網路體驗 StarkNet。
截至 6 月 6 日，通過 StarkEx 的總交易筆數逾 1.76 億筆，累計交易價值超 4500 億美元，StarkNet 迄今為止在Goerli （一個由多個客戶端支持的權威證明區塊鏈）上共產生 410 萬筆，主網上有 17.1 萬筆交易。
一旦 StarkNet 主網正式上線，利用 StarkEx 引擎的應用程式就可以遷移到 StarkNet 網路上，實現應用間的組合。
03 ZK 與 OP 的參差
目前在 L2 擴容路線的選擇上，基本達成了一個共識：在中短期內，Optimistic Rollup 有機會憑藉 EVM 兼容快速搶占市場；ZK Rollup 隨著技術的進步，最終則有望在長期維度上憑藉低成本和安全性拔得頭籌。
目前也誕生了 Rollup 等多樣化的擴容路徑選擇，各家產品之間的競爭也愈發激烈，其中由於 Optimistic Rollup 對智能合約的相對友好等特性，Optimism、Arbitrum 等具體的 OP-Rollup 類產品已經逐步形成了自己的繁榮生態。
Optimism 作為 L2 的排頭兵，也見證了機構的共識——2020 年 2 月，a16z 以 2500 萬美元領投了 Optimism 的 A 輪，今年 3 月，Optimism 又以 16.5 億美元估值完成 1.5 億美元 B 輪融資。
但如果僅以一級市場估值來看，「ZK 系」的 StarkWare 的最新一輪估值（80 億美元），幾乎是 Optimism（16.5 億美元）的5 倍。
其實不僅是 Rollup 方案中 OP 與 ZK 兩種不同路線的估值參差，在目前整個加密市場大環境日漸趨冷的大背景下，一級市場也開始逐步從狂熱降溫。
04 小結
即便 OP 不溫不火的價格並未能如期帶來所謂的「L2 Summer」，但伴隨著 Optimism 首吃螃蟹式的發布Token，在目前市場萎靡尤其是 Alt1 公鏈日漸消沉的大背景下，接下來大眾對 Zksync、StarkWare、Arbitrum 三家的後續動作已充滿期待，使 L2 賽道為最受資金和市場關注的賽道之一。
這樣來看，作為似乎更具話題度的「ZK 系」的代表，StarkWare 尤其令人矚目，而它旗下生態圖景在擴容技術的不斷迭代和演化之外，也在不斷完善，相比而言還處於發展的極早期，一切才剛剛開始。
📍相關報導📍
Bankless : 2022下半5大市場關注點 (以太坊合併, L2, Cosmos, ERC4626, 宏觀)
拆解 L2 現狀｜Layer 2 方案陸續上線主網、並發放代幣，採用情形如何？
觀點｜Optimism 後勢分析：預期價格多少？生態能扳回一城？對 L2 空投趨勢的影響
