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

StarkWare是zk rollups賽道的領軍企業之一。由以色列理工學院的Eli Ben-Sasson教授（zk SNARK和zk STARK的聯合發明者）等人共同創立，爲區塊鏈行業提供基於STARK技術的解決方案。公司目前開發了兩款主要產品:StarkEx和StarkNet。

StarkEx

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

StarkEx將多筆交易打包在一個STARK證明中,然後在鏈上驗證,從而降低每筆交易的平均燃料成本。其工作原理包括批處理、驗證和更新、生成證明以及鏈上驗證四個步驟。

目前StarkEx已成功應用於多個項目,如某交易平台、某NFT市場等。

StarkNet

StarkNet是一個無需許可的去中心化有效性折疊網路(ZK-Rollup)。作爲以太坊上的L2網路,它可以讓任何dApp在不影響以太坊可組合性和安全性的前提下實現無限擴展計算。

StarkNet合約和操作系統使用Cairo編程語言編寫,支持部署和擴展各種用例。作爲去中心化的二層網路解決方案,StarkNet旨在爲dApp提供更高的擴展性和性能。

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

帳戶抽象化

StarkNet採用帳戶抽象化設計,允許用戶對帳戶功能進行編程。比如:

• 自定義有效籤名的含義
• 用不同代幣支付交易費用
• 設計自定義的重放保護機制

StarkNet帳戶合約必須包含validate和execute兩個函數,以確保只有帳戶所有者才能發起交易。

代幣經濟學

StarkNet計劃發行原生代幣,總量100億。主要用途包括:

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

代幣初始分配:

• 17% 給投資者
• 32.9% 給核心貢獻者
• 50.1% 給基金會,用於社區獎勵、生態發展等

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

總結

StarkWare是zk rollups領域的佼佼者,產品StarkEx和StarkNet各具特色。團隊實力雄厚,估值已達80億美元。目前StarkNet正在向Cairo 1.0過渡,朝着更高TPS發展。雖然應用體驗仍有提升空間,但StarkNet未來發展值得期待。