StarkWare: 開創以太坊擴容新紀元

StarkWare自2018年起致力於利用STARK有效性證明解決以太坊擴容問題。公司推出了基於SaaS模式的StarkEx、創造了Cairo編程語言,並構建了首個支持自定義邏輯的去中心化生產網路Starknet。

StarkWare專注於技術創新與產品落地,同時支持推動以太坊和STARK技術發展的其他團隊。公司致力於開源產品、推動去中心化,並將STARK視爲公共產品。

未來,StarkWare計劃將Starknet發展成一個由Starknet基金會治理的無需許可的去中心化有效性rollup。公司將專注於Starknet各組成部分的去中心化,包括Prover、Sequencer和治理等。

STARK技術基於完整性證明,利用數學確保計算的正確性。這一技術源於1991年提出的PCP概念,STARK則是其改進版本,可讓小用戶驗證大型機構的運作。

StarkWare公司概況

StarkWare是zk rollups領域的領先公司,由以色列理工學院Eli Ben-Sasson教授等人聯合創立。公司目前主要開發了StarkEx和StarkNet兩款產品。

核心團隊

• Eli Ben-Sasson:聯合創始人兼首席科學家,zkSNARKs發明者
• Alessandro Chiesa:聯合創始人兼首席科學家,zk-SNARKs聯合發明者
• Uri Kolodny:聯合創始人兼CEO
• Michael Riabzev:聯合創始人兼首席架構師
• Oren Katz:工程副總裁

融資情況

StarkWare目前估值80億美元,獲得了Vitalik、Paradigm、Sequoia等知名投資者的支持,是擴容領域估值最高的團隊。

StarkEx

StarkEx是一個基於以太坊的應用特定Layer-2擴展引擎,旨在提供快速、低成本的交易,同時保證安全性和隱私。它通過STARK證明系統實現交易的批處理和驗證,已在dYdX、Immutable等多個應用中成功部署。

Starknet

Starknet是一個無需許可的去中心化有效性rollup網路,作爲以太坊的Layer-2解決方案運行。它支持使用Cairo語言編寫和部署智能合約,爲dApp提供無限擴展的計算能力。

主要特點

• 基於STARK證明系統,保證安全性和可擴展性
• 使用Cairo編程語言開發合約和應用
• 支持與其他合約交互,實現協議組合
• 通過異步消息與以太坊合約交互

版本更新

Starknet持續迭代更新,最新的Alpha v0.11.0版本開始向Cairo 1.0過渡,並計劃引入Rust序列器、Rust CairoVM和Papyrus全節點組成的"性能三人組"以提升TPS。

帳戶抽象

Starknet採用帳戶抽象設計,允許用戶自定義帳戶行爲和功能,如自定義籤名機制、支付gas費的代幣等。每個帳戶合約必須包含validate和execute兩個核心函數。

代幣經濟

Starknet將發行原生代幣,用於支付交易費用、質押和治理。總量爲100億,其中50.1%由Starknet基金會管理,用於社區激勵、生態建設等。代幣分配採用4年線性釋放機制。

商業模式

1. 向客戶提供StarkEx定制化技術服務,收取服務費
2. 通過StarkNet收取Layer2交易費用、sequencer拍賣獲取MEV、發行代幣等方式

StarkWare憑藉優秀的技術和團隊,在zk rollup賽道處於領先地位。但由於採用Cairo語言,生態發展較慢。未來有望隨着技術進步和生態繁榮,在以太坊擴容中發揮更大作用。