StarkWare帝國的擴容創新之路

StarkWare自2018年起開始應用STARK有效性證明來解決以太坊的擴容問題。公司推出了基於SaaS模型的StarkEx，創造了Cairo編程語言，並構建了允許編寫自定義邏輯的去中心化網路Starknet。

StarkWare致力於技術、數學、創新與產品交付的雙重關注，支持推動以太坊和STARK的團隊，努力使產品開源、去中心化並專注於將STARK作爲公共產品。未來,StarkWare將致力於讓Starknet成爲由Starknet Foundation治理的無需許可的去中心化有效性rollup。

STARK技術基於完整性證明,利用數學確保計算的正確性。這一技術源於1991年的PCP概念,通過數學監控和確保大型計算的完整性。STARK是PCP的改進版本,讓小用戶能夠檢查並確保大型機構的正確運作。

StarkWare公司

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

團隊成員

• Eli Ben-Sasson:聯合創始人兼首席科學家,以色列理工學院教授,Zcash創始科學家,zkSNARKs發明者
• Alessandro Chiesa:聯合創始人兼首席科學家,加州大學伯克利分校教授,Zcash創始科學家,zk-SNARKs聯合發明者
• Uri Kolodny:聯合創始人兼CEO,經驗豐富的連續創業者
• Michael Riabzev:聯合創始人兼首席架構師,以色列理工學院博士
• Oren Katz:工程副總裁,20年經驗的資深工程師

融資情況

公司估值已達80億美元,獲得了Vitalik、Paradigm、Sequoia等資本支持,是擴容領域估值最高的團隊。

StarkEx

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

StarkEx通過批處理、驗證、生成證明和鏈上驗證四個步驟工作。它已在dYdX、Immutable、Sorare等多個應用中成功部署。

Starknet

Starknet是一個無需許可的去中心化有效性rollup網路,作爲以太坊的L2網路運行。它使用STARK證明系統,允許dApp在不影響以太坊可組合性和安全性的前提下實現無限擴展計算。

Starknet合約和操作系統使用Cairo語言編寫,支持部署和擴展各種用例。作爲去中心化的L2解決方案,它爲dApp提供更高的擴展性和性能。

版本更新

Starknet正在不斷迭代升級,主要包括:

• 向Cairo 1.0過渡
• 性能改進:提高TPS,使用Rust序列器、CairoVM和Papyrus全節點
• 鏈下數據可用性
• 帳戶抽象化設計優化

帳戶系統

Starknet採用帳戶抽象化設計,允許用戶自定義帳戶功能。帳戶合約必須包含validate和execute兩個函數。這種設計提供了更大的靈活性,如社交恢復、面部識別等功能。

代幣經濟學

Starknet代幣將用於:

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

總量爲100億,初始分配如下:

• 17% 給投資者
• 32.9% 給核心貢獻者
• 50.1% 授予基金會用於社區獎勵、研發資助等

代幣將採用4年線性釋放,1年鎖定期。

商業模式

1. 銷售StarkEx技術服務,向客戶收取服務費
2. 打造StarkNet網路,通過交易費、MEV等獲取價值

StarkWare致力於通過技術創新推動以太坊擴容,其產品和解決方案爲區塊鏈生態帶來了重要貢獻。隨着技術的不斷進步,StarkWare有望在Layer擴容領域保持領先地位。