StarkWare: 探索StarkEx和StarkNet的創新之路

StarkWare公司成立於2018年,致力於利用STARK有效性證明技術解決以太坊的可擴展性問題。公司推出了基於SaaS模式的StarkEx,開發了Cairo編程語言,並構建了允許編寫自定義邏輯的去中心化網路Starknet。

StarkWare專注於技術、數學、創新與產品交付,支持推動以太坊和STARK技術發展的團隊,並努力使產品開源、去中心化,將STARK作爲公共產品。

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

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

區塊鏈恢復了貨幣交換的點對點特性,消除了對可信中介的需求。以太坊則將此概念推廣到更廣泛的應用,允許創建構成社會經濟基礎的通用程序。

StarkWare公司概況

StarkWare是zk rollups領域的領先公司之一,由以色列理工學院的Eli Ben-Sasson教授(zk SNARK和zk STARK的聯合發明者)聯合創立,爲區塊鏈行業提供基於STARK技術的解決方案。公司目前開發了兩款產品:StarkEx和StarkNet。

核心團隊成員

• Eli Ben-Sasson:聯合創始人兼首席科學家,以色列理工學院計算機專業教授,Zcash創始科學家,zkSNARKs發明者。
• Alessandro Chiesa:聯合創始人兼首席科學家,加州大學伯克利分校計算機專業教授,Zcash創始科學家,zk-SNARKs聯合發明者,libsnark核心開發者。
• Uri Kolodny:聯合創始人兼CEO,經驗豐富的連續創業者。
• Michael Riabzev:聯合創始人兼首席架構師,以色列理工學院博士,曾就職於Intel和IBM。
• Oren Katz:工程副總裁,希伯來大學計算機專業畢業,特拉維夫大學MBA,20年經驗的資深工程師。

融資情況

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

StarkEx

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

StarkEx提供了一系列用於實現低成本鏈下計算的應用流程,將多筆交易打包在一個STARK證明中,然後在鏈上進行驗證,降低了每筆交易的平均燃料成本。StarkEx的工作原理包括批處理、驗證和更新、生成證明以及鏈上驗證四個步驟。

StarkEx已成功部署在多個應用中,如dYdX、Immutable、Sorare、DeversiFi和Celer等。

與StarkNet的區別

StarkEx是針對特定應用的Layer-2擴展引擎,主要優化單一應用程序的性能。它通過批量處理交易並在鏈下驗證,實現更快速、低成本的交易,主要用於去中心化交易所、NFT市場和遊戲等。

StarkNet則是一個無需許可的更通用、完整的Layer-2解決方案,爲整個以太坊生態系統提供去中心化計算平台。開發者可在其上部署用Cairo語言編寫的智能合約,支持合約間交互和與以太坊合約的異步消息傳遞。

StarkNet

StarkNet是一個無需許可的去中心化有效性折疊網路(ZK-Rollup)。作爲以太坊上的L2網路,它允許任何dApp在不影響以太坊可組合性和安全性的前提下實現無限擴展計算,這歸功於StarkNet依賴最安全且最具可擴展性的加密證明系統STARK。

StarkNet合約和操作系統使用Cairo編寫,支持部署和擴展任何用例。作爲去中心化的二層網路解決方案,StarkNet旨在爲dApp提供更高的擴展性和性能。通過在以太坊上運行,它可以利用現有基礎設施和安全性,同時提供更高的計算能力。

Cairo是爲StarkNet設計的編程語言,旨在簡化智能合約的開發和部署。通過使用Cairo,開發人員可以輕鬆構建高度可擴展的應用程序,涵蓋金融、遊戲、供應鏈等多個領域。

版本更新

StarkNet持續推出新版本,不斷改進性能和功能:

• Alpha v0.11.0:開始向Cairo 1.0過渡,進行語言改進和性能優化。
• v0.10.3:改進性能,添加新命令。
• v0.10.2:引入音序器並行化,添加新的費用估算端點。
• v0.10.1:添加DeployAccount交易,改進L1費用計算。
• v0.10.0:引入帳戶抽象設計的下一步。
• v0.9.1:API和CLI更新。
• v0.9.0:引入合約類/實例範式。

帳戶系統

StarkNet採用帳戶抽象化設計,允許更靈活的帳戶管理。主要特點包括:

• 籤名抽象化:自定義有效籤名的定義。
• 費用抽象化:使用不同代幣支付交易費用。
• Nonce抽象化:設計自定義重放保護機制。

StarkNet帳戶合約必須包含validate和execute兩個函數,以確保只有帳戶所有者能發起交易並收取資源使用費。

代幣經濟學

StarkNet代幣的主要作用包括:

• 交易費用:未來預計完全使用原生StarkNet代幣支付。
• 質押:某些關鍵服務可能需要質押StarkNet代幣。
• 治理:改進提案需要最小代幣支持閾值。

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

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

核心貢獻者和投資者的代幣將有4年鎖定期,帶有線性釋放和1年懸崖。

商業模式

1. 出售定制化技術引擎服務StarkEx,向有擴容需求的客戶收取服務費。
2. 打造去中心化Layer2網路StarkNet,通過交易費用、MEV價值和代幣經濟驅動生態發展。

總結

StarkWare是zk rollups領域的領先公司,提供StarkEx和StarkNet兩款產品。公司擁有強大的技術團隊和投資背景,估值達80億美元。StarkNet採用Cairo語言,雖然生態發展相對較慢,但正朝着更高TPS發展。期待StarkNet未來能實現更好的應用體驗和技術突破。