項目簡介
StarkWare是基于STARK的零知識證明技術且專注于區塊鍊行業開發的解決方案，緻力于促進安全、無需信任和可擴充的區塊鍊應用程式開發，以確定以太坊安全、快速和無縫的使用者體驗。
StarkWare已開發了StarkEx和StarkNet兩個産品。
- StarkEx是一個獨立的許可Validity-Rollup（也稱為“ZK-Rollup”）
- StarkNet是一個無需許可的去中心化 ZK-Rollup
StarkNet 是一個基于 ZK-Rollup 技術的去中心化 L2 協定，ZK-Rollup 技術是一種安全機制，通過該機制，鍊下證明者使用的輸入不會暴露在區塊鍊上。
StarkNet 合約和 StarkNet 作業系統是使用Cairo編寫的，它支援幾乎所有業務邏輯的部署。
特色和優勢
1. 在所有 L2 解決方案中展現的巨大交易總額和承載量，具有先發優勢。
- 截至2023/05/04，StarkWare項目目前累計交易額為9470億美元，總鎖定價值（TVL）為5.52億
- 和以豐富生态規模的Polygon項目相比，據其官網顯示，Polygon目前累計交易總額為24.4億美元
2. StarkWare 采用的STARK系統屬于更新後的零知識證明算法，算法更新後讓區塊鍊具備更強的可擴充性。
- 允許開發人員将鍊上的交易資料運算及部分資料的存儲轉移到鍊下計算
- 鍊下批量處理後的資料再打包生成一個 STARK 證明
- 将該證明發送至鍊上供任何利益相關方進行驗證
團隊開發的擴充技術項目StarkEx同時支援ZK-Rollup模式和Validium模式
- ZK-Rollup資料可用性在鍊上
- ZK-Rollup适用于資料安全性要求較高的支付和交易應用
- Validium資料可用性在鍊下
- Validium适合對信任要求沒那麼高的遊戲dApp等高頻應用
3. Cairo程式設計語言
- 首個用于生成STARK證明的生産級平台，由團隊開發，具有圖靈完備、高效等特點
- 能提高鍊上驗證和鍊下證明服務的效率并降低成本
- 深層意義在于可使用單一證明來斷言不同程式執行的完整性
發展曆史
- 2018年，SatrkWare成立。
- 2019年3月，推出StarkPay，一個基于STARK技術的支付可擴充性引擎，解決了Lightning，L2支付解決方案的許多缺點。
- 2020年，Starkware正式和Immutable合作（Immutable是在ETH上的卡牌遊戲）
- 2020年6月，StarkEx正式部署在以太坊主網上。
- 2020年8月，推出Cairo, 由StarkWare開發的圖靈完備的生産級 STARK 系統。
- 2020年12月，更新StarkEx2.0版本，轉向通用的Cairo語言架構，釋出Cairo的工具鍊，包括編譯器/虛拟機/Tracer代碼調試器/內建開發環境擴充，使開發人員能夠編寫更有效的代碼來檢查複雜、成本較高的的計算，提高可擴充性。
- 2021年1月，建構一個去中心化的、由STARK驅動的L2 ZK-Rollup——StarkNet。
- 2021年4月，StarkWare提出了由以太坊L2驅動的AMM（Automated Market Maker，自動做市商。AMM不需要訂單薄，當使用者向項目中添加交易對時，提供交易對的人被稱為“流動性提供者” ）設計，流動性保持在L1，但使用者在L2上進行交易。
- 2021年7月，StarkEx3.0正式釋出。以太坊智能合約首次可以為StarkEx上資産提供服務，通過L1 Vaults與L2使用者交易這些資産。
- 2021年12月，StarkNet在主網上正式釋出StarkNet Alpha，支援完全無需許可的通用計算智能合約。
- 2022年6月23日，正式釋出 StarkEx V4.5 版，支援 Volition、ERC-1155 和交易捆綁。
- 2022年7月13日，StarkWare 計劃 9月推出 StarkNet 代币，并在未來一年半内分發。
- 2022年9月12日， StarkNet Alpha 0.10.0 版本正式上線主網。此版本引入了受 EIP-4337（通過 Entry Point 合約規範的賬戶抽象）啟發的更改，包括驗證和執行分離、添加 Nonce 字段以在協定級别強制執行事務唯一性等。
- 2022年9月13日，推出 Cairo 1.0 版本，支援 StarkNet 的無許可網絡要求。
- 2022年11月10日，成立 StarkNet 基金會以推動 StarkNet 生态發展，并将通過研究治理機制等來幫助網絡實作去中心化。
- 2023年3月30日，Starknet Alpha v0.11.0 上線主網。
- 2023年4月18日，釋出 StarkEx V5.0 版本，引入多資産交易、鑄造 ERC-1155 和 ERC-20 代币等功能。
團隊背景
StarkWare 總部位于以色列内坦亞 Netanya，共有4位創始人。
- 聯合創始人兼總裁： Eli Ben-Sasson
- 首席執行官：Uri Kolodny
- 首席架構師：Michael Riabzev
- 聯合創始人：Alessandro Chiesa
左起：Eli Ben-Sasson、Alessandro Chiesa、Uri Kolodny、Michael Riabzev
融資資訊
- 2018/01，種子輪融資600萬美金（V神、Paradigm、Pantera Capital PolyChain）
- 2018/07，融資1200萬美金（Ethereum Foundation）
- 2018/10，A輪融資3000萬美金（紅杉、Paradigm、Scalar Capital、Multichain Capital、Intel Capital、Semantic Ventures、Pantera等參與投資）
- 2021/03，B輪融資7500萬美金（紅杉、Wing Venture Capital、Paradigm、Pantera Capital繼續參投，包括Three Arrows Capital、DCVC 等也參與了本次投資）
- 2021/11，C輪融資5000萬美金，估值20億美元（紅杉資本領投，Paradigm、三箭資本、Alameda Research 等知名加密風投機構參投）
- 2022/05，D輪融資1億美元，估值80億美元（Greenoaks Capital、Tiger Global 等機構領投，所籌資金将用于産品和業務開發及生态系統的發展）
工作原理
- 使用者在 StarkNet 上發起一個交易，Starknet 中的排序器給交易排序，确認(validata)、出塊後執行交易；
- StarkNet 上的證明者給交易生成證明，并發送給以太坊的驗證者；
- 驗證者将收到的證明作為 L1 交易在以太坊驗證(validata)，驗證結果發送給同在以太坊上的 StarkNet Core 合約；
- 當 StarkNet Core 合約确認驗證者在鍊上成功确認其加密證明時，它會接收對 StarkNet 全局狀态的更改。狀态事務作為“calldata” （EIP-4844後為Blob）來發送，以節省 L1 事務 gas。這些“metadata”可被 StarkNet 全節點解密。
全節點基本扮演存儲角色、狀态改變、中繼資料、證明，并記錄在 Rollup 中執行的所有事務，跟蹤系統的目前全局狀态。在有必要的時候，解密“metadata”來重構 StarkNet 的曆史。
經濟模型
StarkWare已經在鍊下鑄造了100億個代币。需要明确的是：這些StarkNet代币不代表StarkWare的股權，也不提供任何參與StarkWare或從StarkWare獲得索賠的權利。随着協定鑄造新代币，流通供應量将會随着時間增加，并根據社群在以後确定的時間表進行。是以，流通供應量可能不會保持固定狀态。
StarkNet代币配置設定
- 17% — StarkWare 投資者；
- 32.9% — 核心貢獻者(StarkWare團隊/員工/顧問)，以及StarkNet軟體開發合作夥伴；
- 9% — 社群供應。給予那些為 StarkNet 工作并為其底層技術提供動力或開發的人，例如給予之前測試 StarkEx L2 系統的人（所有社群規定都将基于過去執行的可驗證工作。例如，如果社群規定将代币配置設定給過去的 StarkEx 使用者，配置設定将根據2022年6月1日之前對 StarkEx 技術的可驗證使用情況來确定）。
- 9% — 社群返利。社群返利是指支付從以太坊加入 StarkNet 的部分費用（為防止遊戲化，社群返利将僅适用于返利機制公布後發生的交易）。
- 12% — 資助用于開發、測試、部署和維護 StarkNet 協定的研究和工作。
- 10% — 戰略儲備。用于資助符合基金會使命的生态系統活動。
- 2% — 根據 StarkNet 代币持有人和基金會的決定，捐贈給備受推崇的機構群組織，例如大學、非政府組織等。
- 8.1%未配置設定 — 基金會的未配置設定金庫已到位，以社群決定的方式進一步支援 StarkNet 社群。
行業分析
和StarkWare常用來比較的項目是zkSync。二者都采用了ZK Rollup技術解決擴容問題但又各有側重。雙方都對零知識證明算法進行了改進，zkSync更看重隐私，StarkWare更看重效率。
- zkSync 方案采用了「zkSNARK 簡明非互動式零知識證明」算法，即證明者和驗證者隻需交換相關證明，無需進行任何其它通信，在保護隐私方面更極緻。
- StarkWare 方案采用的是「zkSTAR 全透明式零知識證明算法」，将使用者的鍊上資料轉移到鍊下 STARK 證明器 (prover) 中進行計算驗證（驗證計算的完整性和可靠性），其最大的優勢是資料處理速度很快，且資料越多，處理的速度越快。
在營運方式上：
- zkSync 更去中心化營運，團隊MatterLabs 甚至多次表示「自己被替代也無所謂」的态度，目的隻在推動以太坊社群發展。其zkSync2.0 版本也将成為第一個相容 EVM 的 ZK Rollup 擴容解決方案，意味者相容EVM後的zkSync能夠建設、擴充更多應用生态，吸引更多使用者。
- StarkWare 目前更偏向服務B端客戶的項目，前期所提供的 StarkEx 産品隻面向區塊鍊開發商，盡管已經開發了 Layer2 擴容網絡 StarkNet，但它的底層代碼也不相容以太坊虛拟機（EVM），導緻以太坊應用方想要遷移就需要改動底層代碼。
基本面分析
StarkNet 目标是性能和使用者體驗！團隊表示這些裡程碑将專注于将性能提升到新的高度，并提供無縫的使用者體驗。“到年底，我們将實作強大的網絡，并在 2024 年過渡到無縫治理！”
可以看出包括無縫銜接的性能體驗在内是StarkWare項目未來一段時間着力發展的點。
再從項目的交易量、總鎖定價值、NFT鑄造數量等數值可以看出StarkWare目前的基本狀态。據官網顯示，StarkWare項目目前總鎖定價值（TVL）為5.52億，累計交易額為9470億美元，NFT鑄造數量為10500。其累計交易額及TVL都處于Layer2項目當中的前列。
此外，技術實用性也是StarkWare的一大立足點。團隊曾表示“要建立一個有持續性收入的企業，基于對現金流和收入的要求，創始團隊做出的政策是，首先要開發可以滿足需求的技術”。
基于這樣的政策，StarkWare的知名度不如其它同類項目。另外在項目早期，SatekWare 所提供的産品 StarkEx 主要服務于開發商（to B），而不是普通使用者（to C）。也是以，造就了DeFi領域知名的應用平台（如去中心化合約交易應用 dYdX）。
風險
StarkWare風險在于ZKP技術本身。由于數學工程的複雜性，STARKs距離商業化還有一段時間。另外就其ZKP類型而言，相對于STARK，包括Vitalik Buterin在内的人士從長遠角度更看好SNARK。當StarkWare在未來蓬勃發展時，它如何在技術層面實作對使用者隐私的絕對保護，這是一個考驗。
擴充閱讀：
- 我建立了第一個Web3網頁，很簡單你也可以
- DAO是一場人類社會運作關系的革新
- IPFS是什麼？看這篇文章就夠了
- web3和web3.0有何不同？
- 内容好到炸！《從0到1:精通NFT》第一章