Arbitrum 空投的財富效應點燃了市場對 L2 的信心，Optimism 和 Arbitrum 先後嘗試了生態發展和空投吸引用戶的策略，市場份額已經體現了這一點。Layer2 四大巨頭：Optimism、Arbitrum、zkSync、StarkNet，現在僅剩下後兩者尚未宣布空投。80 億美元高估值的 StarkWare 自然是备受矚目。
同時 StarkNet 也是我們社區深度參與的項目，堅信其巨大潛力，投入大量資源以期待在 2023 年底收穫成果。
StarkWare 介紹
一
項目概述
StarkNet 的母公司 StarkWare 成立於 2018 年，位於以色列，主要產品包括基於以太坊主網構建的擴容引擎 StarkEx 和通用型 ZK-Rollup StarkNet。StarWare 技術團隊在 ZKP 領域擁有超過十年的研究和工程經驗，2018 年首次提出使用 STARK 有效性證明解決以太坊可擴展性問題，實現大規模可擴展性。
01
內容介紹
StarkEx：專為應用程序設計的二層可擴展性引擎，為每個應用提供專門的 Rollup 技術服務。自 2020 年起已正式上線以太坊主網，相對成熟。目前基於 StarkEx 開發的項目包括 Sorare、ImmutableX、dYdX、ApeX 等知名項目。
StarkNet：通用型 Rollup，可以部署任意智能合約，無需為特定應用進行定制開發。StarkNet 於 2021 年 11 月上線以太坊主網，目前有 50+ 項目上線主網，100+ 項目上線測試網。
StarkWare 在 7 輪融資中累計已獲得 2.73 億美元融資，2018 年 1 月完成 600 萬美元種子輪融資，同年 7 月獲得以太坊基金會的 1200 萬美元贈款；
2021 年 3 月份完成 Paradigm 領投的 7500 萬 B 輪融資，同年 11 月份完成 5000 萬美元 C 輪融資，投資方包括 Paradigm、Alameda Research、Three Arrows Capital 等；
2022 年 5 月 25 日，StarkWare 以 80 億美元估值完成 1 億美元 D 輪融資，Greenoaks Capital、Coatue、Tiger Global 和其他參與者領投。
02、2
技術架構與亮點
與其他基於有效性證明的 zk-rollup 方案類似，StarkNet 和 StarkEx 採用「鏈下計算 - 生成 zk 證明 - 鏈上驗證」的形式來實現對以太坊的擴容。然而，通過獨創的 zk-STARK 零知識證明算法、zk 友好的編程語言 Cairo、SHARP 共享驗證器，它們實現了高交易處理速度和低成本等特性。
2.1 獨創的 zk-STARK 零知識證明算法
zk-STARK 是 StarkWare 創始人 Eli Ben Sasson 在 2018 年的一篇論文中提出的，全稱為 Zero-Knowledge Scalable Transparent Argument of Knowledge，具有可擴展和透明等優良特性。
透明性：ZK-STARK 可以在沒有公共參考字符串（CRS：Common Reference String）的可信設置的情況下工作。相反，使用可公開驗證的隨機性來建立證明者和驗證者之間的交互，減少了用戶的信任假設並提高了基於 STARK 的協議的安全性。
可擴展性：STARK 具有驗證的對數壓縮特性，可以實現更快的驗證速度。當證明一個命題所需的時間為 T 時，驗證證明所需的時間僅為 log (T)。這種特性使得 STARK 可以通過遞歸來實現低成本和降低大型組合命題延遲等特性，從而實現可擴展性。
2.2 Cairo 編程語言
Cairo 為 StarkWare 團隊於 2020 年發布的圖靈完備編程語言，讓不了解 STARK 的開發者也能夠使用 Cairo 來實現可驗證計算。
通過 Cairo 編寫的程序，可以將計算結果通過 STARK 證明器直接轉化成可證明的多項式方程，由此讓智能合約與零知識證明實現良好的兼容性。Cairo 是為 STARK 而生的編程語言，兩者相結合可以最大程度釋放 STARK 的潛力，但其與 EVM 生態的割裂一直是需要被解決的問題。
2022 年 10 月末，StarkNet 便宣稱使用 Cairo 開發出 ZK-EVM，同時以太坊客戶端 Nethermind 正致力於開發 Solidity 到 Cairo 的編譯器 Warp，以實現 StarkWare 對 EVM 的兼容性。團隊宣稱目前 Warp 已經支持將 Uniswap V3 重寫為 Cairo 代碼。隨著 StarkNet 真正投入生產環境，不同方案兼容性的實際效果將會得到檢驗。
2.3 SHARP 共享證明器
SHARP 即共享證明器 (SHARed Prover)，是 StarkEx 和 StarNet 生成零知識證明的 Prover。SHARP 可同時為 StarkEx 和 StarNet 生成有效性證明，因此可以聚合不同的 StarkEx 應用以及 StarkNet 上發生的交易，並在一個單一的 STARK 證明中證明，以此實現更快填滿 STARK 證明的容量，從而提高交易處理速度和降低延遲。
遞歸證明是下一代前沿技術，不僅適用於一些硬編碼邏輯，而且適用於通用計算。SHARP 與 STARK 結合後，能夠讓整個 StarkWare 生態內的交易良好實現遞歸的性質，帶來極致的可拓展性。
據 StarkNet 官方數據顯示，StarkNet 生態中已有超過 100 個項目部署並投入運行。覆蓋了錢包、跨鏈橋、DeFi、NFT 等多元化領域。
二
StarkNet 的 PoS 創新
長久以來 PoS 作為 L1 項目的共識機制被人們熟知，StarkNet 是第一個採用 PoS 的 L2 Rollup 項目。採用 PoS 的 StarkNet 作為一個 L2 項目可以打破長期存在於 L2 上的 MEVA 困境，降低用戶支付成本，改善平台體驗，緩解網絡擁堵情況，還將極大提高 L2 收入上限。