StarkWare的創新歷程:探索StarkEx和StarkNet

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

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

STARK技術基於完整性證明,利用數學確保計算的正確性。這一技術源於1991年的一篇文章,介紹了單一可靠計算機監控不可靠超級計算機的概念。STARK是該技術的改進版本,可讓小用戶驗證大型機構的運作。

StarkWare團隊

StarkWare由以色列理工學院的Eli Ben-Sasson教授等人聯合創立,爲區塊鏈行業提供基於STARK技術的解決方案。核心團隊成員包括:

• 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證明實現快速低成本交易。它將多筆交易打包在一個STARK證明中進行鏈上驗證,降低了每筆交易的平均燃料成本。StarkEx已在dYdX、Immutable等多個應用中成功部署。

StarkNet

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

StarkNet版本更新

StarkNet正在向Cairo 1.0過渡,持續改進性能和TPS。最新版本v0.11.0引入了Rust序列器、Rust CairoVM和Papyrus全節點等性能優化。

StarkNet帳戶抽象

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

代幣經濟學

StarkNet代幣的主要用途包括:

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

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

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

核心貢獻者和投資者的代幣將有4年鎖定期。

商業模式

1. 向客戶出售StarkEx技術服務
2. 通過StarkNet收取交易費用、獲取MEV價值
3. 未來可能發行代幣,孵化StarkNet生態項目