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

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

StarkEx

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

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

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

StarkNet

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

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

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

帳戶抽象化

StarkNet採用帳戶抽象化設計,允許在帳戶管理方面更具靈活性。用戶可以通過帳戶合約對帳戶功能進行編程,例如:

• 確定有效籤名的含義,或帳戶允許與哪些合約互動
• 用不同代幣支付交易費用
• 設計自定義的重放保護機制,允許並行發送多個不相關交易

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

代幣經濟學

StarkNet代幣的主要作用包括:

• 交易費用支付
• 質押以參與網路服務
• 網路治理

總供應量爲100億個代幣,初始分配如下:

• 17% 分配給StarkWare投資者
• 32.9% 分配給核心貢獻者(StarkWare及其員工、顧問和開發合作夥伴)
• 50.1% 授予StarkNet基金會,用於社區獎勵、研發資助、生態系統建設等

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

商業模式

StarkWare的商業模式主要包括兩個方面:

1. 出售定制化技術引擎服務StarkEx,直接向有擴容需求的客戶收取服務費。

2. 打造去中心化的Layer2網路StarkNet,通過收取交易費用、獲取MEV價值、發行代幣等方式實現價值捕獲。