StarkWare: 探索 StarkEx 和 StarkNet 的創新之路

StarkWare 是 ZK Rollup 領域的領先公司之一,由以色列理工學院的 Eli Ben-Sasson 教授(ZK-SNARK 和 ZK-STARK 的聯合發明者)聯合創立。公司致力於爲區塊鏈行業提供基於 STARK 技術的擴容解決方案。

目前,StarkWare 主要開發了兩款產品:StarkEx 和 StarkNet。

StarkEx

StarkEx 是一種基於以太坊的應用特定 Layer-2 擴展引擎,旨在解決以太坊等 Layer-1 區塊鏈網路的可擴展性問題。它利用 STARK 證明技術實現了快速、低成本的交易,同時保證了安全性、隱私性和自托管。

StarkEx 通過將多筆交易打包在一個 STARK 證明中,然後在鏈上驗證,從而降低了每筆交易的平均燃料成本。其工作流程包括批處理、驗證和更新、生成證明以及鏈上驗證四個步驟。

目前,StarkEx 已成功應用於多個項目,如 dYdX、Immutable、Sorare 等。

StarkNet

StarkNet 是一個無需許可的去中心化有效性 Rollup 網路(又稱"ZK-Rollup")。作爲以太坊上的 Layer-2 網路,StarkNet 讓任何去中心化應用都能在不影響以太坊可組合性和安全性的前提下實現無限擴展計算。

StarkNet 合約和操作系統使用 Cairo 語言編寫,支持部署和擴展任何用例。Cairo 是專爲 StarkNet 設計的編程語言,旨在簡化智能合約的開發和部署。

與 StarkEx 不同,StarkNet 是一個更爲通用、全面的 Layer-2 解決方案,爲整個以太坊生態系統提供了一個去中心化的計算平台。

帳戶抽象

StarkNet 採用了帳戶抽象設計,允許用戶通過智能合約自定義帳戶功能。這種設計提供了更大的靈活性和安全性,例如:

• 自定義籤名驗證邏輯
• 使用不同代幣支付交易費用
• 設計獨特的重放保護機制
• 實現社交恢復功能
• 通過面部識別等生物特徵操作帳戶

StarkNet 帳戶合約必須包含 validate 和 execute 兩個關鍵函數,以確保交易安全性和資源計費。

代幣經濟學

StarkNet 的原生代幣將用於:

• 支付交易費用
• 質押以提供關鍵網路服務
• 參與網路治理

總代幣供應量爲 100 億,初始分配如下:

• 17% 分配給 StarkWare 投資者
• 32.9% 分配給核心貢獻者
• 50.1% 授予 StarkNet 基金會,用於社區激勵、生態發展等

爲確保長期利益一致性,核心貢獻者和投資者的代幣將受到 4 年的鎖定期,包括 1 年懸崖期和線性釋放。

商業模式

StarkWare 的商業模式包括:

1. 通過 StarkEx 向客戶提供定制化的 Layer-2 擴容服務,收取服務費。

2. 打造去中心化的 Layer-2 網路 StarkNet,通過交易費用、MEV 拍賣、代幣發行等方式獲取價值。

StarkWare 已獲得 Vitalik、Paradigm、Sequoia 等頂級投資者的支持,目前估值達 80 億美元,是擴容領域估值最高的團隊。未來,StarkWare 將致力於 StarkNet 的去中心化發展,並持續優化網路性能和用戶體驗。