詳解StarkWare：79億美元估值的Rollup龍頭之一

在目前，以太坊的發展趨勢正越來越傾向於模塊化區塊鏈。

在模塊化區塊鏈的架構下，以太坊上的交易計算和執行不再由主網來操作，這部分工作轉移到鏈下的 Layer 2 上來完成，這種方案減輕了主網的負擔，大大擴展了以太坊的性能。

未來以太坊主網只承擔完成共識和數據可用性的工作，而承擔了所有計算執行的 Layer 2 將變為一個類似雲端運算服務商的角色，正如現在的亞馬遜雲和阿里雲等。

Rollup

在 layer 2 的擴容方案中，被認為最有前景的就是 Rollup。

Rollup 在以太坊鏈下完成交易的驗證和計算，並把它們打包壓縮後連同交易更新後新的狀態根（State root）傳回主網，從而減少對主網空間的占用。

Rollup 中又有兩種實現方案，分別是 Optimistic Rollup 和 zk-Rollup。其中：

1.Optimistic Rollup 採用欺詐證明（Fraud proof），首先假設上傳到主鏈所有交易都是合法的，並設置挑戰期，允許驗證者提出證明來挑戰有問題的交易，一旦證實有欺詐行為發生，就對欺詐者進行懲罰，對挑戰者進行獎勵。

2.Zk-Rollup 則採用有效性證明（Validity proof），在鏈下進行所有交易的驗證和打包，驗證後的交易被提交到主鏈時附上零知識證明來證明交易的有效性。用 StarkWare CEO Uri 的話來說：「它提供了無需信任的計算誠信（computational integrity），它是這樣一種能力——即便沒有人監督也能確信該計算被正確地執行。」非常類似於早期比特幣的理念。

Rollup 中主要有三個角色：

· Sequencer：主要負責從用戶那裡收集交易，對它們排序並將新的 Merkle 根傳到 Layer1 的 rollup 智能合約上，類似於礦工。

· Prover：負責計算驗證所有的交易，並生成一個 zk-proof 來證明交易的有效性。

· Verifier：通常被部署在 Layer 1 上，負責完成部分計算來驗證 Prover 提交的 proof 的有效性，以確保其提供了計算誠實性所需的所有的資訊。

Optimistic Rollup 可以兼容 EVM，技術方案成熟且落地早，對開發者來說，遷移成本較低，代表項目 Arbitrum 和 Optimism 是目前 rollup 中市場占有率最高的。而 zk-Rollups 因為不兼容 EVM，技術難度也比較大，開發進度較慢，目前應用並不如可以面向智能合約的 OP 系的 rollup 廣泛。

雖然如此，zk-Rollup 與 Optimistic Rollup 相比還是有諸多優勢，例如：

1.可擴展性更好。這是由於 zk-Rollups 需要上傳到主網的數據小於 Optimistic Rollups。因為 zk-rollups 發布到鏈上的交易資訊已經全部被驗證過並附上了證明，其他人只需要驗證證明，而無需驗證交易，所以驗證交易相關的數據就無需上傳，但是 Optimistic Rollups 由於需要接受欺詐證明的挑戰，所以需要把這些數據也上鏈。在實際應用中，zk-Rollup 提升性能的能力大概是 Optimistic Rollups 的十倍左右。

2.交易最終確定時間短。zk-Rollups 發布到鏈上的交易已經經過了驗證並隨附了證明，驗證起來比較簡單，通常驗證時間在十分鐘左右，但是 Optimistic Rollups 提交的交易由於存在欺詐風險，需要接受欺詐證明的挑戰，這個挑戰的時間窗口約為 1 周，所以並不能實現即時取款等功能。

3.安全性更高。zk-Rollups 上傳的交易都通過驗證並附帶了證明，作惡的可能性小。相比於 Optimistic Rollups 可能上傳含有欺詐內容的交易，zk-Rollups 的數據可靠性和安全性都更高。

Vitalik 曾在 2021 年說過：「短期內，optimistic rollups 會因為其 EVM 的兼容性勝出。在中長期來看，隨著 zk-SNARK 技術的改進，zk-rollups 會贏得所有的用例。」可見長期來看，Vitalik 更看好 zk-rollups。

zk-SNARK 和 zk-STARK

zk 系的兩大龍頭項目分別是 zkSync 和 StarkWare。其中 zkSync 採用的是 zk-SNARK 技術，而 StarkWare 採用的是 zk-STARK 技術。

zk-SNARK 是簡潔式非交互式證明的縮寫，zk-STARK 是可擴展的透明知識證明的縮寫。zk-SNARK 誕生時間早，技術相對成熟，目前已經有了比較廣泛的應用。早期的隱私 Token 項目 zcash 使用的就是 zk-SNARK 技術。zk-STARK 則被認為是 zk-SNARK 的改進版，是一種更快和更便捷的實現方式，旨在對 zk-SNARK 進行一些優化，彌補它的一些缺點。

從名字中可以看出，zk-STARK 相對 zk-SNARK 具有可擴展性和透明性的優點，此外 zk-STARK 還具有更高的安全性。具體原因是：

1.可擴展性。憑藉 zk-STARK 技術，證明者的運行時間最多為計算規模的擬線性而驗證時間為計算量的多項式對數。而在 zk-SNARK 中, 證明者可能面臨複雜而昂貴的證明過程，以及相對應的較長的驗證耗時。

2.透明性。zk-STARK 不需要進行可信初始化設置，不像 zk-SNARK 需要可信設置的公共參考字符串，而是使用隨機公共驗證，所以不用擔心參數被破壞和修改；

3.安全性。由於 zk-STARK 依賴於哈希函數來進行對稱加密，哈希函數抗碰撞的特性帶來了抵禦量子攻擊的能力。

由於技術成熟，推出較早，目前在 zk 領域 zk-SNARK 仍是主流，而 zk-STRAK 技術難度大，缺少開發者，所以還未被廣泛採用。但是憑着不可忽視的優勢，相信未來 zk-STARK 會成為更被接受的解決方案。

StarkWare

StarkWare 的聯合創始人 Eli Ben-Sasson 是世界頂級的密碼學科學家，在以色列理工學院擔任教授，也是 zk-SNARK 和 zk-STARK 技術的聯合發明者。項目採用圖靈完備的 Cairo 語言進行開發。

工作原理

StarkWare 系列產品的工作流程如下圖所示：

我們以 StarkEx 為例，StarkNet 的工作流大致類似。

1. 用戶首先在應用中進行操作，通常是應用的客戶端或者網頁前端，應用執行這些動作後向 StarkEx 服務發送交易；

2.StarkEx 服務把這些交易打包執行後把包裹發送給 SHARP（Shared prover，共享的證明服務），這個過程中的執行是由 Cairo 語言編寫的程序完成的，值得一提的是，StarkWare 通過 Cairo 這一圖靈完備的語言，將所有智能合約的計算結果轉化成了可證明的多項式方程，由此讓智能合約與有效性證明兼容；

3.SHARP 是一個基於 Stark 的證明系統，由它來生成能證明這個批次交易有效性的證明；

4.SHARP 把 Stark 證明發給部署在 Layer 1 上的 Verifier，由 Verifier 來完成驗證；

5.StarkEx Service 會發送一個鏈上狀態更新交易給 Layer 1 上部署的 StarkNet 智能合約，這個智能合約只會在 Verifier 完成了證明之後才會接受這個新的狀態變更。

產品

StarkWare 目前有兩款產品，分別是：

· StarkEx 為應用提供定製化的 ToB 服務，運行在 StarkEx 上的應用可以自定義他們的業務邏輯。StarkEx 服務於 Defi 和遊戲等應用，能加快交易速度，降低交易費用，還可以通過 ZK-Rollup 或 Validium 兩種方案來實現數據可用性。

· StarkNet 是一個無需許可的去中心化、抗審查的通用 layer 2 網路，任何用戶和開發者都可以在上面部署使用 Cario 語言編寫的智能合約。

這兩種產品分別對應了兩種不同的商業模式，前者為應用提供定製化服務並出售，而後者則提供無許可的通用服務然後收取網路上的交易費或者作為節點在交易費用優先的原則下抽取 MEV。

StarkWare 聯合創始人 Eli Sabasson 曾做過一個比喻，將 StarkEx 和 StarkNet 的分別比作為計算機和雲，購買 StarkEx 就像擁有自己的定製化計算機，每個客戶都擁有自己的擴容計算機。而 StarkNet 提供的是網路，是通用服務，所有人都可以支付費用並使用。

StarkNet 的工作過程如下圖所示。它與 StarkEx 的最大區別是在 StarkNet 中由 Sequencer 取代了 StarkEx Service 來承擔驗證交易有效性、打包交易、調用 Cairo 程序執行的工作，而 SHARP 所承擔的生成證明的工作，在 StarkNet 中由 Prover 負責。目前，Sequencer 和 Prover 都由 StarkWare 官方團隊來指定，這就帶來了中心化的質疑。

Roadmap

StarkNet 曾經在他們的部落格中發布過一張路線圖，並表示他們會逐步實現去中心化。

在設想中，團隊建設 StarkNet 的過程包括了四個階段，分別是：

· Step 0--基礎建設

· Step 1--Planets：單一操作者、單一 app 的 rollup

· Step 2--Constellations：單一操作者、多個 app 的 rollup

· Step 3--Universe：去中心化的操作者、多個 app 的 rollup

在 Step 1 中，一個 StarkNet 實例上（一個 rollup）只運行一個應用，開發者關注於如何在 StarkNet 這個擴容網路上實現自己的業務邏輯。

下一步將支持在同一個 StarkNet 實例上運行多個應用，並且這些應用將可以共享同一個全局 Layer 2 狀態。這將實現不同應用程序之間的互操作性，以及由於規模經濟的提高而降低的 gas 成本。在這個階段，StarkNet 將成為一個功能齊全的框架，在以太坊之上運行具有任意業務邏輯的多個應用程序，每個實例由單個操作者運行。從用戶的角度來看，StarkNet 用起來和以太坊很像，只是可擴展性更好。

最後一個階段是 StarkNet 對操作者進行去中心化的階段。在這個階段中，團隊主要做兩件事：（1）使用 rollup 來實現更好的共識機制以及（2）利用經濟模型來對貢獻者和操作者進行激勵，吸引更多參與者來實現網路的去中心化。

Cairo 語言

Cairo（CPU Algebraic Intermediate Representation，CPU 代數仲介碼）是 StarkWare 用來為一般計算生成 STARK 證明的圖靈完備的編程語言。應用開發者可以用 Cairo 定義任何的業務邏輯並完成鏈下證明和鏈上驗證，而無需手動生成複雜的電路或 AIR（代數仲介碼）。

通過 Cario 編程語言，任何計算命題都可以進行快速、安全的編碼證明。一個由 Cario 寫成的應用程序可以證明其對應的執行邏輯，而一個 Cario 應用程序也可以集成多個 Cario 應用程序，形成 SHARP。

SHARP（共享證明器）可以聚合幾個獨立的 Cario 應用程序的交易，並在同一個 STARK 證明中使用。使用 STARK 證明，提出證明所需的時間與執行語句所需的時間大致呈線性關係。驗證證明所需的時間與提出證明的時間則是對數關係。

由於驗證時間遠小於證明時間，就可以實現遞歸驗證：一個 Cairo 程序可以驗證多筆交易的正確性，同樣也可以編寫一個 Cairo 程序來驗證多個 Stark 證明。由於只需要對數時間來實現驗證，這樣的遞歸驗證可以極大程度地減少驗證時間。

StarkWare 團隊推出了 Cairo 的通用證明服務 (Generic Proof Service，GPS)，開發者可以使用這項服務用 Cairo 語言構建自己的應用。他們可以把自己包含業務邏輯的 Cairo 代碼發送給 GPS 來證明，並在鏈上驗證它們。

由於 GPS 支持使用一個證明來斷言不同多個應用程序執行的完整性，從而使這些應用程序能夠分攤證明驗證的 gas 費用。

團隊和融資

StarkWare 的團隊來自以色列，主要成員是有自希伯來大學和以色列理工背景的計算機科學及密碼學開發者，可以說是零知識證明領域實力最強的團隊。

從 StarkWare 的官網上可以看到，這個團隊目前有成員 77 人，外加 7 名學科顧問和 5 名其他顧問。主要成員包括：

· Eli Ben-Sasson：Co-Founder & 首席科學家，希伯來大學理論計算機科學博士學位，長期從事計算完整性、密碼學和零知識證明方面的研究。以色列理工學院計算機專業的教授。Zcash 的創始科學家，zkSNARK、zkSTARK 的發明者。

· Uri Kolodny：Co-Founder & CEO，希伯來大學計算機科學學士，是一個商業經驗豐富、善於合作的連續創業者。

· Alessandro Chiesa：Co-Founder & 首席科學家，加州大學伯克利分校計算機專業的教授。Zcash 的創始科學家，zk-SNARKs 的聯合發明者，簡潔零知識證明的領先開源庫 libsnark 的核心開發者。

· Michael Riabzev：Co-Founder & 首席架構師。以色利理工學院的博士，曾在 Intel、IBM 工作。

· Oren Katz：工程副總裁。希伯來大學計算機專業畢業，特拉維夫大學 MBA，20 年經驗的資深工程師。

在融資方面，StarkWare 共披露了七輪融資，涉及投資 45 筆，對外披露融資額 2.73 億美元，2022 年，D 輪融資估值 79 億美元，投資人包括 Paradigm，Sequoia Capital 和 Pantera Capital 等機構以及 Vitalik。

經濟模型

StarkWare 在今年七月中旬的部落格中發布了他們的 Token 經濟模型。原本計劃於 9 月發行其 Token，但是後又發布消息推遲發幣時間，截至本文發布的時間，仍然沒有官宣發幣。

StarkNet Token 將主要具有 3 個使用場景，分別是支付 StarkNet 網路費用、質押以參與網路共識、社區治理投票。

· 交易費用：目前，StarkNet 中的費用以 ETH 支付。但接下來，該項目預計費用將僅使用原生 StarkNet Token 支付。為了支持良好的用戶體驗，自動化和去中心化的鏈上機制將允許用戶以 ETH 支付費用。

· 質押：對 StarkNet 的活躍性和安全性至關重要的某些服務可能需要質押 StarkNet Token。這些服務可能包括排序、在達到 L1 最終性之前達成臨時 L2 共識、STARK 證明服務和數據可用性供應。預計這些服務將在 2023 年實現去中心化。

· 治理：改進 StarkNet 的提案將需要一個最低的 Token 持有閾值。對於對 StarkNet 的活躍性、安全性和維護至關重要的協議的所有更改，都需要直接或通過委託進行投票。例如，StarkNet 操作系統的所有重大更新都需要獲得 Token 持有者的批准。

StarkNet Token 初始發行量為 100 億枚，17%  分配給 StarkWare 投資者，32.9% 分配給核心貢獻者，50.1% 分配給基金會。同時，該 Token 具有增發機制，新的鑄造 Token 和交易費用的一部分將授予給核心基礎設施開發人員和智能合約開發人員。

分配給基金會的 51% 具體用途為：

· 9%  ——生態開發者，使用者和社區。包括在 6 月 1 日前與 StarkEx 有過交互的部分用戶。

· 9%  ——社區退款（Rebates）——StarkNet Token 的退款，以部分支付從以太坊加入 StarkNet 的成本。

· 12% ——資助用於開發、測試、部署和維護 StarkNet 協議的研究者和工作者。

· 10%——戰略儲備，用於資助符合基金會使命的生態系統活動。

· 2%  ——捐贈給相關領域傑出的的機構和組織，如大學、非政府組織等，由 StarkNet Token 持有者和基金會決定。

· 8.1% 未分配——以進一步支持 StarkNet 社區，具體方式由社區決定。

考慮到去中心化生態系統的慣例分配和社區的長期利益，給投資者和核心貢獻者的 49.9% 將有 4 年的鎖定期，並且將會採用 1 年的 Cliff（懸崖期）和線性的方式釋放 Token。

從 Token 分配可以看出，StarkNet Token 獎勵優先考慮核心基礎設施和 dApp 的開發人員，而較少傾向於普通用戶。

營運數據

StarkEx 這個 toB 產品由於推出較早，且 Scale as a service 的模式相對成熟，已經積累了一些用戶，如 dYdX（目前已出走），Immutable X，rhino.fi，celer 和 Sorare。根據官網顯示的數據，StarkEx 上累計的交易金額達到了 7320 億美元，目前的 TVL 是 4.61 億美元。

另一個產品 StarkNet，根據網站上的數據，目前生態中大約有 100 多個應用，其中數量最多的是 Defi（45 個）、NFT(24 個）和基礎設施（18 個）。

比較知名的項目中，AAVE 和 Maker 都將部署到 StarkNet 上，兩天前（10 月 29 日）剛剛官宣了 Aave 與 StarkWare 的第一階段跨鏈合作已完成開發。該階段是 Aave v2 在以太坊上的 aToken 跨鏈至 StarkNet 的智能合約基礎設施，允許網路用戶在 StarkNet 獲取跨鏈 aToken。而早在 6 月份，Maker 已經上線了 DAI 在主網和 StarkNet 之間的轉賬。

值得一提的是，此前在 StarkEx 中占據主要 TVL 的 dYdX 在 6 月出走，選擇了基於 Cosmos SDK 的獨立區塊鏈來推出 v4 版本的產品。這次事件一定程度上影響了投資人對 layer 2 和 StarkWare 的信心。

從此次出走事件中也可以看出，真正擁有用戶和影響力的應用在選擇底層基礎設施上擁有更多的話語權和主動權，它們並不依賴於某個單一的底層鏈，可以主動選擇其他的底層公鏈，甚至自己搭建符合自己需求的應用鏈。

過去「胖協議瘦應用」的敘事或許會被重新定義。對於各種底層基礎設施的項目來說，如何抓住自己生態中的優質應用，做好留存，也成為了當前需要重新思考的問題，畢竟，要捕獲更多價值就要捕獲更多用戶，而真正與用戶交互的是應用而不是底層，用戶並不關心底層技術實現的原理，只會隨著應用遷移而遷移。

結語

擁有強大技術團隊的 StarkWare 目前正按照他們的規劃逐步開發產品：10 月 26 日，他們官宣了已使用 STARK 證明編程語言 Cairo 寫出編寫完成 ZK-EVM。

同時他們也面臨着一些挑戰，比如 zk-STARK 目前技術難度比較高，開發速度慢，開發人員少，這給生態應用的發展和留存帶來了很多困難。dYdX 的出走帶走了項目中多數的 TVL，暴露出底層基礎設施對上層優質應用綁定能力不足的窘境，也讓人們看到了優質應用在挑選底層鏈時強勢的話語權。

但是由於技術的優越性，長期來說，我們仍然看好 zk-rollup 和 STARK 的發展。後期隨著 Token 釋放帶來的激勵效果以及網路逐漸轉向去中心化，StarkWare 仍將會是 Rollup 賽道最有力的競爭者之一。

原文連結