前言

區塊鏈技術實現了安全和去中心化的交易，徹底改變了包括金融、遊戲和供應鏈管理等在內的多個行業。但區塊鏈網路面臨的主要挑戰之一是可擴展性——快速且高效地處理大量交易的能力。這種可擴展性問題導致許多主流的區塊鏈網絡費用高額，且交易速度時間緩慢。要應對這一挑戰，需要創新的解決方案，而StarkWare公司開發了一系列尖端技術來幫助解決這些問題。

本文探討了什麼是StarkWare、StarkWare的歷史及其產品，包括ZK-STARK、StarkEx和StarkNet等。本文還調查了StarkWare、StarkNet代幣和StarkNet基金會的應用程序和用例。

了解StarkWare

來源：Starkware

Starkware是一家科技公司，主要從事使用ZK-STARK技術開發密碼證明系統，以提高區塊鏈的可擴展性、安全性和隱私性。公司的目標是使用其技術在以太坊上構建L2區塊鏈，以實現更快、更安全的交易，同時仍然保護用戶的隱私。

Starkware使用了ZK-STARK技術，這一技術讓一方能夠證明其擁有特定信息而不泄露該信息，從而提高區塊鏈交易的信任度和安全性。此外，該公司還提供了擴展解決方案，爲用戶帶來了安全、快速且無縫的體驗。

合作夥伴

StarkWare已與多家公司和組織協作，並建立了合作夥伴關係，這表明了其技術對區塊鏈和密碼學生態系統具有重要意義。值得注意的是，該公司與以太坊建立了合作關係，計劃提供L2擴展解決方案，以提高以太坊網路的吞吐量和可擴展性，降低交易成本。此外，它也與Chainlink合作，試圖將鏈下數據解決方案集成到自己的產品中。同時，它還與ConsenSys、dYdX和0x等其他實體展開了合作，這表明StarkWare與他人合作以實現其目標的決心。

StarkWare還與 Immutable X 建立了重要合作關係。Immutable X 專注於將以太坊網路上的不可替代代幣 (NFT) 擴展解決方案作爲L2解決方案。StarkWare與 Immutable X 建立合作關係，試圖爲以太坊網路上的NFT交易和其它交易提供速度更快、成本更低廉、更具可擴展性的解決方案。

StarkWare的歷史

2018年，密碼學、計算機科學和工程領域的專家團隊創立了StarkWare公司。該團隊成員有聯合創始人Eli Ben-Sasson教授、Alessandro Chiesa教授、Michael Riabzev和Uri Kolodny等，他們均具有學術界和工業界的背景。2020年，該公司推出編程語言Cairo，這是其發展過程中的一個重要裏程碑。StarkWare的第一個技術產品是StarkEx——一個專有的擴展引擎，於2020年6月在以太坊上推出。2021年11月晚些時候，StarkNet的Alpha在主網上推出，進一步擴大了公司在區塊鏈領域的影響力。

此外，StarkWare還從紅杉資本、Paradigm和Coinbase Ventures等投資者和合作夥伴處獲得了大量資金，估值在2021年11月至2022年5月期間從20億美元飆升至80億美元。該公司一直致力於開發創新技術，以增強區塊鏈的可擴展性、隱私性和安全性。

什麼是ZK-STARK？

來源：StarkWare

可擴展的透明知識論證(Scalable Transparent ARguments of Knowledge)簡稱STARKs，是一種加密證明系統，能有效地證明和驗證計算。其目的是提高區塊鏈的可擴展性和隱私性，使大型計算能夠在鏈下完成，這樣成本更低；然後使用單個 STARK 證明在鏈上進行驗證。STARK受後量子的保護，可抵抗量子計算機的攻擊，因而成爲有望解決區塊鏈可擴展性和隱私問題的解決方案。

ZK-STARKs（零知識可擴展透明知識論證）由StarkWare創建，也是一種STARK，可強制執行區塊鏈計算的集成度和隱私性。ZK-STARKs可實現將區塊鏈將計算轉移到單個鏈下STARK證明者，然後使用鏈上 STARK 驗證者驗證這些計算的集成度。這可同時批量處理數千筆交易，減少主區塊鏈的負載並降低gas成本。 ZK-STARKs是透明的，不依賴於可信設置，因而比其他零知識證明系統更安全、更加去中心化。在StarkWare平台上，“STARK”和“ZK-STARK”可互換使用。

StarkWare產品

StarkWare提供StarkEx和StarkNet這兩種主要產品作爲擴展解決方案，兩者均由該公司開發的一種編程語言Cairo提供支持。

Cairo

來源：Cairo

Cairo是一種高級編程語言，可爲一般計算創建STARK可證明的程序，爲StarkEx平台提供動力，以在以太坊主網上擴展應用程序。dYdX、Sorare、Immutable X、rhino.fi、Celer、Apeworx和Canvas等各種項目都使用了Cairo。此外，Cairo是StarkNet的原生智能合約語言。StarkNet是一種去中心化的有效性匯總（Validity-Rollup），旨在提高以太坊的可擴展性和隱私性。Cairo和StarkNet提供一種更有效的方式來驗證區塊鏈上的交易，有望解決以太坊網路面臨的挑戰。

StarkEx

來源： StarkWare

StarkWare的StarkEx是運行在以太坊主網上的L2可擴展性引擎。它提供了一個用於創建許可的專用擴展解決方案的框架。此解決方案使用STARK證明進行鏈下計算，成本低廉。StarkEx有一個用於擴展各種應用程序的有用應用程序流工具箱，支持一系列用例，如NFT鑄造和交易、衍生品交易、AMM、現貨交易、支付和DeFi 池等。dYdX、Immutable、Sorare和Celer等項目已在 StarkEx上部署了其應用程序，而StarkWare將繼續添加更多應用程序流，以滿足其客戶和市場的需求。

StarkNet

來源：StarkNet

StarkNet是一個非許可的去中心化Validity-Rollup。它作爲以太坊上的L2網路運行，讓任何dApps都能在不影響以太坊的可組合性和安全性的情況下實現無限的計算規模。它在鏈下生成STARK證明，然後在鏈上驗證這些證明，以此來支持擴展，同時保持L1以太坊的安全性。開發人員能使用 Starknet合約輕鬆部署任何業務邏輯，而StarkNet提供了以太坊級別的可組合性。

StarkNet是一個L2網路。任何用戶或開發人員都可在該網路中部署以Cairo語言開發的智能合約，而StarkNet定序器批量交易並將其發送進行處理和證明。一個由大型開發人員組成的社區深度參與到StarkNet生態系統中，構建應用程序、工具和基礎設施。

StarkEx和StarkNet的差異

StarkEx和StarkNet都是以太坊的擴容解決方案，且都基於STARK，但它們有不同的操作要求和互操作模式。StarkEx更適合適合StarkEx提供的APIs的自包含應用程序，而StarkNet更適合需要與其他協議同步交互或有超出StarkEx提供的需求的協議。這兩種解決方案都提供可擴展性、低gas成本和安全性，但具體選擇誰則取決於應用程序或協議的特定需求。

StarkWare的應用和用例

StarkWare的STARK技術擴展了區塊鏈上的各種用例，包括NFT的大規模鑄造、永續合約交易、現貨交易、支付、DeFi策略、公平投票、新的AMM設計和數據管理等。借助圖靈完備的編程語言Cairo，StarkWare可快速部署適用於任何用例的解決方案並處理所有項目規模。自2020年6月以來，StarkWare的解決方案StarkNet和StarkEx已在主網上結算了累計超過100B 美元的交易和數千萬筆交易。

除各種用例之外，StarkWare的解決方案還在多個行業得到應用。例如，區塊鏈足球遊戲Sorare使用了StarkWare的技術，能以實惠的價格大量鑄造NFT，從而節省了數百萬美元的gas費。DeFi平台DeversiFi使用了StarkEx，能以比用戶籤署的更優價格結算交易，降低了最小訂單量，並爲交易者保密交易歷史。此外，dYdX使用StarkEx爲其永續合約提供支持，每天能處理數十億美元的交易並將其業務增長了500倍。供應鏈監控、醫療信息管理、房地產記錄保存和音樂版稅跟蹤等其他行業也可從StarkWare的解決方案中受益。

什麼是StarkNet代幣(STRK)？

最近，StarkWare在以太坊主網上部署了其原生代幣StarkNet代幣(STRK)。StarkNet 代幣在 StarkNet生態系統的運作和發展中起着至關重要的作用，讓用戶能爲網路的價值和戰略方向做決定，並維護和保護網路的運營。該代幣將用於進一步使生態系統去中心化，讓用戶能投票、抵押和支付費用。

但該公司已警告潛在投資者提防詐騙，因爲這些代幣目前並未出售。基金會需要時間來確定代幣的分配機制。StarkWare股東、員工和獨立合作夥伴軟件開發商持有的代幣的鎖定期爲四年，一年後開始逐步釋放。需要注意的是，StarkNet代幣是StarkNet生態系統的原生代幣，且不代表StarkWare的股權或任何參與管理公司的權利。

StarkNet基金會

爲推動將StarkNet構建爲非許可、去中心化的Validity Rollup，網路已啓動StarkNet基金會。該基金會由一個強大的跨學科七人委員會領導，每個成員都具有不同的背景和專業知識。該基金會專注於爲蓬勃發展的StarkNet提供支持，實現StarkNet去中心化提案的願景，並推動作爲所有人公共利益的StarkNet共享技術的發展，在未來幾年將保持這種狀態。

該基金會將優先培育StarkNet用戶社區，通過教育人們了解StarkNet的相關知識及技術來擴大社區，監督網路的持續發展並推進研究。它還將開發治理機制和建立去中心化排序和證明，以進一步促進StarkNet的去中心化。基金會使用初始代幣供應量的50.1%啓動，這確保網路資源有效部署以實現其目標。董事會成員使議案平衡、獨立且體現了多學科的技能，而基金會是一個獨立的實體，將爲那些建設、使用和維護公共利益的人（即StarkNet協議）提供支持。

STRK代幣經濟學

來源： StarkWare Medium Platform

StarkNet代幣的初始流通供應量爲100億枚。其動態供應量會隨時間而增加，這取決於社區的決策。代幣分配具體爲，StarkWare投資者獲得17%，核心貢獻者獲得32.9%，以及StarkWare授予基金會的50.1%——用於社區供應、社區回扣、研究和工作贈款、戰略儲備、捐贈和未分配的資金庫。爲讓核心貢獻者和投資者的利益與StarkNet社區的一致，對分配給這些羣體的所有代幣實行了4年線性釋放的鎖定期和一年的懸崖期。

使用StarkWare的好處

• 高可擴展性，每秒支持數千個事務
• 使用零知識證明保護隱私
• 降低了gas費用以提高成本效益
• 與各種區塊鏈平台靈活集成
• 跨鏈交易的互操作性
• 通過高級加密算法實現高級別安全性

使用StarkWare的缺點

• 由於交易處理能力爲中心化的，因而具有中心化風險。
• 實施具有復雜性，需要專業技能和知識。
• 潛在用可能缺乏理解或意識，因而上手很慢。
• 對交易類型（特別是那些需要高透明度的交易類型）有限制。

StarkWare的前景

StarkWare是零知識證明解決方案的領先供應商，可實現復雜密碼算法支持的高吞吐量和低成本計算。公司的創新技術已對區塊鏈領域帶來了重大影響，未來前景一片光明。StarkWare的技術有潛力解決區塊鏈行業面臨的一些最緊迫挑戰，例如可擴展性和數據隱私。行業在不斷發展和演變，將對能夠實現更快、更低廉和更安全交易的解決方案有很大的需求。

此外，StarkWare技術的潛在用例已在區塊鏈以外的領域運用，例如人工智能和機器學習。這些行業在不斷發展並將產生更多數據，這對安全和私有計算的需求只會增加。總的來說，StarkWare的未來充滿希望。通過繼續創新並與其他公司和組織合作，StarkWare有能力處於零知識證明技術的最前沿，並以令人期待的新方式推動其採用。

總結

StarkWare是一家科技公司，主要從事利用ZK-STARK技術開發密碼證明系統，以提高區塊鏈的可擴展性、安全性和隱私性。憑藉ZK-STARKs，StarkWare讓一方能夠證明其擁有特定信息而不泄露該信息，從而提高區塊鏈交易的信任度和安全性。StarkWare的產品Cairo、StarkEx和StarkNet爲以太坊網路面臨的挑戰提供了有用的解決方案，提高了可擴展性、隱私和安全性，同時降低了成本。

StarkWare擁有來自投資者和合作夥伴的大量資金以及一支才華橫溢的專家團隊，將準備繼續革新區塊鏈行業，並推動區塊鏈及其他領域的發展。