StarkWare：STARK技術的先驅者

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

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

STARK技術基於完整性證明，利用數學確保計算的正確性。這一技術源於1991年的PCP概念，StarkWare對其進行了改進，使小用戶能夠驗證大型機構的運作。

StarkWare團隊

StarkWare由以色列理工學院教授Eli Ben-Sasson等人共同創立，核心成員包括:

• Eli Ben-Sasson：聯合創始人兼首席科學家，zkSNARKs發明者
• Alessandro Chiesa：聯合創始人兼首席科學家，加州大學伯克利分校教授
• Uri Kolodny：聯合創始人兼CEO，經驗豐富的創業者
• Michael Riabzev：聯合創始人兼首席架構師
• Oren Katz：工程副總裁，20年經驗的資深工程師

公司估值已達80億美元，獲得Vitalik、Paradigm、Sequoia等支持。

StarkEx

StarkEx是基於以太坊的應用特定Layer-2擴展引擎，使用STARK證明實現快速、低成本交易。它通過批處理多筆交易並在鏈上驗證，降低了每筆交易的燃料成本。StarkEx已成功應用於dYdX、Immutable等多個項目。

Starknet

Starknet是無需許可的去中心化有效性rollup網路，作爲以太坊上的L2網路運行。它使用Cairo編程語言編寫合約和操作系統，支持部署和擴展各種用例。Starknet旨在爲dApp提供更高的擴展性和性能，同時保持以太坊的可組合性和安全性。

版本更新

Starknet持續進行版本更新，改進包括:

• Cairo 1.0語言改進
• 性能提升，引入Rust序列器
• 鏈下數據可用性
• 帳戶抽象化設計優化

帳戶系統

Starknet採用帳戶抽象化設計，允許用戶自定義帳戶功能。帳戶合約必須包含validate和execute函數，以確保安全性和靈活性。

代幣經濟學

Starknet代幣總量爲100億，初始分配如下:

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

代幣將用於支付交易費用、質押和治理。核心貢獻者和投資者的代幣將有4年鎖定期。

商業模式

1. 出售StarkEx技術服務，向客戶收取服務費
2. 通過StarkNet網路收取交易費用、MEV價值，發行代幣驅動生態發展

StarkWare作爲zk rollups領域的領先企業，憑藉強大的技術實力和優秀的團隊，有望在以太坊擴容解決方案中發揮重要作用。