StarkWare：探索 StarkEx 和 StarkNet 的創新之旅

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

StarkWare 致力於技術、數學、創新與產品交付的雙重關注；支持推動以太坊和 STARK 技術的團隊；努力實現產品開源、去中心化，並將 STARK 作爲公共產品。

未來，StarkWare 將致力於將 Starknet 發展成爲由 Starknet Foundation 治理的無需許可的去中心化有效性 rollup，專注於去中心化 Starknet 的各個組成部分，如 Prover、Sequencer 和治理。

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

StarkWare 公司概況

StarkWare 是 zk rollups 領域的領先公司之一，由以色列理工學院的 Eli Ben-Sasson 教授（zk SNARK 和 zk STARK 的聯合發明者）共同創立。公司目前開發了兩款產品：StarkEx 和 StarkNet。

核心團隊成員

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

融資情況

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

StarkEx

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

StarkEx 提供一系列用於實現廉價鏈下計算的應用流程，將多筆交易打包在一個 STARK 證明中，然後在鏈上驗證，從而降低每筆交易的平均燃料成本。

StarkEx 已成功應用於多個項目，如 dYdX、Immutable、Sorare、DeversiFi 和 Celer。

Starknet

Starknet 是一個無需許可的去中心化有效性折疊網路（ZK-Rollup）。它作爲以太坊上的 L2 網路運行，使任何 dApp 都能在不影響以太坊可組合性和安全性的前提下實現無限擴展計算。

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

版本更新

Starknet 持續進行版本更新，主要包括：

• 向 Cairo 1.0 過渡
• 性能改進，包括過渡到 Rust 音序器
• 鏈下數據可用性處理
• 引入帳戶抽象設計

帳戶抽象化

Starknet 採用帳戶抽象化設計，允許用戶自定義帳戶功能。主要特點包括：

• 籤名抽象化
• 費用抽象化
• Nonce 抽象化

Starknet 帳戶合約必須包含 validate 和 execute 兩個函數。

代幣經濟學

Starknet 代幣的主要作用包括：

• 交易費用支付
• 質押
• 治理

總量爲 100 億，初始分配如下：

• 17% 給 StarkWare 投資者
• 32.9% 給核心貢獻者
• 50.1% 授予基金會，用於社區補給、返利、研發、戰略儲備等

商業模式

1. 出售 StarkEx 定制化技術引擎服務
2. 打造去中心化 Layer2 網路 StarkNet，通過交易費用、MEV 和代幣經濟學獲取價值