STARKs：通過高效證明計算的完整性來實現區塊鏈擴展
StarkEx：是一個特定應用的擴展引擎
Starknet：是一個無需許可的、智能合約的第二層網絡
STARKs
STARKs（Scalable, Transparent ARgument of Knowledge，可擴展、透明的知證）是一種證明系統，能夠證明和驗證計算。它允許處理大型計算，為計算的正確性生成證明，然後在極少的步驟中驗證該證明。
STARKs 在區塊鏈擴展性方面可以發揮關鍵作用，它允許大型計算在鏈下進行，成本較低，只在鏈上進行驗證，驗證所需的計算僅占原計算的一小部分。換句話說，通過在鏈上執行極少的步驟，驗證者可以斷言在鏈下完成的大量計算的完整性。
使用 STARKs，第二層解決方案可以批量處理和計算成千上萬的交易，然後使用單個 STARK 證明在鏈上驗證其有效性。鏈上過程的成本在批次中的所有交易之間分攤。這導致了以太坊安全性和每筆交易的低氣體成本。
低計算成本將開啟一類之前在鏈上不可行的應用程序。這些特性使 STARKs 成為改善用戶體驗和降低氣體成本的絕佳構建模塊，同時保持以太坊結算層的安全性。
StarkWare 提供了兩種使用 STARKs 擴展以太坊的解決方案：StarkEx 和 Starknet。
StarkEx
StarkEx 是一個用於創建許可、特定應用的擴展解決方案的框架。StarkEx 是一個有用的應用流程工具箱，項目可以使用它實現低成本的鏈下計算。鏈下生成一個證明，證明執行的正確性。這樣的證明可以包括多達 12,000 至 500,000 筆交易（取決於交易類型）。然後將證明發送到 STARK 驗證器以在鏈上被接受。這意味著所有交易只需一次驗證 —— 每筆交易的攤銷氣體成本極低。
在 StarkEx 上部署的一些應用示例包括 dYdX（永續交易）、Immutable 和 Sorare（NFTs — 鑄造和交易）、DeversiFi（現貨交易）和 Celer（DeFi Pooling）。
StarkWare 不斷向 StarkEx 添加更多應用流程，以滿足市場和客戶的需求。
Starknet
Starknet 是一個無需許可的第二層網絡，任何用戶或開發者都可以在其中部署用 Cairo 語言開發的智能合約。
類似於以太坊智能合約體驗，在 Starknet 生態系統內，您的合約可以與部署在 Starknet 上的任何其他合約進行交互，實現高度可組合的協議。Starknet 合約還可以通過異步消息傳遞與以太坊合約進行交互。
與 StarkEx 不同的是，在 StarkEx 中，應用負責提交交易，而在 Starknet 中，序列器批量處理交易並發送以進行處理和證明。（Starknet 的序列器目前由 StarkWare 運營，未來計劃去中心化。）這意味著一旦應用部署了它們的 Cairo 合約，就不必擔心運行額外的運營商基礎設施。Starknet 支持 Rollup 數據可用性模式，意味著 rollup 的狀態連同 STARK 證明一起寫入以太坊。
大量的開發者社區正在深入參與 Starknet 生態系統的建設，開發應用、工具和基礎設施。數十個應用已在測試網上線 —— DeFi、遊戲、投票、AI 等。此外，開發工具如區塊瀏覽器、本地測試環境和框架、多種語言的 SDK 等，正在由 Starknet 社區構建。此外，還在 Shamans 平台上進行活躍討論，討論改進建議、潛在功能和最佳實踐。
總結
StarkEx 和 Starknet 都是基於 STARK 的擴展解決方案。它們都提供可擴展性、低氣體成本和安全性，但具有不同的操作要求和互操作模式。對於大部分自足並適合 StarkEx 提供的 APIs 的應用，StarkEx 可能是正確的解決方案。對於需要與其他協議同步交互或需求超出 StarkEx 所提供內容的協議，Starknet 可能更合適。
STARKs 已經革新了在以太坊上構建應用的方式。StarkEx 和 Starknet 將繼續支持之前不可行的應用，並推動區塊鏈上可能性的極限。